OpenAI matemáticas: publicó 372 familias de resultados hechos con IA y los especialistas piden pruebas
En OpenAI matemáticas hay un hito y una polémica: la empresa subió a GitHub más de 700 manuscritos, agrupados en 372 familias de resultados generados por un modelo interno que no es público. Solo una parte está verificada con Lean, un lenguaje que revisa cada paso lógico, y varios matemáticos reclaman transparencia.
En OpenAI matemáticas hay un hito y una polémica: la empresa subió a GitHub más de 700 manuscritos, agrupados en 372 familias de resultados generados por un modelo interno que no es público. Solo una parte está verificada con Lean, un lenguaje que revisa cada paso lógico, y varios matemáticos reclaman transparencia.
OpenAI publicó el 6 de octubre de 2026 en GitHub un catálogo con 719 manuscritos matemáticos, agrupados en 372 familias de resultados, que fueron producidos por un modelo interno de la empresa que todavía no está disponible para el público. Según el repositorio oficial, el objetivo fue evaluar al modelo con problemas abiertos de investigación: se le plantearon unos 4.000 y cada resultado demandó, en promedio, el equivalente a unas tres horas de cómputo de razonamiento de ChatGPT Pro. Es la novedad de OpenAI en matemáticas con más volumen hasta ahora, y llega con una discusión abierta. Los trabajos abarcan áreas como álgebra, informática teórica y lógica matemática.
Qué es Lean y por qué importa
En el repositorio, una parte de las pruebas viene «formalizada» en Lean. Es un lenguaje de programación con el que se escribe una demostración de manera que una computadora pueda revisar cada paso lógico, sin confiar en que el autor haya sido prolijo. Si el programa la acepta, la prueba es correcta; si hay un salto o un error, la rechaza. Es una especie de corrector ortográfico, pero de razonamientos.
El problema es que no todo pasó por ahí. Según el propio README del repositorio, alrededor del 42 % de los resultados principales está formalizado en Lean, y la empresa advierte que «algunos de los resultados no formalizados podrían tener problemas» (traducción propia). Prometió corregirlos rápido y ir sumando formalizaciones. Los matemáticos tardarán meses en saber si las demostraciones traen ideas nuevas o si, en su mayoría, recombinan técnicas ya conocidas.
La polémica por la transparencia
El anuncio llega después de un septiembre caliente: OpenAI había presentado una solución al problema de Navier-Stokes, uno de los siete problemas del milenio, y el Instituto de Estudios Avanzados de Princeton salió a decir que no respalda esa práctica, porque no queda claro que haya personas que puedan comprender, verificar y responder por argumentos generados por una máquina. El 21 de septiembre, un grupo asesor independiente de matemáticos recomendó publicar el modelo, el prompt exacto y el tiempo de cómputo. OpenAI difundió ahora el tiempo medio de cómputo por problema y algunas estadísticas, pero no los prompts.
Andrew Sutherland, del MIT, sostuvo que las afirmaciones de resolver problemas con un único agente deben tomarse como no verificadas hasta que el modelo sea público y los resultados puedan replicarse, y pidió «pruebas concretas». Tristan Buckmaster, de la Universidad de Nueva York, advirtió que los modelos podrían estar recibiendo, sin que se note, pistas de los matemáticos que los guían. Bryna Kra, de la Universidad Northwestern, describió un clima de entusiasmo mezclado con temor.
Qué se promete y qué no
Entre los resultados hay una región sin ceros para la función zeta de Riemann, un paso parcial vinculado con la famosa hipótesis, y una prueba de la conjetura de Hodge para una familia particular de variedades. Son excepciones dentro del catálogo y no se presentan como la resolución de esos grandes problemas. Entre las críticas de fondo figura que los laboratorios comunican por blogs y redes en lugar de artículos que la comunidad pueda revisar, y que algunos investigadores temen compartir ideas a medio hacer si sospechan que alimentan a los modelos.
Mientras tanto, el catálogo está abierto con licencia Apache 2.0 para que cualquiera lo revise. Si querés seguir lo que hace OpenAI con sus textos, también contamos la marca de agua invisible que pondrá en ChatGPT y Codex en la Unión Europea. En OpenAI matemáticas, el veredicto lo darán los especialistas, no el anuncio.
Más noticias de Ciencia en MonoLito.