Qué ha pasado
OpenAI anunció el 8 de septiembre de 2026 que un sistema interno, formado por 10.000 agentes de IA operando sobre un modelo no disponible públicamente, había encontrado una singularidad en las ecuaciones de Navier-Stokes en tres dimensiones, resolviendo uno de los seis Problemas del Milenio del Clay Mathematics Institute que seguían sin resolver desde su formulación en el año 2000.
Según la compañía, el resultado se alcanzó unas 88 horas después de que los agentes comenzaran a trabajar en el problema, y consistió en una prueba analítica —acompañada de una formalización en el lenguaje de verificación Lean— de que un fluido inicialmente suave y en reposo puede desarrollar una singularidad en tiempo finito bajo una fuerza suave aplicada, manteniendo la energía finita durante toda la dinámica. OpenAI declaró expresamente que no tiene intención de reclamar el millón de dólares del premio Clay por este resultado.
En su propio comunicado, OpenAI reconoció que el 1 de septiembre de 2026 "oímos rumores de que dos Problemas del Milenio habían sido resueltos", en referencia al trabajo de Buckmaster y Alpöge, lo que precipitó la publicación de su propio resultado y derivó en un enfrentamiento público entre los investigadores implicados en la red social X.
El 21 de septiembre de 2026, apenas 24 días después de que el modelo interno comenzara su entrenamiento el 28 de agosto, OpenAI amplió el anuncio afirmando que ese mismo sistema había resuelto más de 100 problemas matemáticos abiertos de larga data, repartidos entre la mayoría de las áreas de las matemáticas.
En ese mismo anuncio del 21 de septiembre, la compañía presentó un Grupo Asesor independiente sobre Matemáticas e Inteligencia Artificial, alojado en el Institute for Advanced Study, integrado por matemáticos de primer nivel como François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava, Ulrike Tillmann, Ravi Vakil, Edward Witten y Melanie Matchett Wood, varios de ellos medallistas Fields.
OpenAI precisó que ese panel ofrecerá recomendaciones sobre revisión, difusión de resultados y estándares académicos, pero que opera de forma independiente, sin compensación económica de la empresa y sin autoridad de decisión sobre el ritmo o la dirección de su investigación matemática.
El resultado sobre Navier-Stokes generó reacciones de alarma entre matemáticos reconocidos: el medallista Fields Cédric Villani, conocido por su escepticismo hacia la IA, calificó la situación de "cataclismo", mientras que Martin Hairer —posteriormente incorporado al panel de OpenAI— había señalado antes del anuncio que "entre los siete Problemas del Milenio, todos coincidían en que este sería el próximo en resolverse".
A fecha de los anuncios, el Clay Mathematics Institute mantenía el problema de Navier-Stokes catalogado como "activo" en su propia página web, es decir, sin reconocerlo oficialmente como resuelto; según Wikipedia, el resultado de OpenAI no había sido verificado de forma independiente por la comunidad matemática más allá de la comprobación formal automatizada en Lean.
En agosto de 2026, antes de estos anuncios, 25 medallistas Fields habían firmado una carta abierta alertando de que la carrera de los laboratorios de IA por resolver problemas matemáticos históricos, en busca de resultados vistosos para titulares, suponía una "severa desalineación" con los estándares y el ritmo del trabajo académico tradicional.
NPR señaló una paradoja destacada por varios matemáticos consultados: pese a que la IA de OpenAI se adelantó a los investigadores humanos en resolver el problema de Navier-Stokes, la prueba generada no ha aportado a la comunidad matemática una comprensión clara del porqué del resultado, más allá de su verificación formal.
El antecedente inmediato de estos anuncios es el modelo 'Astra', presentado por OpenAI en agosto de 2026, que según la compañía ya había resuelto diez problemas matemáticos abiertos durante décadas, incluidos dos de los llamados problemas de Erdős, planteados por el matemático húngaro Paul Erdős.
El antecedente relevante es este: El único Problema del Milenio oficialmente declarado resuelto hasta la fecha es la conjetura de Poincaré, por la que el Clay Mathematics Institute otorgó el premio al matemático ruso Grigori Perelman en 2010 (que lo rechazó). OpenAI ya había presentado en agosto de 2026 el modelo 'Astra', al que atribuyó la resolución de diez problemas matemáticos abiertos, incluidos dos problemas de Erdős, como antecedente directo de los anuncios de septiembre.
Contexto
El anuncio se inscribe en una carrera más amplia entre laboratorios de IA (OpenAI, Anthropic y otros) por demostrar capacidades matemáticas avanzadas, en un momento en que la comunidad matemática, representada por la carta de los 25 medallistas Fields de agosto de 2026, ha expresado preocupación explícita por el ritmo de publicación y la falta de estándares académicos consolidados para este tipo de resultados generados por IA.
Resolución previa de la conjetura de Poincaré por Grigori Perelman (único Problema del Milenio reconocido oficialmente como resuelto)
No hay confirmación de revisión por pares tradicional del resultado más allá de la verificación formal en Lean; el Clay Mathematics Institute no ha certificado el resultado como solución oficial del Problema del Milenio a fecha del anuncio
