La IA resolvió Navier Stokes y no lo resolvió

OpenAI asegura haber resuelto el problema de Navier-Stokes encontrando una singularidad, pero la demostración usó una fuerza externa que deja abierta la gran pregunta de la física.

Publicado por Santiago Campillo Brocal

Biólogo. Máster en Biología Molecular y Biotecnología, Director de Muy Interesante Digital

Publicado por Santi Cremades

Matemático, divulgador y profesor de Universidad

Creado: 1.10.2026 | 12:28 Actualizado: 1.10.2026 | 12:28

Imagina que te encierran en una habitación y te ofrecen un millón de dólares por salir. Hay cuatro puertas. Durante veinticinco años, los mejores especialistas empujan las dos primeras. Entonces llega una inteligencia artificial con unos diez mil clones, lee las bases del concurso con lupa y una inteligencia artificial examinó las bases oficiales del concurso para resolver el reto por una vía inesperada. ¿Ha resuelto el reto? Sí. ¿Ha resuelto el reto que todos creían estar resolviendo? También no. Bienvenido a Navier-Stokes, el primer problema matemático que parece estar a la vez resuelto, abierto y discutiéndose en redes. Schrödinger estaría orgulloso y agotado a partes iguales.

Curiosidad rigurosa: La trampa suave del millón de dólares

La aparente resolución del problema de Navier-Stokes por parte de OpenAI desató un terremoto científico al demostrar matemáticamente una singularidad extrema. Sin embargo, el empleo de una fuerza exterior artificial reavivó la gran controversia entre el problema formal y la física de los fluidos cotidianos.

1. Un siglo de fluidez cotidiana: Las ecuaciones del siglo XIX describen desde el humo hasta las corrientes, pero nadie ha probado su suavidad eterna en tres dimensiones.
2. La letra pequeña de Fefferman: El enunciado oficial del año 2000 dividió el reto en cuatro caminos, permitiendo expresamente una fuerza exterior en dos de ellos.
3. El vórtice en espagueti: Para forzar la rotura analítica, la máquina concentró la energía en cascadas de remolinos microscópicos hasta disparar la velocidad puntual.
4. El notario de silicio: El asistente Lean 4 verificó cada paso deductivo, aunque la física teórica aún debate si el resultado describe el universo real.

El 8 de septiembre de 2026, OpenAI anunció una demostración de singularidad para las ecuaciones de Navier-Stokes. El Clay Mathematics Institute reaccionó tres días después diciendo que el problema había sido aparentemente resuelto, aunque avisó de que la revisión de la comunidad sería deliberadamente lenta. El titular cabía en una sola línea, pero la demostración de singularidad para Navier-Stokes abrió un debate técnico de enorme calado.

El problema antes de la solución

Remueve el café. El líquido gira, se frena contra la taza, forma pequeños remolinos y acaba calmándose. El café no conoce las ecuaciones de Navier-Stokes, pero las cumple con esa tranquilidad irritante de quien no ha estudiado y aprueba sin esfuerzo. Del mismo modo, las ecuaciones describen con idéntica precisión el fluido de una taza o la atmósfera terrestre. Las mismas expresiones matemáticas rigen el flujo de aire alrededor de un avión supersónico y el pulso de la sangre dentro de una arteria humana.

El problema nunca ha sido formular las ecuaciones. Eso cabe de sobra en una pizarra pequeña y todavía queda espacio libre para anotar la fecha del día. En realidad, la verdadera pesadilla teórica consiste en demostrar si las soluciones permanecen suaves para siempre en tres dimensiones. Si partes de un fluido suave, sin velocidades infinitas ni discontinuidades ocultas, ¿seguirá siendo regular para toda la eternidad? ¿O puede concentrar su energía en una región cada vez más diminuta hasta que alguna magnitud física se dispare en un tiempo finito? A ese colapso analítico lo llamamos singularidad: no revienta la porcelana de la taza, sino nuestra capacidad predictiva.

