OpenAI publicó el martes un repositorio con 722 manuscritos matemáticos generados por un modelo interno que todavía no lanzó al público, agrupados en 372 familias de resultados de teoría de números, geometría algebraica y otras áreas. La difusión simultánea de cientos de hallazgos provocó reacciones encontradas en la comunidad matemática.

Martin Bridson, matemático de Oxford y presidente del Clay Mathematics Institute, que instituyó los Problemas del Milenio, calificó la publicación de "asombrosa". Alex Kontorovich, jefe del departamento de Matemática de Rutgers, la describió como "devastadora" al referirse a uno de los resultados.

La cuasi hipótesis de Riemann

Ninguna de las pruebas resuelve por completo alguno de los cinco Problemas del Milenio que siguen abiertos, pero la empresa reportó avances relacionados con tres de ellos. El resultado más destacado es una demostración de la "cuasi hipótesis de Riemann", una conjetura vinculada a la hipótesis de Riemann, el más conocido de esos problemas. Otro de los resultados confirma una conjetura que el matemático francés Jean-Pierre Serre formuló hace casi 70 años.

Según OpenAI, cada resultado demandó en promedio el equivalente a unas tres horas de razonamiento de ChatGPT Pro.

Dudas y correcciones

Un día después de la publicación, la empresa retiró tres manuscritos por un error de signo que invalidaba un argumento y revisó otros 14. Solo una parte de los resultados principales cuenta con pruebas verificadas por computadora en el lenguaje Lean, y OpenAI admitió que algunos de los no formalizados podrían tener problemas.

Varios matemáticos cuestionan que el modelo siga cerrado: nadie fuera de la empresa puede volver a ejecutarlo ni revisar las instrucciones usadas. Andrew Sutherland, del MIT, sostuvo que esas afirmaciones deben considerarse no verificadas hasta que el modelo se publique y los resultados se repliquen.

OpenAI dijo que siguió las recomendaciones de un grupo asesor independiente sobre matemática e inteligencia artificial con sede en el Instituto de Estudios Avanzados de Princeton, y anunció que financiará talleres y conferencias para analizar resultados producidos por IA.

Qué sigue

OpenAI prometió sumar más pruebas formalizadas al repositorio y trabaja para liberar el modelo que generó los resultados. La comunidad matemática deberá revisar los manuscritos y determinar cuáles se sostienen.