¿Ha resuelto OpenAI el problema de Navier-Stokes con IA? Qué se sabe

OpenAI asegura haber encontrado una solución al problema de Navier-Stokes, uno de los grandes enigmas matemáticos del último siglo y uno de los siete Problemas del Milenio. El resultado, anunciado este 8 de septiembre de 2026, sostiene que las ecuaciones que describen el movimiento de fluidos tridimensionales pueden desarrollar una singularidad en un tiempo finito incluso partiendo de condiciones suaves. Dicho de manera menos marciana: las matemáticas permiten construir un fluido cuyo comportamiento acaba volviéndose infinito en un punto, rompiendo la suavidad de la solución.

Pero hay una precisión decisiva. OpenAI dice haber resuelto el problema; la comunidad matemática todavía no lo ha dado oficialmente por resuelto. El Clay Mathematics Institute continúa incluyendo Navier-Stokes entre sus problemas pendientes y sus propias normas exigen publicación, al menos dos años de escrutinio y una aceptación generalizada por parte de la comunidad matemática antes de considerar una solución para el Premio del Milenio. Así que estamos ante una posible hazaña histórica, sí, pero aún no ante una sentencia grabada en mármol.

Lo extraordinario va incluso más allá de la ecuación. La prueba no habría nacido de un matemático trabajando durante décadas frente a una pizarra, sino de un sistema interno de inteligencia artificial de OpenAI, todavía en entrenamiento y que la compañía describe como considerablemente más capaz que GPT-6 Astra. Miles de agentes artificiales coordinados atacaron el problema durante días, intercambiando millones de mensajes y explorando caminos matemáticos distintos hasta obtener una construcción que después fue formalizada en Lean, una herramienta capaz de comprobar rigurosamente los pasos de una demostración.

Y ahí aparece la segunda historia. Mientras OpenAI celebra el avance, una disputa con los matemáticos Tristan Buckmaster y Levent Alpöge ha abierto preguntas incómodas sobre prioridad científica, uso de información no publicada y la manera en que habrá que repartir el mérito cuando las máquinas empiecen a resolver problemas que hasta ayer parecían reservados a unas pocas mentes excepcionales. No es una nota al pie. Puede terminar siendo parte fundamental de este episodio.

OpenAI dice haber encontrado la ruptura de Navier-Stokes

Las ecuaciones de Navier-Stokes describen cómo se comportan los fluidos: agua corriendo por una tubería, aire alrededor del ala de un avión, corrientes atmosféricas o incluso el flujo sanguíneo. Son herramientas habituales de la física y la ingeniería desde el siglo XIX. El problema no consiste en que las ecuaciones no funcionen; funcionan tan bien que se utilizan constantemente. El agujero está en sus cimientos matemáticos.

En tres dimensiones nadie había demostrado si, partiendo de determinadas condiciones perfectamente suaves, las soluciones tienen que permanecer siempre suaves o pueden terminar desarrollando una singularidad. En términos físicos, sería algo parecido a seguir un remolino que gira cada vez más deprisa, se comprime más y más y acaba alcanzando matemáticamente una velocidad sin límite. La viscosidad del fluido debería tender a suavizar ese comportamiento. Esa pelea entre concentración y disipación es precisamente una de las razones por las que el problema lleva décadas resistiéndose.

OpenAI asegura haber demostrado la segunda posibilidad. Su sistema construyó una solución en la que un fluido inicialmente suave y en reposo recibe una fuerza externa también suave y termina desarrollando una singularidad en un tiempo finito, mientras su energía permanece finita durante todo el proceso. La compañía afirma que esto satisface las formulaciones C y D del problema oficial del Clay Mathematics Institute.

Ese detalle de la fuerza externa importa. Mucho. Las formulaciones A y B preguntan esencialmente por la existencia permanente de soluciones suaves sin una fuerza externa de ese tipo; las C y D permiten construir un escenario de ruptura bajo las condiciones establecidas oficialmente. No es un truco para esquivar el problema: forma parte de la definición del propio Premio del Milenio.

Qué significa realmente resolver Navier-Stokes

Las Navier-Stokes llevan los nombres del francés Claude-Louis Navier y del británico George Gabriel Stokes, cuyos trabajos durante el siglo XIX dieron forma a las ecuaciones modernas de los fluidos. En 1934, Jean Leray consiguió demostrar la existencia de un tipo más débil de soluciones, pero quedó flotando una pregunta enorme: si esas soluciones pueden perder regularidad y explotar matemáticamente.

