Adiós a los matemáticos: OpenAI publica 722 pruebas que su IA resolvió sola en 3 horas cada una

722 manuscritos. 372 familias de problemas. Ninguno escrito por una persona. Eso fue lo que OpenAI acaba de tirar a GitHub mientras el mundo discutía otra cosa.

💡 La Conjetura de los Juegos Únicos — un pilar de la teoría de la complejidad que llevaba décadas sin resolverse — está probada en el repositorio. Los libros de texto universitarios, reescritos.

Lo que OpenAI acaba de subir a GitHub

El repositorio openai/math no es un blog post con gráficos bonitos. Son 722 manuscritos con PDFs, código fuente y, en muchos casos, pruebas formales en Lean: un lenguaje donde una máquina verifica la demostración línea por línea, sin fe ni excusas.

Según el propio OpenAI, todo salió de un modelo interno que aún no se revela. En promedio, cada resultado costó 3 horas de cómputo en modo de razonamiento de ChatGPT Pro. El modelo fue plantead unos 4.000 problemas de investigación abiertos y de ahí salió el catálogo.

📊 Entre los logros: avances hacia la hipótesis de Riemann, las conjeturas de Mahler, el exponente de irracionalidad de π, el sistema de Vlasov–Maxwell relativista y una nueva frontera en la multiplicación de enteros.

Los matemáticos no están celebrando

NYT: "OpenAI libera hallazgos sobre 377 problemas y sigue revolviendo el campo". Wall Street Journal: "La IA resolvió un problema y todos enloquecieron. Ahora destrozó cientos más". Scientific American habla de un campo "ya en shock".

Las críticas vienen de dos frentes. Primero: no todo está verificado. OpenAI lo admite en su propio README: "algunos de los resultados sin formalizar podrían tener problemas". Segundo: el proceso. Hace semanas el mundo acusó a OpenAI de atribuirse avances que nacieron de prompts de investigadores humanos (el escándalo de Navier-Stokes). Esta vez armaron un grupo de referencia con matemáticos... y varios de sus miembros dicen que sus recomendaciones no se siguieron.

🔥 En Hacker News el debate llegó a 833 puntos y 760 comentarios, y el golpe más duro no es si las pruebas son correctas: "Si las pruebas caen del cielo, el trabajo de desarrollar nuevas teorías mientras las demuestras ya no se hace — y ese era el sustrato donde nacían las conjeturas de mañana".

Esto es lo que significa para ti

Hay una parte que nadie puede ignorar: todo es gratis y está en GitHub. Un estudiante en Santo Domingo o en Guadalajara tiene los mismos PDFs que un profesor de Princeton. El guardianato de las revistas de pago perdió otro round.

Pero no llores todavía por la matemática ni corras a declararla muerta. El repositorio es una foto, no una verdad: hay cientos de resultados esperando formalización en Lean y revisión por pares de verdad. La IA acaba de acelerar la máquina de producir matemáticas — ahora falta que alguien humano lea lo que salió.

Comparte esto con alguien que todavía cree que la matemática es el último refugio libre de la IA — y dime en los comentarios: si una prueba es verificada línea por línea por una máquina, ¿qué le falta para ser ciencia?