Navier–Stokes explota, y la explosión es un vórtice que se puede dibujar

El 8 de septiembre OpenAI publicó una demostración de que las ecuaciones de Navier–Stokes incompresibles en tres dimensiones pueden desarrollar una singularidad en tiempo finito: un fluido suave, que parte del reposo bajo una fuerza externa suave, cuya velocidad crece sin límite mientras su energía total se mantiene finita. La demostración viene como un paper de 166 páginas y una formalización en Lean. Es la resolución negativa del problema del milenio de Navier–Stokes tal y como lo escribió el Instituto Clay, noventa años después de Leray.

La cobertura ha ido del millón de dólares y de quién llegó primero. Las dos son mejores preguntas de lo que la cobertura sugiere, y ninguna es lo más interesante que hay aquí. Cinco cosas, y ninguna cabe en un titular: qué modelo lo hizo, qué es exactamente lo que “se rompe” y para quién, por qué la solución se puede dibujar en una servilleta, qué pasa con los teoremas que llevaban décadas esperando esta respuesta, y de quién sería el premio si alguien lo reclamara.

No fue Astra

La demostración no salió de GPT-6 Astra, el modelo que OpenAI había lanzado cinco días antes. Salió de un modelo interno que lleva entrenándose desde el 28 de agosto y que OpenAI describe como “significativamente más capaz que GPT-6 Astra”, con “un rendimiento sin precedentes en nuestros benchmarks, incluidas las matemáticas”. El entrenamiento sigue en marcha. OpenAI no lo llama un modelo de matemáticas; el salto que reporta es en sus benchmarks en general, con las matemáticas entre ellos. El único papel de Astra en la historia fue el último paso: produjo la formalización y la verificación en Lean en 17 horas.

Lo que corrió encima de ese modelo es más interesante que el modelo, al menos para quien construye sistemas de agentes. Fue un enjambre:

Destacan tres decisiones de diseño. Primera: no le pidieron al enjambre que resolviera Navier–Stokes. Lo dividieron en grupos y a cada uno le dieron uno de los cuatro enunciados del problema oficial: A y B (las soluciones siempre se mantienen suaves) a unos grupos, C y D (pueden romperse) a otros. Nadie apostó por una dirección. Segunda: a grupos aparte les dieron problemas “más fáciles”, y uno de ellos cayó primero: las ecuaciones de Euler sin forzamiento, la misma pregunta con la viscosidad quitada, resueltas por unos 100 agentes en unas 50 horas. Esa demostración se pasó entonces como prompt a los grupos de Navier–Stokes, y se retiraron agentes del resto de problemas del milenio para ponerlos en este. Tercera: los grupos solo podían hablar dentro de sí mismos; la polinización cruzada entre grupos la hizo Codex, usado para consolidar las ideas más útiles de cada grupo en prompts de seguimiento. El grupo que encontró la demostración fue guiado así.

Ya escribí sobre lo que se dicen los agentes entre sí cuando se les deja hablar; 2,7 millones de mensajes es esa misma pregunta a una escala en la que leer la transcripción no es una opción, y en la que la única capa legible para un humano es el paso de consolidación.

Qué se ha demostrado, exactamente

El teorema es lo bastante corto como para enunciarlo. Para toda viscosidad positiva existe una fuerza externa suave, de soporte compacto en espacio y tiempo, tal que el fluido que parte del reposo bajo esa fuerza es suave para todo tiempo anterior a 1, tiene energía cinética acotada en todo momento, y tiene una velocidad máxima que tiende a infinito cuando el tiempo se acerca a 1. En consecuencia no existe una solución suave y de energía finita para todo tiempo con esa fuerza y esa condición inicial.

Eso es el enunciado C de la descripción oficial del problema por Fefferman, y el soporte compacto regala el enunciado D, la versión periódica. El problema oficial queda resuelto si se demuestra cualquiera de cuatro enunciados, y los cuatro no son simétricos:

