OpenAI publica 722 textos matemáticos de un modelo inédito

OpenAI publicó 722 manuscritos matemáticos elaborados por un modelo interno de inteligencia artificial aún no disponible al público el 6 de octubre de 2026. Los trabajos están organizados en 372 grupos de resultados relacionados y se difundieron en GitHub junto con materiales para examinar sus demostraciones.

La evaluación técnica abarcó aproximadamente cuatro mil problemas. Debido a que los 372 grupos reúnen resultados principales, consecuencias o demostraciones alternativas, los 722 textos no equivalen necesariamente a 722 problemas distintos resueltos. OpenAI advirtió que los trabajos presentan distintos niveles de verificación y que los textos no formalizados aún pueden contener errores.

Parte de las demostraciones se formalizó en Lean, un lenguaje de programación y asistente de pruebas que permite validar argumentos por computadora. OpenAI indicó que agregará nuevas formalizaciones al repositorio, mantendrá disponibles las versiones previas y registrará correcciones. La publicación incluye diez resúmenes del razonamiento del sistema, donde cada resultado demandó, en promedio, un esfuerzo de cómputo equivalente a cerca de tres horas de procesamiento de ChatGPT Pro.

Para orientar la divulgación, OpenAI consultó al Grupo Consultivo de Matemática e Inteligencia Artificial, entidad independiente con sede en el Institute for Advanced Study. En recomendaciones publicadas el 29 de septiembre, el grupo pidió documentar procesos y aportar pruebas formales, además de financiar la investigación comunitaria. El panel aclaró que la consulta no supone un aval, solicitó suspender las pruebas de matemática avanzada en modelos cerrados inaccesibles y remarcó que las máquinas no reemplazan la comprensión humana.