El Clay Mathematics Institute convirtió esa cuestión en uno de sus siete Problemas del Milenio en 2000 y reservó un millón de dólares para cada solución reconocida. De aquellos siete desafíos, solo la conjetura de Poincaré aparece hasta ahora en el archivo oficial de problemas resueltos. Navier-Stokes sigue figurando, este 8 de septiembre, del otro lado de la puerta.

La importancia del problema tampoco se resume en cobrar un cheque de siete cifras. Una demostración rigurosa establece los límites de unas ecuaciones utilizadas para representar fenómenos que van desde la turbulencia atmosférica hasta el movimiento del agua o el diseño aeronáutico. No significa que mañana los aviones vuelen de otra manera ni que las previsiones meteorológicas cambien de algoritmo por la mañana. La consecuencia inmediata es más profunda y menos vistosa: sabríamos algo fundamental sobre aquello que estas ecuaciones pueden y no pueden describir.

Un vórtice que se aprieta como un hilo

La construcción anunciada por OpenAI tiene una imagen bastante más intuitiva que sus páginas de fórmulas. La solución adopta la forma de un vórtice que gira, se alarga y se concentra hacia dentro, como un hilo de espagueti estirado mientras su zona central va encogiéndose. La velocidad aumenta al mismo tiempo que disminuye el tamaño de la región donde se concentra el fenómeno.

La dificultad estaba en conseguir que semejante explosión surgiera de la propia dinámica de las ecuaciones y no de introducir, por la puerta trasera, una fuerza infinita. Según la demostración publicada por OpenAI, aceleración, presión, transporte de momento y viscosidad crecen y se compensan de una manera muy precisa, de modo que la fuerza externa continúa siendo suave aunque la velocidad termine creciendo sin límite. Ahí está el corazón matemático del resultado.

10.000 agentes, 88 horas y una prueba formal

La forma en que apareció la solución parece sacada de una versión acelerada de la ciencia. OpenAI cuenta que comenzó a entrenar el nuevo modelo interno el 28 de agosto. El 1 de septiembre, después de escuchar rumores sobre posibles avances en dos Problemas del Milenio, decidió ponerlo a trabajar contra las grandes cuestiones que seguían abiertas.

No fue un único chatbot contemplando una ecuación en silencio. La compañía desplegó grupos de agentes capaces de comunicarse, consultar una copia almacenada de internet y ejecutar código. Para Navier-Stokes llegaron a participar del orden de 10.000 agentes simultáneos, distribuidos entre distintas aproximaciones al problema. Algunos intentaban probar que las soluciones permanecen suaves; otros buscaban precisamente una ruptura.

El sistema obtuvo el resultado el 5 de septiembre, unas 88 horas después de comenzar el experimento. La formalización y comprobación en Lean necesitó otras 17 horas, según OpenAI. Solo durante el trabajo dedicado a Navier-Stokes los agentes intercambiaron alrededor de 2,7 millones de mensajes y generaron unos 130.000 millones de tokens de salida. La factura computacional de toda esta ofensiva tampoco fue precisamente doméstica: responsables de OpenAI situaron ante periodistas el coste en millones de dólares.

Lean merece una mención. No convierte automáticamente cualquier texto matemático en verdadero, ni sustituye el juicio de los especialistas, pero permite representar una demostración dentro de un sistema formal y comprobar que sus pasos respetan determinadas reglas lógicas. OpenAI ha publicado tanto la explicación matemática como esa formalización. Es un grado de verificabilidad mucho mayor que limitarse a anunciar desde un escenario que la máquina tuvo una idea brillante. Aun así, toca leerla. Y en matemáticas, revisar una prueba de esta magnitud no es precisamente ojear el periódico durante el café.

La polémica por el crédito científico

La celebración ha llegado acompañada de una tormenta bastante terrenal. Tristan Buckmaster, profesor de matemáticas en la Universidad de Nueva York, y Levent Alpöge, matemático que trabaja en Anthropic, habían estado desarrollando resultados relacionados con la formación de singularidades en ecuaciones de fluidos. Entre sus avances figura un resultado para las ecuaciones tridimensionales de Euler con una fuerza suave, un pariente especialmente cercano de Navier-Stokes en el que desaparece el término de viscosidad.