La fuerza es la parte con la que hay que ser honesto. No es la gravedad, y no se eligió primero. El paper lo dice sin rodeos: para cualquier flujo incompresible se puede definir la fuerza como el residuo que dejen las ecuaciones, y entonces las ecuaciones se cumplen por construcción. Toda la dificultad está en elegir un flujo que explote mientras ese residuo se mantiene suave, hasta el instante singular incluido, con todas sus derivadas. El vórtice de fondo por sí solo deja un residuo que diverge; el paper lo cancela con pulsos espacialmente oscilatorios y después elimina los errores restantes orden a orden. Para eso son las 166 páginas. Y por eso algunos matemáticos llamarán a esto una resolución del problema tal y como está escrito y otros lo llamarán un resquicio en el problema tal y como está escrito. Los dos tienen razón: el enunciado está cerrado, y la pregunta que la mayoría entiende por él, si un fluido al que nadie empuja puede explotar, está exactamente igual de abierta que la semana pasada. OpenAI dice que no reclamará el premio.

Donde el fluido deja de ser un fluido

Las ecuaciones de Navier–Stokes son la segunda ley de Newton aplicada a un continuo. En ellas no hay moléculas; una “parcela de fluido” es un punto matemático con una velocidad, y las ecuaciones describen cómo esas velocidades se empujan unas a otras. Todo aquello para lo que se usan, diseño de aviones, predicción meteorológica, flujo sanguíneo, se apoya en que esa imagen de continuo sea suficientemente buena.

Una singularidad es que las ecuaciones salgan de esa imagen desde dentro. En la construcción, el núcleo del vórtice tiene un radio que se encoge como la raíz cuadrada del tiempo que queda, y una velocidad máxima que crece algo más rápido que uno partido por esa raíz. Mucho antes de que el tiempo restante llegue a cero, el núcleo es más estrecho que el recorrido libre medio de las moléculas del aire, la velocidad ha superado la del sonido, y la incompresibilidad, la hipótesis de que el fluido no se puede comprimir, ya es falsa. En ese punto el continuo no tiene nada que decir. Para seguir modelando el sistema habría que seguir las partículas una a una: teoría cinética, dinámica molecular, el nivel de descripción que todavía no se haya rendido. Las ecuaciones no predicen un fluido infinitamente rápido. Predicen su propia frontera.

¿A quién afecta esto? A casi nadie de los que las usan. La singularidad necesita una fuerza diseñada para cancelar cuatro términos divergentes a todos los órdenes en un único punto del espacio y del tiempo; nada en un ala, en un huracán o en una arteria la proporciona. Los solvers numéricos ya regularizan todo lo que queda por debajo de la escala de la malla. Y la energía cinética del núcleo de hecho decrece hasta cero cuando la singularidad se acerca, así que todo el episodio lleva una energía que se desvanece en un volumen que se desvanece. Nadie vuelve a lanzar una simulación mañana. Mi lectura es que la consecuencia práctica para la inmensa mayoría de la mecánica de fluidos es nula, y me sorprendería que algún código de ingeniería cambiase por esto. Lo que ha cambiado es el estado del modelo: creíamos que las ecuaciones eran una descripción cerrada y autoconsistente que simplemente se aplicaba a veces fuera de su rango. Ahora sabemos que las ecuaciones contienen en sí mismas la salida, y que se las puede llevar hasta ella con un empujón suave.

La parte intuitiva

La construcción es un vórtice que se enrosca hacia dentro mientras se estira a lo largo de su eje. Cualquiera que haya visto el agua irse por un desagüe puede leer su forma. Estos son los hilos del núcleo en tres instantes sucesivos, integrados a partir del campo a orden principal que describe el paper:

Visto de lado, con los escalados escritos encima, el mismo objeto:

Tres ideas, todas viejas:

• Momento angular. Una parcela de fluido sobre la que no actúa ningún par conserva su momento angular por unidad de masa, radio por velocidad tangencial. Tira de ella hacia dentro y gira más rápido. Es la patinadora recogiendo los brazos, y es por lo que el agua sobre un desagüe se acelera al acercarse al agujero.
• Incompresibilidad. Lo que entra tiene que salir. El fluido que se enrosca hacia el eje se va a lo largo de él, hacia arriba a un lado de un plano divisorio y hacia abajo al otro. El núcleo se estira mientras se afina; la imagen del propio paper son espaguetis.
• Estiramiento de vórtices. Estirar un tubo giratorio a lo largo de su eje lo afina y, por el primer punto, lo acelera. Los dinamicistas de fluidos saben desde Helmholtz que este es el mecanismo por el que los flujos tridimensionales concentran rotación, y que los bidimensionales no pueden hacerlo, que es por lo que el problema en dos dimensiones se resolvió hace décadas.

