OpenAI afirma haber resuelto el problema de existencia y suavidad de las ecuaciones de Navier‑Stokes mediante una demostración formal generada por IA, pero la comunidad matemática aún no lo considera resuelto oficialmente. El Instituto Clay mantiene el problema abierto hasta que la prueba sea revisada, publicada y aceptada durante al menos dos años.
Qué dice exactamente OpenAI que ha resuelto
OpenAI publicó el 8 de septiembre de 2026 un manuscrito de 165–166 páginas y una formalización completa en Lean, un asistente de pruebas que verifica cada paso de la demostración.
La IA habría demostrado que:
Un fluido tridimensional incompresible, inicialmente suave y en reposo,
sometido a una fuerza externa suave,
puede desarrollar una singularidad en tiempo finito (blow‑up),
manteniendo la energía cinética acotada.
Esto implica que las ecuaciones no garantizan suavidad global, resolviendo las variantes C y D del enunciado oficial del Clay Institute.
La estructura de la solución se basa en un vórtice que se estira y acelera mientras su región central se contrae, generando la singularidad.
Cómo se obtuvo la demostración
OpenAI empleó un modelo interno más potente que GPT‑6 Astra, coordinando 10.000 agentes de IA durante 88 horas para explorar el espacio de demostraciones.
El proceso:
Primero resolvieron una versión simplificada (Euler forzado) con 1.000 agentes.
Luego escalaron al problema completo con 10.000 agentes.
La demostración final fue verificada en Lean, lo que elimina ambigüedad lógica.
¿Está realmente “resuelto” el problema?
No todavía.
El Instituto Clay exige tres condiciones para declarar resuelto un Problema del Milenio:
Publicación en una revista matemática reconocida.
Permanencia pública durante dos años.
Aceptación general de la comunidad matemática.
A fecha del 9 de septiembre de 2026, el Clay sigue clasificando el problema como no resuelto.
OpenAI no reclama el premio y reconoce que la validación matemática independiente es imprescindible.
¿Por qué es el avance más importante desde 2003?
Porque desde la resolución de la Conjetura de Poincaré por Grigori Perelman en 2003, ningún otro Problema del Milenio había sido siquiera parcialmente resuelto. Este sería el segundo en la historia si se confirma.
Además:
El problema llevaba 90 años abierto.
Afecta a física, ingeniería, meteorología, aeronáutica y dinámica de fluidos.
La demostración formal en Lean marca un hito en la colaboración entre IA y matemáticas.
Controversias
Hay cusaciones de que OpenAI pudo haber usado ideas no publicadas de otros investigadores (Buckmaster y Alpöge), aunque la empresa lo niega.
En resumen
OpenAI ha producido una demostración formal que, si se valida, resolvería dos de las cuatro formulaciones del problema de Navier‑Stokes. Es el avance matemático más importante desde 2003, pero no está oficialmente resuelto hasta que la comunidad lo verifique