OpenAI reconoce que comenzó su ofensiva del 1 de septiembre después de escuchar rumores que más tarde relacionó con el trabajo de Alpöge y Buckmaster. La compañía afirma, sin embargo, que ni sus investigadores ni los agentes de IA vieron el trabajo de ambos antes de que fuera publicado y sostiene que su demostración sigue una construcción distinta.

Buckmaster ha planteado una versión más incómoda de los acontecimientos. Según su relato, OpenAI intensificó el trabajo después de conocer que ellos estaban avanzando en esa dirección y, durante las conversaciones posteriores, llegó a plantear fórmulas de publicación que no incluían a Alpöge entre los autores del resultado de Navier-Stokes. OpenAI niega haber utilizado trabajos privados de los investigadores para orientar a sus modelos. De momento son versiones enfrentadas sobre un episodio muy reciente, no hechos judicial o académicamente establecidos.

Aquí hay una zona gris especialmente relevante. OpenAI afirma expresamente que no accedió a datos específicos de los usuarios para resolver Navier-Stokes y que sus investigadores y agentes no habían visto el material de Buckmaster y Alpöge. Al mismo tiempo, la compañía admite que no puede descartar por completo que datos desidentificados derivados del uso de sus productos hubieran contribuido anteriormente a mejorar sus modelos. Una cosa no demuestra la otra, pero explica por qué el debate sobre confidencialidad científica ha saltado inmediatamente de las facultades de Matemáticas a Silicon Valley.

El conflicto resulta casi inevitable en una época en la que un investigador puede utilizar modelos comerciales como compañero de trabajo durante meses. ¿Dónde termina la herramienta y comienza el laboratorio que la construyó? La vieja discusión sobre quién tuvo primero una idea se complica cuando esa idea ha pasado por servidores que pertenecen a otra empresa. Navier-Stokes, paradójicamente, podría haber generado una turbulencia académica antes incluso de que se calme la matemática.

El millón de dólares puede esperar

Que OpenAI haya publicado una prueba y una formalización en Lean no convierte automáticamente Navier-Stokes en un problema oficialmente resuelto. Las normas del Clay Mathematics Institute son deliberadamente lentas. Una solución debe aparecer en una publicación considerada válida, transcurrir al menos dos años y obtener aceptación general entre los especialistas antes de que el instituto pueda valorar la concesión del premio.

OpenAI, por su parte, ha dicho que no pretende reclamar el millón de dólares asociado al problema. Presenta el trabajo sobre todo como una demostración del salto de capacidad de sus sistemas internos. Esa decisión elimina una parte pintoresca del debate —a quién se entrega exactamente un cheque cuando el autor principal es una red de agentes—, aunque no resuelve la cuestión científica de la prioridad ni la histórica de quién debe recibir el mérito.

Habrá que separar, por tanto, dos velocidades. La tecnológica va a toda pastilla: entrenamiento, miles de agentes, billones de operaciones, una respuesta en pocos días. La matemática es más vieja y bastante menos impresionable. Una demostración de esta dimensión será examinada línea a línea, se buscarán huecos, supuestos escondidos, errores de formalización y correspondencia exacta con las condiciones fijadas por el problema del Clay. Un ordenador puede recorrer millones de caminos en una noche; la aceptación científica no funciona con botón de turbo.

La matemática después de este 8 de septiembre

Incluso si apareciera un error importante en la prueba, el episodio difícilmente volvería a guardarse en el cajón. Un sistema de IA ha producido una demostración lo bastante seria como para que OpenAI publique formalización, metodología y detalles técnicos y para que el resultado sea tratado como un posible acontecimiento histórico. El listón acaba de moverse.

Y si la prueba supera el escrutinio, la noticia será mayor que la resolución de Navier-Stokes. Hasta hace muy poco, la imagen habitual de la inteligencia artificial en ciencia era la de una herramienta capaz de acelerar cálculos, buscar bibliografía, escribir código o sugerir hipótesis. Aquí hablamos de otra escala: sistemas artificiales explorando matemáticas desconocidas y encontrando demostraciones originales en la frontera misma de la disciplina.

Queda una ironía deliciosa, y algo incómoda. Durante casi un siglo, los matemáticos discutieron si las ecuaciones de los fluidos podían producir una singularidad. Cuando quizá por fin ha aparecido la respuesta, la singularidad más visible no está únicamente dentro del vórtice: está en nuestra manera de entender quién descubre, quién firma y quién merece el crédito cuando una máquina entra de verdad en la historia de las matemáticas.