La parte que no es intuitiva, y que necesitó la máquina, es el equilibrio. La viscosidad no queda arrollada en esta construcción; el número de Reynolds radial se mantiene de orden uno hasta el final, así que la difusión sigue compitiendo con el flujo entrante y el núcleo evoluciona como una forma autosemejante en vez de colapsar. El radio se encoge como la raíz cuadrada del tiempo restante y la altura como esa misma raíz dividida por una potencia diminuta, de exponente menor que una centésima. Todo en las ecuaciones diverge, y las divergencias tienen que cancelarse con la precisión justa para dejar detrás una fuerza suave. El resultado de Terence Tao de 2016, que una versión promediada de Navier–Stokes explota, se leyó entonces como una pista de que cualquier explosión real tendría que estar diseñada como una máquina construida con fluido. Lo que la demostración enseña es que la máquina es una espiral. Intuitiva de leer; no de demostrar.

Teoremas que cambiaron de estado de un día para otro

Noventa años sin saberlo produjeron una literatura amplia de resultados condicionales, y un teorema condicional no cambia cuando se decide su hipótesis, pero su significado sí. Tres familias, y qué le pasó a cada una:

• “Si se forma una singularidad, entonces…” Beale–Kato–Majda: la vorticidad máxima no puede ser integrable en tiempo. Caffarelli–Kohn–Nirenberg: el conjunto singular tiene medida parabólica unidimensional cero. Hasta el lunes eran descripciones de un objeto hipotético. Ahora son una lista de comprobación que el vórtice tiene que cumplir, y la cumple: su conjunto singular es un único punto en el origen en el tiempo 1, como CKN permite, y su vorticidad hace lo que BKM exige. Cada uno de estos es ahora una comprobación cruzada de la demostración, no una restricción sobre un fantasma.
• “Si las soluciones se mantienen suaves, entonces…” Comportamiento a largo plazo, convergencia de esquemas numéricos en intervalos arbitrarios, argumentos de unicidad que pasan por la regularidad. Eran teoremas con una hipótesis que todo el mundo esperaba gratis. Siguen siendo teoremas. Pero para el problema forzado la hipótesis ya no está disponible en general; cada resultado tiene ahora un dominio, las fuerzas para las que la regularidad se cumple, y ese dominio excluye al menos una fuerza suave.
• “Las ecuaciones de Navier–Stokes forzadas en 3D son globalmente regulares.” Una conjetura que sostenía la mayoría. Ahora falsa. Es el único enunciado que ha quedado falsado en vez de reinterpretado.

Dos cosas no se han movido. Los enunciados A y B, la regularidad de las ecuaciones sin forzamiento, quedan intactos; todo teorema condicionado a ellos conserva exactamente el estado que tenía. Y no todos los criterios de regularidad se transfieren: el criterio de Escauriaza, Seregin y Šverák, que la norma L³ tiene que explotar, se demostró para el problema de Cauchy sin forzamiento, así que no restringe automáticamente a este vórtice.

Hay además una pregunta que acaba de volverse concreta. Leray demostró en 1934 que las soluciones débiles continúan más allá de cualquier tiempo singular. Si continúan de forma única no se sabe, y Albritton, Brué y Colombo demostraron en 2022 que con una fuerza singular en el instante inicial no lo hacen. Hasta ahora, “qué hace el fluido después de la singularidad” era una pregunta sobre una trayectoria que nadie había exhibido. Ahora hay una trayectoria suave desde el reposo hasta un punto singular, y lo que hay al otro lado es una pregunta sobre un objeto concreto.

La ruta se abrió en Madrid

Los enunciados C y D de Fefferman no piden una fuerza cualquiera. Piden una fuerza suave, y sacar una singularidad de una fuerza que se mantiene suave a través del instante singular es un programa concreto con una historia concreta. Esa historia no es de OpenAI.