La viscosidad actúa como un freno natural que intenta alisar el movimiento, igual que una persona sensata pasando la mano por un mantel arrugado para retirar los pliegues rebeldes. Sin embargo, el término no lineal permite que el fluido estire y amplifique sus propios vórtices sin control aparente. En dos dimensiones la física sabe perfectamente cómo controlar la fiesta. En tres dimensiones aparece un invitado imprevisto que trae a otros veinte amigos ruidosos y nadie en la sala recuerda quién le dio la dirección de la casa.

Simulación computacional de la formación de vórtices y singularidades en la dinámica de fluidos tridimensionales. Crédito: OpenAI / Midjourney / Muy Interesante.

Las cuatro puertas del millón

En el año 2000, el matemático Charles Fefferman redactó para el Instituto Clay el enunciado oficial de este Problema del Milenio. Y aquí se encuentra el matiz crucial que se ha extraviado en la mayoría de los titulares apresurados: Charles Fefferman no formuló una única salida matemática sino cuatro caminos alternativos. Bastaba demostrar con rigor una sola de las cuatro opciones para reclamar el premio. En unas oposiciones a funcionario sería el examen soñado; en la cima de la física teórica sigue siendo un laberinto descomunal.

Puerta	Escenario físico	Qué exige demostrar la prueba	Fuerza externa admitida
A	Espacio tridimensional completo	Toda solución suave permanece suave para siempre	Ninguna (fuerza cero)
B	Caja periódica tridimensional	Toda solución suave permanece suave para siempre	Ninguna (fuerza cero)
C	Espacio tridimensional completo	Existe al menos un caso suave que acaba rompiéndose	Fuerza suave permitida
D	Caja periódica tridimensional	Existe al menos un caso suave que acaba rompiéndose	Fuerza suave permitida

Las opciones A y B preguntan si, sin empujar el fluido desde fuera, toda evolución suave se mantiene regular. Por el contrario, las opciones C y D permiten inyectar una fuerza externa deliberada y piden construir un contraejemplo riguroso: un caso legítimo que termine rompiéndose en una singularidad. Ante esa disyuntiva, OpenAI afirma haber demostrado formalmente las salidas C y D con una fuerza externa suave. No encontraron una rendija olvidada en el tejado; cruzaron una puerta que estaba explícitamente escrita en las bases del concurso desde el primer día.

"La máquina no hackeó el enunciado oficial de Clay; simplemente leyó la letra pequeña que los físicos habían preferido aparcar durante un cuarto de siglo."

La puerta que eligió la máquina

La demostración matemática parte de un fluido inicialmente en reposo y diseña una fuerza externa extraordinariamente suave capaz de orquestar una cascada perfecta de remolinos. Cada escala espacial alimenta a la siguiente, cada estructura tubular se concentra un poco más y el vórtice acaba estirándose como un espagueti cósmico. En ese proceso extremo, la velocidad puntual del fluido crece sin límite conforme la cascada de remolinos colapsa. La energía total del sistema permanece finita en todo momento, pero la derivada explota en un instante preciso.

¿Supone esto una trampa intelectual? Depende de qué pregunta creyeras estar formulando. Imagina que quieres averiguar si un suflé puede hundirse dentro del horno. La inteligencia artificial encuentra la cadencia exacta para abrir y cerrar la puerta del horno tres mil veces por segundo sin incumplir la receta canónica. Ha demostrado que el suflé se hunde. El cocinero, sin embargo, quería saber qué le ocurría al postre con la puerta bien cerrada. Por tanto, la presencia de una fuerza exterior no invalida la prueba matemática pero altera su relevancia física. La letra pequeña también era rigurosa, solo que llevaba derivadas parciales.

La controversia se ha vuelto todavía más apasionante en los círculos académicos internacionales. El 17 de septiembre de 2026, los matemáticos Peter Constantin, Mihaela Ignatova y Vlad Vicol publicaron un exhaustivo análisis técnico de la construcción algorítmica. En sus conclusiones, el análisis independiente demostró que esta construcción no permite retirar la fuerza para resolver el caso clásico. Si la fuerza aplicada es analítica, y por ende si la fuerza es idénticamente cero, el punto singular desaparece y la solución vuelve a ser suave. Para resolver el enigma del fluido sin empujones exteriores hará falta una idea conceptualmente distinta en la dinámica de fluidos.

