OpenAI publica 722 manuscritos de matemáticas de un modelo de IA no divulgado

En una publicación de investigación publicada el 6 de octubre de 2026, OpenAI dijo que está divulgando una amplia gama de nuevos resultados matemáticos producidos por un modelo interno de frontera no publicado, publicando 722 manuscritos organizados en 372 familias en un repositorio público de GitHub junto con formalizaciones de pruebas en Lean y resúmenes abreviados del razonamiento del modelo.

Dentro del repositorio de GitHub

Los resultados se publican en el repositorio openai/math, bajo una licencia Apache-2.0. Su README describe el contenido como manuscritos matemáticos y artefactos de pruebas de apoyo producidos por un modelo interno de OpenAI, ensamblados como parte de evaluaciones de desarrollo de modelos sobre problemas de investigación abiertos.

El catálogo actual contiene 722 manuscritos organizados en 372 familias. Una familia agrupa documentos relacionados, que pueden incluir un resultado principal, argumentos complementarios, consecuencias o pruebas alternativas, y cada familia se clasifica por disciplina matemática. Un directorio de preprints contiene PDFs, archivos fuente e instrucciones de citación y compilación específicas de cada manuscrito, mientras que una biblioteca Lean y un catálogo de formalizaciones describen las pruebas formales disponibles, sus documentos asociados y las configuraciones de verificación.

La colección abarca diferentes etapas de verificación. Muchos manuscritos cuentan con formalizaciones adjuntas en Lean, un lenguaje de programación que permite que las pruebas matemáticas sean verificadas por una computadora, aunque no todos lo tienen. El README advierte que algunos de los resultados no formalizados podrían presentar problemas, y OpenAI afirma que se esforzará por corregir dichos problemas rápidamente mientras actualiza el repositorio con más formalizaciones a medida que se obtengan. OpenAI también indica que preservará el historial de publicación pública de la colección, registrando correcciones y revisiones como nuevas versiones mientras mantiene accesibles las versiones previamente publicadas, y cada directorio de manuscrito incluye un bloque BibTeX para citas.

Cómo se produjeron los resultados

Según el README, la gran mayoría de los resultados se obtuvieron con el mismo procedimiento utilizando un modelo interno de OpenAI no divulgado. Durante la evaluación, se plantearon al modelo aproximadamente 4.000 problemas, y OpenAI informa que el resultado medio utilizó el cómputo equivalente a unas tres horas de razonamiento de ChatGPT Pro. El README indica que OpenAI amplió estas evaluaciones después de que el rendimiento en sus evaluaciones matemáticas existentes se saturó, y que algunos resultados se basan en resultados anteriores producidos por sus modelos. Exigir un nivel apropiado de significancia y agregar la salida en familias de resultados y manuscritos dio lugar al catálogo publicado.

Dos excepciones nombradas se desviaron de ese procedimiento fijo: el trabajo sobre una región libre de ceros para la función zeta de Riemann y una prueba de la Conjetura de Hodge para variedades abelianas CM. El escrito que cubre la región libre de ceros Re(s) > 11/12 para la función zeta de Riemann fue editado por humanos para mejorar su legibilidad.

El repositorio también publica 10 resúmenes abreviados del razonamiento del modelo. Cubren resultados sobre correlaciones ordinarias de dos puntos de funciones multiplicativas, el exponente de irracionalidad de π, las conjeturas simétrica y general de Mahler, la NP-dureza ordinaria en el umbral semidefinido básico, cotas cuasipolinómicas para progresiones aritméticas, la conjetura de finitud directa de Kaplansky en característica dos, la fórmula de Mézard–Parisi para vidrios de espín diluidos, la magnetización espontánea en el ferromagnético cuántico de Heisenberg, la isomorfía de factores de grupos libres y el sistema relativista tridimensional Vlasov–Maxwell.

OpenAI dijo que está publicando estos detalles adicionales, incluidos estimados de cómputo expresados en términos de uso de ChatGPT Pro y estadísticas sobre el número de problemas intentados, para fomentar la transparencia y apertura científica.

Recomendaciones del grupo asesor