Desde hace varios años Diego Córdoba, en el Instituto de Ciencias Matemáticas de Madrid, y Luis Martínez-Zoroa, en la Universidad CUNEF, han estado construyendo explosiones forzadas, con análisis, mientras la mayor parte del campo apuntaba ordenadores al problema. El método consiste en construir una sucesión de soluciones inofensivas por separado y apilarlas en lo que Martínez-Zoroa llama una cascada infinita, en la que cada escala amplifica la siguiente: se permite una fuerza externa, se consigue así la singularidad y después se pelea por hacer esa fuerza lo más regular posible. En 2024, con Fan Zheng, demostraron explosión en tiempo finito con energía finita para las ecuaciones de Navier–Stokes hipodisipativas, las ecuaciones reales con la viscosidad debilitada, bajo una fuerza Hölder en espacio e integrable en tiempo, no suave. Dos huecos separaban aquello de Fefferman: había que devolver la disipación al laplaciano verdadero, y había que hacer la fuerza suave. El segundo hueco es por lo que la suavidad de la fuerza atraviesa toda esta historia. Es el criterio que su cascada todavía no alcanzaba, y es el paso que tuvieron que dar los dos equipos que remataron el trabajo.

Buckmaster, cuyos propios resultados de esta semana se apoyan en ese programa, es explícito sobre la deuda en su declaración pública: el crédito de la idea básica, escribe, es de Córdoba y Martínez-Zoroa, y las ideas que hacen posible esta línea de ataque son suyas. Va más allá del crédito: dice en la misma declaración que, a la vista de este cuerpo de trabajo, cree que Martínez-Zoroa merece una medalla Fields. Y no está solo en la valoración: Charles Fefferman, que redactó el enunciado oficial del problema en 2000, ha dicho a Quanta que los dos son “los héroes de la historia”.

Queda un detalle que merece comprobarse en vez de suponerse, y la respuesta cambió de un día para otro. El paper que OpenAI sacó el 8 de septiembre tenía 165 páginas y dieciséis referencias — Leray, Navier, Stokes, Euler, Fefferman, Caffarelli–Kohn–Nirenberg, Escauriaza–Seregin–Šverák, Buckmaster–Vicol, Albritton–Brué–Colombo, Daneri–Székelyhidi, Tao y cinco más — y ninguna era de ellos. Los nombres no aparecían en ninguna parte. La versión que hay ahora tiene 166 páginas y veintidós referencias, y tres de las nuevas son suyas: la explosión de Euler forzado de 2023, las singularidades del medio poroso de 2024 y el paper hipodisipativo con Zheng, que desde entonces ha salido en el Archive for Rational Mechanics and Analysis.

El párrafo que llegó con las citas vale más que las citas. Dice que esos trabajos establecieron la estrategia de forzar una singularidad por amplificación entre escalas manteniendo controlada la regularidad de la fuerza externa, que en sus construcciones la deformación de la escala grande amplifica la vorticidad de la pequeña con la realimentación sobre las grandes suprimida, y que la construcción de OpenAI explota esa misma amplificación dinámica con las perturbaciones amplificadas cumpliendo otro papel: pulsos oscilatorios que generan un flujo medio de momento y suministran la fuerza que falta sobre un vórtice que colapsa. Eso es un linaje, descrito con las palabras del propio paper. No estaba en el paper el día anterior. Las matemáticas no cambiaron de la noche a la mañana; la lista de referencias sí. Y cambió solo en el paper: el anuncio, que es lo que de verdad lee la gente, no nombraba a ninguno de los tres la noche del 8 de septiembre y seguía sin nombrarlos la mañana del 9.

Y algo que en español conviene decir sin rodeos: si esto se sostiene, Córdoba y Martínez-Zoroa son probablemente los matemáticos españoles más influyentes de la historia. España no ha tenido una tradición matemática comparable a la francesa o la alemana, y la lista de candidatos es corta: Rey Pastor organizando la disciplina, Santaló en geometría integral, la escuela de análisis de las últimas décadas. Ninguno tiene su nombre en la ruta por la que se resuelve un problema del milenio. Con una medalla Fields propuesta en público por alguien que ha trabajado con el material, la frase deja de ser una exageración patriótica y pasa a ser una descripción.

