OpenAI publica 722 manuscritos de matemáticas y Yuandong Tian espera perder su trabajo

OpenAI ha publicado en GitHub de golpe 722 manuscritos de artículos matemáticos. Los ha agrupado en 372 «familias» de resultados, que en conjunto abarcan 17 áreas de las matemáticas. Todos los textos los escribió un modelo interno que no tiene nombre público. Según la descripción de Jiqizhixin, supera claramente a GPT-6 Astra. Casi al mismo tiempo, el investigador Yuandong Tian afirmó que, tras su último artículo escrito junto a GPT-5, entendió que su trabajo desaparecerá en los próximos cinco años.

La publicación muestra cómo quiere OpenAI demostrar las capacidades de su modelo. En lugar de un benchmark con una única cifra como resultado, ofrece un conjunto de textos que los matemáticos pueden leer, cuestionar y en los que pueden detectar errores.

Qué se ha publicado exactamente

Las cifras del material de Jiqizhixin son estas: 722 manuscritos, 372 familias de resultados y 17 áreas. Por «familia» se suele entender un grupo de teoremas afines o de variaciones de un mismo enunciado. La media sale en casi dos manuscritos por familia, es decir, parte de los resultados se desarrolla en varios textos.

Hay una salvedad importante. Se trata de manuscritos, no de publicaciones revisadas por pares. Parte de los textos puede resultar trivial y otra parte puede contener errores. Sin una verificación independiente no se puede decir cuántos son realmente resultados nuevos. En la parte accesible del material no hay datos sobre el número de demostraciones verificadas. Tampoco hay datos sobre la participación de personas en la selección: no se sabe si se mostró todo sin filtrar o solo lo mejor.

El propio modelo es cerrado y no ha sido anunciado. La comparación con GPT-6 Astra se basa en la descripción de la fuente y no puede reproducirse desde fuera.

La reacción de Yuandong Tian

Tian es conocido como investigador de IA, y su frase resulta aún más significativa porque él mismo escribe trabajos junto a modelos. Describe su último artículo, escrito en tándem con GPT-5, como un momento de toma de conciencia. Da un plazo concreto: cinco años.

Se trata de una valoración personal, no de un pronóstico basado en cálculos. Pero es significativo que la haga un profesional del sector y no un comentarista externo. Un investigador ve en qué fase el modelo deja de ser un asistente y empieza a producir resultados por familias enteras.

Hechos clave

• Volumen: 722 manuscritos en GitHub.
• Estructura: 372 familias de resultados.
• Alcance: 17 áreas de las matemáticas.
• Autor de los textos: un modelo interno de OpenAI, sin anunciar y sin nombre público.
• Comparación: según la descripción de Jiqizhixin, es significativamente más potente que GPT-6 Astra.
• Estado: manuscritos; la verificación independiente no está confirmada.
• Pronóstico de Tian: sustitución del investigador en un plazo de cinco años.

Cómo abordar esto

Para matemáticos e investigadores de IA, la tarea práctica más inmediata es sencilla: examinar el repositorio. Si las familias contienen resultados no triviales, habrá que verificarlos más rápido de lo que el modelo los genera. El cuello de botella será la revisión por pares, no las ideas.

Para laboratorios y universidades, la cuestión es organizativa. Hacen falta reglas para atribuir la autoría, un procedimiento de verificación formal (por ejemplo, mediante sistemas de demostración automática) y claridad sobre quién responde de un error en un texto escrito por un modelo.

Para quienes siguen la noticia, la postura razonable es esta: no aceptar por fe ni las declaraciones grandilocuentes ni el escepticismo. Mientras el modelo siga cerrado y los manuscritos sin verificar, la valoración solo puede basarse en lo que resista el escrutinio en los debates abiertos de la comunidad matemática.