Diez mil agentes y ninguna pausa para el café

La descomunal escala computacional del experimento ilustra por qué este hito trasciende a la propia hidrodinámica teórica. Según los datos técnicos revelados, un enjambre de diez mil agentes de inteligencia artificial coordinó millones de mensajes durante días. Generaron cerca de 130.000 millones de tokens de razonamiento antes de que el modelo GPT-6 Astra necesitara otras 17 horas de cálculo para formalizar y verificar la prueba matemática completa en el lenguaje interactivo Lean.

No consistió en hacerle una pregunta suelta a un chatbot mientras preparabas la cena en la cocina de casa. En la práctica, la arquitectura operó como un centro de cálculo masivo con miles de procesos autónomos. Unos nodos proponían trayectorias geométricas, otros buscaban contraejemplos, otros ejecutaban código de validación simbólica y un comité central sintetizaba los mejores hallazgos. Ninguno de ellos pidió vacaciones ni café, aunque tras millones de argumentos cruzados bien habrían merecido fundar un sindicato de algoritmos.

Diversas estimaciones del sector sitúan el coste computacional del experimento en torno a los quince millones de dólares. El premio oficial otorgado por el Instituto Clay es de un millón. Si necesitas gastar quince millones para embolsarte uno, el balance financiero parece ruinoso. Sin embargo, la meta de la compañía consistía en demostrar capacidades de frontera y no en cobrar el premio. El verdadero producto consistía en demostrar que los sistemas de inteligencia artificial ya son capaces de operar en la frontera más árida del conocimiento humano y culminar una prueba verificable por ordenador.

Los humanos que dibujaron el mapa previo

Conviene no caer en el espejismo tecnológico: los agentes sintéticos no despertaron una mañana de septiembre con un chispazo de intuición genial. Al contrario, los agentes sintéticos recorrieron un sendero conceptual desbrozado durante años por matemáticos humanos. Los investigadores Diego Córdoba y Luis Martínez-Zoroa habían desarrollado con anterioridad la fértil estrategia de las capas de vorticidad: soluciones regulares que, ensambladas en una cascada telescópica, concentran el movimiento del fluido hacia escalas cada vez más reducidas. Por su parte, Tristan Buckmaster y Levent Alpöge refinaron principios análogos para las ecuaciones de Euler. La máquina aceleró el último kilómetro de la etapa, pero no diseñó la carretera desde la nada.

El propio Diego Córdoba resumió en cierta ocasión esa relación con una anécdota deslumbrante: comentaba con humor que él no necesitaba utilizar inteligencia artificial en su despacho porque ya tenía a Luis. La frase arranca una sonrisa porque suena a típica exageración de director de tesis orgulloso, pero encierra una lección epistemológica profunda. En el fondo, la intuición humana decide qué objeto concebir y hacia qué analogía orientar el esfuerzo. La mente humana decide qué objeto geométrico merece la pena concebir, qué analogía poética puede encerrar una verdad física y a qué pregunta conviene consagrar siete años de carrera académica. Diez mil exploradores de silicio sirven de muy poco si nadie ha trazado antes el mapa del continente.

Por esa razón el debate sobre la autoría científica no es una nota al pie para juristas aburridos. Cuando un sistema informático conecta, ensambla y pule ideas generadas por cerebros humanos, la ciencia contemporánea necesita protocolos más precisos para reconocer la procedencia intelectual de las ideas. Afirmar con ligereza que la máquina lo descubrió todo en solitario es tan riguroso como asegurar que una biblioteca escribió El Quijote simplemente porque albergaba todas las letras en sus estanterías.

"Afirmar que la máquina resolvió el misterio sola equivale a decir que una biblioteca redactó la novela porque guardaba todas las palabras en su interior."