El trabajo concurrente

El rumor que puso a OpenAI en marcha era real, y su objeto no era lo que decía el rumor.

El 7 de septiembre, Levent Alpöge, empleado de Anthropic, y Tristan Buckmaster, matemático en la NYU, publicaron tres resultados: explosión en tiempo finito con forzamiento suave para la ecuación del medio poroso incompresible, para el sistema de Boussinesq en dos dimensiones y para las ecuaciones de Euler incompresibles en tres, cada uno con su formalización en Lean. Terence Tao los reseñó ese mismo día. Dicen además que creen tener explosión para Navier–Stokes hipodisipativas, retenida porque la verificación en Lean no está terminada, y Buckmaster apunta que sugiere un camino hacia las ecuaciones de Euler sin forzamiento, que es la dirección que importaría.

Cuatro días antes corría el rumor de que Anthropic había resuelto un problema abierto importante, con versiones que asociaban el nombre de Alpöge a una solución; un mercado de predicciones se movió con ello. OpenAI dice que ese rumor es lo que le hizo lanzar su propio esfuerzo el 1 de septiembre. El objeto del rumor era esta colaboración, y el encuadre estaba mal de una forma que merece señalarse: Buckmaster la describe como una colaboración puramente personal, sin implicación institucional de ninguno de los dos empleadores, pagada de su propio presupuesto de investigación, usando Claude, Codex y más tarde Astra. El nombre de una empresa viajó más lejos que el trabajo.

Los dos relatos de lo que pasó después no coinciden, y los dos son públicos.

OpenAI dice que, tras terminar la demostración y su verificación en Lean, contactó el 6 de septiembre para ofrecer una publicación concurrente y reconocer la prioridad del otro equipo en Euler forzado, que les ofreció ver todos sus prompts y después la propia demostración, y que ni sus investigadores ni sus agentes vieron nada de su trabajo antes de que fuera público.

El relato de Buckmaster de esos mismos días es más largo, y lo ha escrito:

• Fue él quien contactó primero con OpenAI, el 3 de septiembre, después de que el rumor sobre su propio trabajo le llegara a través de un colega.
• En las llamadas del 6 de septiembre le dijeron que se había usado “muy poca intervención humana”. Resultó no ser así: había trabajado un equipo entero, y hasta el prompt que le mostraron se había escrito pidiéndoselo a Codex.
• Se acabó acordando que el primer prompt había salido en los días anteriores, después de que la noticia de su trabajo llegara a OpenAI.
• Preguntó si el modelo se había entrenado con las sesiones de Codex donde estaban sus borradores, y no obtuvo respuesta sobre el entrenamiento.
• De las dos propuestas que le hicieron, una consistía en presentar él solo el resultado, con Alpöge retirado de la autoría y citando como razón que Alpöge trabaja en Anthropic. Rechazó las dos.

Sébastien Bubeck ha calificado de falsas e inflamatorias las acusaciones que circulan sobre él y dice que gestionó la conversación según las normas académicas.

Buckmaster es cuidadoso con lo que no está afirmando: no ha visto la demostración, no sabe qué hizo el modelo y no acusa a nadie de nada. Su propio resumen de lo que sería correcto es el criterio que merece la pena guardar. Si un modelo cerró el hueco, escribe, hay que decirlo alto, decirlo ellos, y con la historia intacta.

Hay una segunda cosa en esa declaración que no tiene nada que ver con la disputa. Los borradores que produjeron los modelos fueron, según él, los más horrendos que ha leído nunca, y del texto de Euler dice que “solo se puede describir como AI slop”; el trabajo de las dos semanas anteriores a publicar consistió en convertir una demostración de máquina en algo que una persona pueda leer. Lean resuelve si una demostración es correcta y no dice nada de si es legible, y no son el mismo entregable. Ese hueco es todo el asunto de lo que hace falta para escribir un paper de investigación con IA: la redacción se mueve, el criterio no.