OpenAI dijo que ha estado consultando con el grupo asesor independiente sobre Matemáticas e Inteligencia Artificial del Institute for Advanced Study para desarrollar mejores prácticas para compartir resultados con la comunidad matemática, y que se basó en los consejos del grupo y sus recomendaciones públicas para orientar esta publicación.

El grupo asesor publicó sus recomendaciones de lanzamiento responsable el 29 de septiembre de 2026, después de recibir más de 600 respuestas de la comunidad matemática, y afirma que las recomendaciones cuentan con el respaldo de una clara pluralidad de encuestados. Una nota al pie indica que la encuesta preguntó sobre una situación específica en la que OpenAI anunció la existencia de muchos resultados sin proporcionar detalles. El documento comienza observando que algunos laboratorios de IA de frontera están probando problemas matemáticos avanzados en modelos propietarios que siguen siendo inaccesibles para la comunidad científica en general, y luego declara: “no respaldamos esta práctica, y les pedimos que dejen de probar problemas matemáticos avanzados en modelos propietarios”.

Las recomendaciones solicitan que los resultados se depositen en repositorios académicos que no estén bajo el control de ningún laboratorio de IA, con identificadores persistentes citables y modificaciones registradas adecuadamente, y exhortan a los laboratorios a abstenerse de tratar los lanzamientos de resultados como vehículos de marketing para sus modelos. Para cada resultado publicado, el grupo indica que los laboratorios deben hacer públicos el nombre del modelo, los prompts utilizados, una cadena de razonamiento resumida, el tiempo empleado y el costo estimado de computación, y afirma que las pruebas deben formalizarse tanto como sea posible. Cuando se publican muchos resultados a la vez, las recomendaciones piden un documento público adicional que haga referencia a todos ellos y explique cuántos otros problemas de dificultad comparable los modelos intentaron y no lograron resolver, así como cómo se seleccionaron dichos problemas.

El grupo también recomienda que los laboratorios proporcionen un apoyo significativo, incluido financiamiento, para el desarrollo de la comprensión humana de la salida generada por IA, citando conferencias, escuelas de verano, talleres dirigidos, grupos de trabajo a largo plazo y libros o artículos expositivos extensos como actividades potenciales. Señala que las decisiones sobre qué esfuerzos apoyar deben recaer en instituciones sin fines de lucro existentes en lugar de ser dirigidas por los laboratorios, y aconseja otorgar a la comunidad matemática global un acceso amplio y equitativo a los modelos disponibles públicamente.

OpenAI declaró que sigue explorando otras alternativas alojadas por la comunidad para este lanzamiento que cumplan con las directrices del comité, y que está comprometida a mejorar las citas, la exposición matemática y la presentación de los resultados en futuros lanzamientos.

Antecedentes del Modelo Interno y Próximos Pasos

La frase “modelo frontera interno” en la publicación de OpenAI enlaza al anuncio del 8 de septiembre de 2026 del laboratorio, que indica que un sistema interno de OpenAI había producido una prueba, con una formalización en Lean, que muestra que el movimiento fluido tridimensional suave gobernado por las ecuaciones de Navier–Stokes puede desarrollar una singularidad en tiempo finito. OpenAI afirmó que el resultado resuelve un problema que el Clay Mathematics Institute nombró como uno de sus siete Problemas del Premio Milenio en el año 2000, y que no pretende reclamar el Premio Milenio por él. En esa publicación, OpenAI dijo que el modelo interno que utilizó es significativamente más capaz que GPT-6 Astra, que había estado entrenando el modelo desde el 28 de agosto de 2026, que lanzó un esfuerzo de evaluación sobre los Problemas del Premio Milenio el 1 de septiembre de 2026, y que sus agentes llegaron a la resolución el 5 de septiembre de 2026.

OpenAI anunció que financiará una serie de talleres, conferencias y programas especiales en torno a la comprensión de los principales resultados producidos por IA, y compartirá más información al respecto en un futuro cercano. También indicó que está trabajando para lanzar responsablemente el modelo que produjo estos resultados, y que continuará actuando según la retroalimentación de la comunidad y actualizará sus estándares para futuras divulgaciones de avances científicos importantes.