¿El fin de las matemáticas? Qué es el matepocalípsis que ha provocado la IA

Una IA de OpenAI resuelve 372 problemas matemáticos que permanecían sin solución hasta entonces, y nadie entienda cómo lo ha hecho

En la noche del 6 de octubre de 2026, OpenAI publicó en GitHub 722 manuscritos con soluciones totales o parciales a 372 problemas abiertos de las matemáticas, en 17 ramas que van desde la teoría de números hasta las álgebras de operadores. Los artículos fueron generados por un modelo de inteligencia artificial interno que la empresa no ha identificado ni puesto a disposición del público.

Levent Alpöge, investigador de Anthropic, describió el evento como "el momento más significativo de la historia de las matemáticas". Los matemáticos profesionales de todo el mundo se lanzaron a leerlos de inmediato y comprobaron que ninguno era capaz de entender las demostraciones.

La noche en la que una IA venció a los matemáticos

El modelo recibió un catálogo de aproximadamente 4.000 problemas abiertos. De las soluciones generadas, la empresa seleccionó las 372 familias de resultados más sólidos para publicarlos en abierto bajo licencia Apache 2.0. Cada resultado requirió, según OpenAI, una media de tres horas de cómputo de un sistema equivalente al ChatGPT Pro, y en la mayoría de los casos el modelo trabajó a partir de un único mensaje de instrucción enviado a un único agente. El anuncio llegó semanas después de que, el 8 de septiembre, OpenAI publicara por separado un trabajo sobre las ecuaciones de Navier-Stokes, que describen el comportamiento de los fluidos viscosos, generado por 10.000 agentes trabajando durante 88 horas. El 7 de octubre, un día después del lanzamiento masivo, la empresa retiró tres manuscritos por un error de signo y revisó otros 14.

Las conjeturas resueltas, desde los juegos únicos hasta la cuasi-hipótesis de Riemann

Entre los resultados más llamativos figura la entrada 102, una demostración de la conjetura de los juegos únicos (Unique Games Conjecture), propuesta por el matemático Subhash Khot en 2002 y considerada uno de los problemas centrales de la informática teórica. La conjetura establece que ciertos problemas de optimización combinatoria son imposibles de aproximar eficientemente, lo que tendría implicaciones directas en criptografía y algoritmos de búsqueda. Dana Moshkovitz, de la Universidad de Texas en Austin, lleva años trabajando en ese mismo problema e intentó leer el artículo en cuestión. Su veredicto fue que el texto estaba "tan horriblemente redactado que resulta imposible de leer sin ayuda de la IA".

Otras entradas afirman demostrar que la constante de Catalán es un número irracional, que el exponente de irracionalidad del número π vale exactamente dos y que la multiplicación de matrices puede realizarse con un exponente de coste no superior a 9/4. La entrada 003, a la que OpenAI llama la "cuasi-hipótesis de Riemann", establece que ninguna función L de Dirichlet tiene un cero con parte real superior a 7/8, lo que supone un avance significativo hacia la hipótesis de Riemann completa, uno de los siete Problemas del Milenio aún sin resolver. Sam Altman escribió en redes sociales que esa noche miraba las estrellas "con una admiración extra".

Más de la mitad de los manuscritos sin verificar y pruebas que nadie comprende todavía

Scott Aaronson, matemático de la Universidad de Texas en Austin, escribió en su blog que «aparentemente ningún humano ha comprendido todavía ni una sola de estas demostraciones» y que "la carrera para lograrlo acaba de comenzar". El 7 de octubre, solo 300 de los 719 manuscritos contaban con verificación formal en Lean, el lenguaje de pruebas asistido por ordenador, es decir, algo más del 42%. La verificación mediante Lean confirma únicamente que el texto es internamente consistente tal como ha sido codificado, no que la demostración resuelva realmente la conjetura que pretende resolver.

OpenAI no ha publicado los mensajes de instrucción que recibió el modelo, ni el coste de cómputo por problema individual, ni el nombre del sistema empleado. El grupo asesor sobre matemáticas e inteligencia artificial, que incluye a los matemáticos Timothy Gowers y Martin Hairer y al físico Edward Witten, había solicitado a todas las empresas que publicaran esos datos antes del 29 de septiembre. OpenAI respondió que no se considera vinculado por esas recomendaciones. Andrew Sutherland, del MIT, sintetizó la postura de muchos colegas al reclamar "los recibos": los resultados obtenidos con un modelo propietario no replicable no pueden considerarse verificados hasta que ese modelo esté disponible para terceros.

La petición de 25 medallas Fields contra el uso de la IA en las matemáticas

El descontento en la comunidad matemática viene de antes del lanzamiento masivo. El 11 de septiembre, 25 ganadores de la Medalla Fields, el máximo galardón de la disciplina, entre ellos Terence Tao, firmaron una declaración en la que argumentaban que el uso de problemas abiertos como campos de prueba para la IA perjudica gravemente al campo. La Asociación de Matemáticas Humanas, fundada en parte por estudiantes de doctorado, describió la publicación masiva de OpenAI como "una demostración de poder, no de rigor académico" e instó a los matemáticos a interrumpir su colaboración con la empresa. El grupo asesor, por su parte, aclaró que su implicación "no debe interpretarse como un juicio" sobre la calidad de los resultados, y que la publicación es "el comienzo, no el final" del proceso.

La pregunta de fondo que ha abierto este episodio es si unas demostraciones que los humanos no pueden comprender representan conocimiento matemático en sentido estricto. El propio OpenAI reconoce que muchos resultados "no son comprendidos aún ni siquiera por sus propios matemáticos", aunque afirma querer "avanzar la frontera del conocimiento humano" y ha anunciado que financiará talleres para ayudar a la comunidad a entender los resultados. El debate sobre qué significa hacer matemáticas en la era de la inteligencia artificial no ha hecho más que comenzar.

REFERENCIA

Open Problems in Mathematics. OpenAI. GitHub.com/openai, 6 de octubre de 2026.

Si quieres conocer otros artículos parecidos a ¿El fin de las matemáticas? Qué es el matepocalípsis que ha provocado la IA puedes visitar la categoría CIENCIA.