¿De quién sería el premio?

De nadie, durante al menos dos años, y posiblemente de nadie en absoluto.

El Instituto Clay no paga por un preprint. Sus reglas exigen que la solución se publique en un medio cualificado, que pasen al menos dos años desde la publicación, y que haya “recibido aceptación general en la comunidad matemática global”. Un certificado de Lean hace mucho por la primera condición y nada por la tercera: la aceptación es un hecho social sobre matemáticos, no una propiedad de una demostración. OpenAI, en cualquier caso, dice que no piensa reclamar el premio.

Así que la pregunta viva no es quién cobra, sino a quién dirá el campo que le corresponde. Hay cuatro respuestas defendibles.

• OpenAI. Produjo la demostración de C y D, completa, con verificación formal. Si el criterio es quién escribió el argumento que cierra el enunciado oficial, esta es la respuesta y no hay discusión.
• Córdoba y Martínez-Zoroa. Ellos eligieron la ruta, y elegir la ruta es la parte difícil. A la dirección de la fuerza suave no se llega leyendo el enunciado; Buckmaster dice que casi nadie que él conociera estaba trabajando en ella. En lo matemático la idea es suya, y todo lo que hay por encima es ingeniería, por formidable que sea.
• Alpöge y Buckmaster. Cogieron un programa hecho para fuerzas rugosas y lo empujaron hasta fuerzas suaves, publicaron los casos vecinos con formalización, y tienen un resultado hipodisipativo anunciado que apunta al problema sin forzamiento. Si el último peldaño resulta alcanzable desde el suyo, las discusiones de prioridad van a durar años.
• Nadie todavía. Si el campo lee C y D como un resquicio en la redacción, el problema que le importa a la gente sigue abierto, y la reclamación más fuerte a futuro es de quien cierre el caso sin forzamiento.

El premio es el instrumento equivocado para lo que ha pasado. Se diseñó para nombrar a una persona, y este resultado tiene una ruta con dos nombres, una culminación con otros dos, una demostración producida por un sistema que nadie de fuera puede inspeccionar y una verificación formal hecha por un cuarto modelo. Cualquier asignación única de ese cheque sería una afirmación falsa sobre cómo se hizo el trabajo. El criterio de Buckmaster es mejor, y además no cuesta nada: decirlo alto y dejar la historia intacta.

Qué sacar de esto

• El problema tal y como está escrito está cerrado, en negativo. La pregunta que la mayoría entiende por él, si un fluido sin empujón externo puede explotar, sigue abierta, y la propia estructura de la demostración dice lo lejos que está de responderla: la fuerza se define como el residuo que haga funcionar la construcción.
• No cambia nada para quienes usan las ecuaciones. La rotura ocurre a escalas donde el continuo nunca fue una descripción válida, con energía que se desvanece, bajo una fuerza que nada en la naturaleza proporciona. Las ecuaciones ya eran un modelo con un rango; ahora sabemos que el rango tiene un borde alcanzable desde dentro.
• El modelo no es uno que se pueda usar, y el sistema a su alrededor es un enjambre de diez mil agentes con un agente de código como editor. El paso de Lean, la única parte que alguien de fuera puede comprobar, es la que hizo Astra.
• La ruta no es de OpenAI. Dos matemáticos de Madrid pasaron años haciendo funcionar las explosiones forzadas, otra pareja empujó su método hasta la fuerza suave el día antes, y el paper que remató el trabajo necesitó una revisión, un día después, para decir de dónde venía la estrategia.
• La forma siempre estuvo ahí. Una patinadora recogiendo los brazos, estirada a lo largo del eje de giro, equilibrada contra la viscosidad por un exponente menor que el uno por ciento. Hicieron falta noventa años y una máquina para escribirla, y hace falta un minuto para explicarla.

---

Fuentes: el anuncio de OpenAI, el paper, la formalización en Lean, el enunciado oficial del problema por Fefferman para el Instituto Clay, la declaración de Tristan Buckmaster, Terence Tao sobre los resultados de Alpöge y Buckmaster , Córdoba, Martínez-Zoroa y Zheng sobre explosión hipodisipativa y el reportaje de Quanta.