OpenAI publica 372 pruebas matemáticas generadas por IA en GitHub

Una descarga masiva de matemáticas con IA

OpenAI ha publicado 372 resultados matemáticos generados por un modelo frontier interno, poniéndolos todos en GitHub en lugar de enviarlos a revistas con revisión por pares. La colección incluye mejoras a algoritmos informáticos importantes y avances relacionados con la Riemann hypothesis, un problema famoso e irresuelto en matemáticas ¹.

La mayor parte de los resultados provino de un solo prompt dado a un solo agente de IA, tomando cada uno alrededor de tres horas de procesamiento de ChatGPT Pro en promedio. Esto contrasta fuertemente con la anterior solución de Navier-Stokes de la compañía, que requirió una manada de 10.000 agentes y millones de dólares en procesamiento ¹.

¿Por qué GitHub en lugar de revistas?

OpenAI hizo una declaración deliberada al saltarse las revistas académicas tradicionales. El volumen en sí mismo de resultados generados por IA podría abrumar la capacidad de la comunidad matemática para revisión manual, y la compañía argumentó que el proceso tradicional de hacer ciencia es simplemente demasiado lento para este ritmo de descubrimiento ¹.

Muchas de las pruebas vienen con formalizaciones en Lean, un lenguaje de programación creado para pruebas matemáticas verificables por máquina. Se planean más formalizaciones. La verificación formal puede confirmar que una prueba es lógicamente correcta, aunque no puede juzgar si un resultado es matemáticamente relevante u original ¹.

Consejos externos, pero bajo sus términos

Antes de la publicación, OpenAI consultó al Grupo Asesor de Matemáticas e Inteligencia Artificial del Institute for Advanced Study en Princeton. El grupo incluye al ganador de la Medalla Fields Timothy Gowers y otros matemáticos reconocidos. Sin embargo, la compañía estableció un límite claro: los matemáticos podían asesorar sobre cómo se comunican los resultados, pero no sobre si o tan rápido como se producen ^{1 2}.

OpenAI también anunció que financiará talleres y conferencias centrados en ayudar a los matemáticos a entender y revisar los resultados producidos por IA ¹.

La comunidad matemática está dividida

Las reacciones van desde la emoción hasta la frustración. En una carta abierta titulada "Una desalineación severa de la IA en las matemáticas", 25 ganadores de la Medalla Fields advirtieron sobre una profunda desconexión entre los objetivos de la industria de IA y los de las matemáticas. Argumentaron que la resolución de problemas es meramente una herramienta, y que el verdadero objetivo de las matemáticas es la comprensión conceptual y la insight ¹.

Timothy Gowers ha advertido que dentro de uno a dos decenios, la literatura matemática podría crecer enormemente mientras ninguna comunidad humana quede que la entienda verdaderamente. El ganador de la Medalla Fields Terence Tao dijo que la formación de jóvenes matemáticos necesita enfatizar el lado humano y limitar estrechamente el uso de herramientas de AI para que el aprendizaje genuino sobreviva ¹.

OpenAI reconoció que quiere mejorar la calidad de sus citas y presentación, y dice que está trabajando en una publicación responsable del modelo para "empoderar directamente a los científicos con capacidades de última generación" ¹.

Los datos clave

• OpenAI publicó 372 resultados matemáticos generados por IA en GitHub, saltándose las revistas tradicionales
• La mayor parte de los resultados provino de un solo prompt a un solo agente de IA, promediando tres horas de procesamiento de ChatGPT Pro cada uno
• Las pruebas incluyen formalizaciones en Lean para verificación verificable por máquina
• 25 ganadores de la Medalla Fields firmaron una carta abierta advirtiendo sobre la desalineación de la IA con los objetivos matemáticos
• OpenAI financiará talleres y consultará al grupo asesor del Institute for Advanced Study

Fuentes

1. OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up — the-decoder.com
2. OpenAI Funds Math Workshops to Vet 372 AI Proofs 2026 - shattered.io — shattered.io