Wolfram Language y Mathematica versión 15
La publicación de Mathematica/Wolfram Language 15 reaviva la admiración por sus potentes capacidades de matemáticas simbólicas, coincidencia de patrones e interfaz de cuaderno, al tiempo que pone de relieve las preocupaciones de larga data sobre su ecosistema cerrado y caro y su limitada reproducibilidad académica. Muchos lo comparan desfavorablemente con herramientas de código abierto como Python, SageMath y proyectos emergentes de estilo Wolfram, argumentando que la licencia propietaria dificulta la verificación de investigaciones y una adopción industrial más amplia a pesar de su gran funcionalidad. Los comentaristas también señalan que el asistente de IA de Wolfram queda por detrás de los LLMs de propósito general para ayudar con código, subrayando tanto las fortalezas como los límites del software científico estrechamente controlado e integrado verticalmente.
Adopción y casos de uso
- Ampliamente usado en universidades; muchos lo recuerdan como excelente para matemáticas simbólicas, fractales, simulaciones y visualización.
- Activo en física teórica, modelado de física de dispositivos y partes de las finanzas cuantitativas; algunos informan uso intensivo para álgebra, cálculo estocástico y visualización ad hoc.
- Varios usuarios de la industria dicen que los nuevos empleados lo conocen, pero rara vez lo echan de menos una vez reemplazado por Python/R y otras herramientas.
- Algunas personas lo usan principalmente como una calculadora interactiva avanzada en lugar de para programas grandes.
Licencias, coste y jardín vallado
- Fuerte crítica al precio: ~400 USD licencia personal perpetua, ~4000 USD puesto comercial, coste adicional para System Modeler y uso comercial; las licencias para aficionados prohíben la salida comercial.
- Muchos sostienen que el alto coste y la naturaleza propietaria limitan tanto la reproducibilidad académica como la adopción industrial, especialmente para verificar resultados publicados.
- Comparaciones con otras herramientas científicas caras (p. ej., COMSOL, SAS, STATA), con debate sobre cuánto importa realmente el carácter de código cerrado.
- Unos pocos defienden el modelo cerrado como algo que apoya la consistencia, la compatibilidad hacia atrás y la seguridad frente a ecosistemas abiertos “salvajes”.
Código abierto y alternativas
- Deseo reiterado de un lenguaje y una pila de bibliotecas de estilo Wolfram, pero abiertos.
- Se mencionan varios proyectos: SageMath, Mathics, Hissab, una reimplementación en Rust (Woxi), cuadernos en el navegador y extensiones de VS Code, herramientas de modelado basadas en Julia y otros CAS (Maxima, FriCAS, SymPy, Maple).
- Consenso de que ninguna herramienta abierta iguala aún la amplitud de Mathematica en biblioteca estándar, integración simbólica/resolución de EDO y capacidades de modelado.
- Se comenta que el paradigma pequeño y de nicho de reescritura de términos que hay detrás del lenguaje es fácil de clonar, pero la enorme biblioteca curada no lo es.
Características del lenguaje
- Muchos elogian el lenguaje como muy expresivo: abundante coincidencia de patrones, estilo funcional e interfaz de cuaderno; se lo compara con una mezcla de APL/Lisp/Prolog o con un lenguaje “hermoso pero de nicho” frente a Python como algo desordenado pero ubicuo.
- Otros señalan que también tiene muchos casos especiales e irregularidades, de forma similar a otros lenguajes importantes.
Asistente de IA y LLMs
- Los usuarios encuentran que el asistente de IA integrado es débil y propenso a alucinaciones, especialmente en comparación con los LLMs generales; algunos cancelaron el complemento de pago.
- Mathematica ahora admite enrutar a proveedores externos de LLMs; la gente ve mejores resultados allí.
- Los comentaristas señalan que los LLMs a menudo tienen dificultades con Wolfram Language debido a los pocos datos de entrenamiento, alucinando nombres de funciones y opciones.
Investigación y reputación del fundador
- Un debate lateral prolongado sobre el trabajo del fundador en física: descrito de diversas maneras como visionario, excéntrico o impulsado por el ego, pero en general no al nivel de las teorías monumentales convencionales.
- Algunos objetan controversias pasadas sobre atribución y demandas; otros argumentan que la investigación independiente y no convencional es valiosa incluso si gran parte no da resultado.