Seis artículos matemáticos con ayuda de Muse Spark: qué hizo la IA y qué revisaron las personas

Meta informó el 2 de octubre que matemáticos que trabajaron con Muse Spark produjeron seis artículos de investigación, y que cinco de ellos responden preguntas que hasta entonces seguían abiertas. La descripción de la empresa habla de investigación guiada por personas y asistida por IA: los matemáticos eligieron y desarrollaron el trabajo, y otro grupo lo revisó. No afirma que un chatbot resolviera seis problemas por su cuenta. 17

Qué abarcan los seis artículos

Los trabajos exploran distintas ramas de las matemáticas. Entre los resultados y temas que se mencionan están:

• Probabilidad y geometría: The Strict Threshold for Gaussian Ellipsoid Fitting establece un umbral en torno a n ≈ d²/4 para determinar si una matriz semidefinida positiva puede cumplir ciertas condiciones definidas por vectores gaussianos aleatorios. 1
• Teoría de grupos: uno de los resultados presenta un grupo de 384 elementos que sirve como contraejemplo a una conjetura propuesta en 2024. 20
• Álgebra: On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez aborda la conjetura mencionada en el título. 4
• Optimización: Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles estudia si una relajación basada en ciclos específica es ajustada. 4
• Física matemática: la lista de publicaciones incluye String Two-Point Function = Height Function on a Curve. 4
• Ecuaciones diferenciales: también figura un trabajo sobre el estallido en tiempo finito de soluciones radiales de energía negativa para una ecuación de Schrödinger no lineal biharmónica crítica en masa.

Conviene leer con precisión la cifra de Meta: la empresa dice que cinco de los seis artículos responden preguntas que estaban abiertas. Los listados disponibles no establecen de forma clara y verificada una correspondencia individual entre los seis trabajos y esas cinco preguntas. 174

Cómo colaboraron los matemáticos con Muse Spark

Los investigadores usaron Muse Spark 1.1 y 1.2 en Thinking Mode desde la interfaz habitual de chat de meta.ai, sin una estructura de investigación personalizada. Según Meta, los matemáticos guiaron la investigación y desarrollaron argumentos junto con el modelo; después, otro grupo de matemáticos revisó el trabajo. Los artículos también indican qué pasajes redactaron principalmente los investigadores y cuáles se elaboraron con ayuda de la IA. 17

Ese proceso importa para interpretar los resultados. Un modelo puede aportar ideas, argumentos o código, pero el relato de la investigación atribuye a las personas la elección de los problemas y la revisión. En el ejemplo de teoría de grupos, un artículo periodístico señala que Muse Spark escribió un programa de búsqueda para GAP, un sistema de software matemático; los matemáticos comprobaron el contraejemplo y completaron el argumento. 20

Qué sigue sin estar claro

Los artículos muestran que un modelo de IA puede contribuir a la investigación matemática supervisada. Por sí solos, sin embargo, no demuestran que los resultados sean exclusivos ni que las respuestas matemáticas del modelo sean fiables en general. Otros reportes describen varios resultados como alcanzados también, de manera independiente, por otros equipos; ese solapamiento importa al hablar de quién llegó primero a cada resultado.

La revisión de matemáticos tampoco equivale a la verificación formal: esta consiste en codificar una demostración en un lenguaje estricto para que un ordenador pueda comprobarla paso a paso. La descripción de Meta habla de revisión humana, pero la información disponible no permite establecer si las pruebas de cada artículo se verificaron con un asistente de demostración. 17

Meta presentó Muse Spark el 8 de abril de 2026 como el primer modelo de Meta Superintelligence Labs. Los artículos de octubre muestran un uso posterior del modelo en una colaboración de investigación, pero no prueban que las afirmaciones matemáticas generadas por IA estén libres de errores. Para evaluarlas hay que examinar los argumentos de los artículos y su verificación independiente posterior.