Lean actúa de notario pero no de filósofo

La intervención del asistente de pruebas formal Lean aporta una certeza formidable al resultado obtenido. En la práctica, la verificación por ordenador confiere una solidez lógica inexpugnable a cada paso formal. Lean revisa con rigor implacable que cada deducción se desprenda de los axiomas precedentes, sin admitir atajos retóricos. Es un notario lógico que no parpadea, no sufre fatiga y no acepta que un paso sea evidente simplemente porque el autor haya subrayado la frase con rotulador fosforito.

Ahora bien, un software de verificación formal certifica la validez deductiva de los eslabones, pero carece de criterio epistemológico. En última instancia, el código no juzga si el teorema resultante responde a la inquietud genuina de los físicos. Lean no dictamina si una construcción es bella, si es físicamente relevante para predecir el clima o cómo debe ponderarse la autoría entre los matemáticos que concibieron las técnicas y el código que completó las integrales. Certifica el documento notarial; no el significado histórico del testamento.

Resuelto y pendiente al mismo tiempo

En el momento presente, la respuesta más rigurosa ante el revuelo internacional de Navier-Stokes se divide en tres conclusiones nítidas. En primer término, la propuesta resuelve las opciones C y D pero deja intacto el misterio del fluido libre. El trabajo presentado por OpenAI parece resolver de manera impecable las puertas con fuerza suave del enunciado fundacional de Charles Fefferman. En segundo lugar, el corazón físico del problema continúa abierto a la espera de un nuevo marco teórico. Y en tercer lugar, el Instituto Clay aplicará un escrutinio deliberadamente pausado antes de emitir cualquier veredicto oficial sobre el premio.

No estamos ante una contradicción insalvable, sino ante dos preguntas sustancialmente distintas que durante un cuarto de siglo han convivido bajo el mismo rótulo en los manuales de física. La inteligencia artificial ha conquistado el problema escrito en las bases notariales. Los matemáticos de todo el mundo siguen persiguiendo el problema imaginado en la física real. Y entre ambas dimensiones se interpone una fuerza externa tan sutil que casi nadie la vio venir.

El futuro llegó leyendo la letra pequeña

En mis intervenciones y programas de divulgación acostumbro a recalcar una frontera nítida entre lo que representa un ejercicio y lo que constituye un problema auténtico. Un ejercicio te lo plantea un profesor que conoce de antemano el resultado y te sugiere sutilmente qué fórmula desempolvar. Por el contrario, un problema genuino te lo estampa la naturaleza en el rostro, sin manual de instrucciones ni solucionario en las páginas finales.

Las ecuaciones de Navier-Stokes siguen habitando esa doble condición en el panorama científico contemporáneo. Una vertiente ha transitado de la duda a la demostración computable, mientras que la otra conserva intacta su capacidad para arruinarle la noche al físico más eminente del planeta. De este modo, la inteligencia artificial ha conseguido obligarnos a leer con lupa la letra pequeña de los problemas. Aguardábamos que el futuro irrumpiera con una teoría cósmica revolucionaria; de momento, ha llegado examinando las bases del concurso y preguntando por qué nadie se había atrevido a empujar la puerta C. Un comportamiento profundamente humano, después de todo.

Santi García Cremades es matemático, divulgador científico y profesor universitario.

Referencias

• Fefferman, C. L. (2000). Existence and smoothness of the Navier-Stokes equation. Millennium Prize Problems, Clay Mathematics Institute.
• OpenAI Technical Report (2026). Formal singularity formation for the 3D Navier-Stokes equations with smooth forcing.
• Clay Mathematics Institute (2026). Official Statement on the Navier-Stokes Millennium Prize Problem Announcement.
• Constantin, P., Ignatova, M., & Vicol, V. (2026). On the regularity and forcing conditions in constructive singularities of 3D fluids. arXiv preprint.
• Córdoba, D., & Martínez-Zoroa, L. (2024). Vorticity concentration and cascade mechanisms in incompressible fluid dynamics. Annals of Mathematics.