Una aguja de agua: cómo 10 000 agentes hicieron explotar las ecuaciones de Navier–Stokes ✛ ✎ ✦ OpenAI teórico hecho por agentes de IA de OpenAI (≈10 000 agentes, 88 h) · verificado en Lean

Original: "Finite Time Blowup for Navier–Stokes"
· OpenAI
b42w:2609.90001 · página del trabajo · PDF, 166 págs. · formalización en Lean · 2026-09-08 · © OpenAI · análisis propio · 8 min
Desde el reposo, con una fuerza suave y energía finita: un flujo cuya velocidad va al infinito en tiempo finito. Cómo se construyó y qué significa para el problema del Milenio.
Ilustración de OpenAI del anuncio: espiral hacia dentro y estiramiento axial. © OpenAI
Ilustración de OpenAI del anuncio: espiral hacia dentro y estiramiento axial. © OpenAI
Nuestro esquema del mecanismo: el fluido entra en espiral hacia el eje y sale a lo largo de él, el núcleo se contrae en una aguja, y en el a
Nuestro esquema del mecanismo: el fluido entra en espiral hacia el eje y sale a lo largo de él, el núcleo se contrae en una aguja, y en el anillo alrededor del núcleo los pulsos oscilatorios producen una tensión media que sustituye a la fuerza que falta. Fuera, un flujo puramente azimutal que no necesita fuerza.

En 1934 Jean Leray demostró que las ecuaciones de Navier–Stokes siempre tienen soluciones «en sentido generalizado». Si la solución sigue suave o puede romperse en una singularidad, no lo supo, y nadie lo supo en noventa años. En 2000 el Instituto Clay incluyó la pregunta entre sus siete problemas del Milenio. El enunciado de Charles Fefferman es honesto: pide la prueba de cualquiera de cuatro afirmaciones. (A) y (B): sin fuerza externa la suavidad se conserva siempre, en el espacio y en el toro. (C) y (D): existen una fuerza suave y datos iniciales suaves para los que no hay solución suave de energía finita.

El trabajo de OpenAI demuestra (C) y (D). Para toda viscosidad \(\nu\gt 0\) construye una fuerza suave, de soporte compacto en el espacio y el tiempo, y un flujo que parte del reposo total, mantiene su energía acotada y alcanza velocidad infinita en \(t=1\). Cómo se hace merece entenderse, porque el método le da la vuelta al problema.

El problema se resuelve al revés. La ecuación de Navier–Stokes puede leerse como una definición de la fuerza. Escribe cualquier velocidad u y presión p, sustitúyelas y declara fuerza externa f a lo que no cuadre. La ecuación se cumple idénticamente. Un flujo que explota es fácil de inventar. La dificultad se traslada a un solo lugar: el residuo debe ser suave. Sus términos individuales divergen, y hay que organizar cancelaciones para que la suma y todas sus derivadas atraviesen con calma el instante de la explosión. En eso se van las 166 páginas.

El vórtice-aguja. Un vórtice en el eje vertical colapsa hacia el origen. Dentro, el fluido entra en espiral hacia el eje y sale a lo largo de él, arriba y abajo. La conservación del momento angular impulsa la aceleración: para una parcela sin torque \(r\,u_\theta\) es constante, así que menor r significa mayor \(u_\theta\). La incompresibilidad mantiene la entrada: el fluido que llega se lo lleva el flujo axial, si no, taponaría el eje.

El núcleo se contrae de forma autosemejante: el perfil conserva su forma y solo cambian las escalas. Sea \(\tau=1-t\) el tiempo que falta para la explosión. El radio del núcleo es \(\sim\tau^{1/2}\), la altura \(\sim\tau^{1/2-h}\) con un h minúsculo < 1/100, las velocidades \(\sim\tau^{-1/2-h}\). El radio se contrae más rápido que la altura, y el núcleo se estira en una aguja fina de volumen \(\sim\tau^{3/2-h}\). De aquí sale el punto más elegante del trabajo: la energía cinética del núcleo \(\sim\tau^{1/2-3h}\) tiende a cero. La velocidad es infinita, la energía desaparece, el volumen cae más rápido de lo que crece el cuadrado de la velocidad.

La viscosidad no se vence: se integra. La viscosidad es lo que separa a Navier–Stokes de Euler, y por ella se pensaba que la ecuación quizá fuera segura. El trabajo calcula dos números de Reynolds. En rotación \(\mathrm{Re}_\theta\sim\tau^{-h}\to\infty\): el fluido da cada vez más vueltas dentro de un tiempo de difusión viscosa, la rotación gana. En la entrada radial \(\mathrm{Re}_r=O(1)\): la viscosidad sigue siendo socio a la par. Los ritmos de todos los procesos, transporte axial y radial y difusión a través del núcleo, crecen igual, como \(\tau^{-1}\), y permanecen en el balance principal hasta el final. A lo largo del eje la difusión es más débil por un factor \(\tau^{2h}\), y la construcción aprovecha ese margen.

Donde se rompe. El núcleo hay que coserlo al fluido tranquilo de fuera. En el anillo entre núcleo y exterior la costura no cuadra, y el residuo crece sin cota cuando \(t\to1\). La fuerza debe ser suave, pero ahí tendría que ser infinita. El vórtice de fondo no se sostiene solo.

El fluido produce la fuerza por sí mismo. En el anillo plantan pequeñas perturbaciones oscilantes, cada una un anillo completo alrededor del eje, localizadas en radio, altura y tiempo y sembradas con una semilla exponencialmente pequeña. ¿Cómo da una oscilación de media cero una fuerza no nula? Al salir, el fluido lleva un exceso de velocidad azimutal; al entrar, un déficit. La velocidad media es cero, pero el flujo de momento angular, el producto de ambas, conserva el signo en los dos semiciclos. Invierte ambos signos y el producto no cambia. Resulta un flujo medio de momento estable, cuya variación espacial actúa sobre el fondo como una fuerza genuina. Los físicos lo llaman tensión de Reynolds y suelen tratarlo como estorbo; aquí es una herramienta, ajustada para cancelar exactamente la parte divergente del residuo.

Los pulsos se encienden y se apagan solos. Crecen sobre la cizalla del fondo por un mecanismo centrífugo: una parcela con exceso de rotación es empujada hacia fuera, y si la velocidad angular cae con el radio con suficiente pendiente, su exceso respecto a las vecinas crece. Ambos efectos se alimentan, dando crecimiento exponencial mientras supere a la amortiguación viscosa. También los mata la cizalla: arrastra distintos radios a distintas velocidades y acorta la longitud de onda radial, y la amortiguación viscosa crece con el cuadrado del número de onda. La longitud de onda inicial se elige para que primero gane la amplificación y luego, inevitablemente, la amortiguación. Cada pulso deja una cola tan pequeña que todas sus derivadas se anulan en el instante de la explosión.

El resto del montaje. Hay dos familias de pulsos: hay que suministrar tanto el flujo de momento angular como el de momento axial, y las familias difieren en la razón entre ambos. Hacia la explosión los pulsos se colocan en rejillas cada vez más finas en espacio y tiempo, como en la integración convexa: una escalera infinita de correcciones, cada una más fina que la anterior. Hay una asimetría deliberada: con simetría exacta arriba-abajo el mecanismo de amplificación se anula en el plano \(z=0\), así que el perfil axial se inclina ligeramente. Fuera del anillo el flujo es puramente azimutal, independiente de la altura, y resuelve exactamente la ecuación radial del calor: su residuo es cero y ahí no hace falta fuerza. Esto permite un recorte espacial suave, y la compacidad traslada el resultado al toro, de ahí (D).

Qué hay de nuevo respecto a los predecesores. La estrategia de fuerza y amplificación a través de escalas es de Córdoba y Martínez-Zoroa: primero para Euler 3D, luego con Zheng para Navier–Stokes con disipación debilitada. Tao construyó en 2016 una explosión para un Navier–Stokes promediado que conserva la cancelación energética. Dos pasos son nuevos aquí: viscosidad verdadera y la ecuación completa para todo \(\nu\gt 0\), y pulsos que no solo se amplifican sino que actúan como fuente de la tensión requerida, encajada exactamente bajo el hueco del fondo. Los ladrillos son todos conocidos: inestabilidad centrífuga, transporte de vectores de onda por cizalla, ondas de cizalla viscosas exactas, la realización de tensiones con oscilaciones de las construcciones de Daneri y Székelyhidi para Euler. Solo el montaje es nuevo.

Quién lo hizo y cómo. Según OpenAI, la prueba la halló un grupo de unos diez mil agentes coordinados sobre un modelo interno, en 88 horas, enviando 2,7 millones de mensajes y gastando unos 130 000 millones de tokens de salida; la formalización y verificación en Lean llevaron otras 17 horas. Ningún humano firma el trabajo: el autor figura como OpenAI. Un día antes, Tristan Buckmaster y Levent Alpöge publicaron tres preprints con el mismo enfoque de fuerza suave para la ecuación del medio poroso, Boussinesq y Euler 3D, también con Lean. Surgió una disputa de prioridad; por reconocimiento mutuo las pruebas difieren, y los propios resultados para Euler difieren: con fuerza en un lado, sin fuerza en el otro.

Qué queda abierto. Partir del reposo suena espectacular pero significa lo contrario de lo que parece: como el fluido estaba quieto, toda la energía vino de la fuerza externa. La explosión aquí no es «orden de la nada» sino un bombeo calculado con enorme precisión. El problema sin fuerza, alternativas (A) y (B), no está resuelto, el Instituto Clay lo lista como abierto y OpenAI dice que no reclamará el premio. Pero el patrón en que herramientas viejas las lleva al final una máquina y las comprueba otra ya se ha probado en un problema que resistió a las personas durante noventa años.

La mirada de la máquina del conocimiento

Esta sección está dirigida al autor del trabajo y a sus colegas. Los trabajos vecinos los encontró la búsqueda por significado en nuestro archivo, no por coincidencia de palabras. No evaluamos: mostramos el campo alrededor.

Qué hace el trabajo

Se construye un flujo cuya velocidad se va al infinito en tiempo finito bajo una fuerza externa suave, desde el reposo y con energía finita. La singularidad vive en una aguja que se encoge más rápido de lo que acelera, y la fuerza que falta la aporta el propio fluido mediante la tensión media de pulsos oscilatorios. Para nosotros es el primer ejemplo construido con rigor de una singularidad local de un medio continuo con energía finita, un objeto con el que seguir trabajando.

Dónde está su fuerza

El mecanismo es explícito: vórtice-aguja, anillo, dos familias de pulsos, exterior de calor. Así que se puede trasladar: calcular su métrica efectiva, preguntar qué le hace la viscosidad que se anula, intentar reproducirlo en el laboratorio.

Hacia dónde puede avanzar

Vale la pena probar

  • Derivar la métrica acústica del flujo construido y comprobar si su curvatura diverge cuando t → 1.
  • Calcular la producción local de entropía en las tres zonas de la construcción y buscar una región con balance negativo.
  • Repetir el mecanismo de pulsos anulares en un modelo de Gross–Pitaevskii con viscosidad cero.
  • Montar un tanque rotatorio con accionamientos contrarrotantes y medir la tensión de Reynolds en el anillo.

Por qué puede importar

Si una singularidad del flujo se traslada a una métrica efectiva, los fluidos ordinarios y cuánticos se convierten en banco de pruebas para preguntas que en la propia gravedad no se pueden probar: cómo se comporta la entropía junto a una singularidad y si el orden puede sostenerse donde la descripción continua se rompe. El trabajo de OpenAI da a ese banco, por primera vez, una singularidad explícita y rigurosamente construida con energía finita.

Lo que pensamos

Este trabajo no ha sido revisado por pares. Lo que sigue es nuestra lectura.

Lo que funciona

Invertir el problema: el flujo se escribe, la fuerza se define como residuo, y toda la dificultad se traslada honestamente a la suavidad del residuo. Los pulsos autolimitados, que se encienden sobre la cizalla y se apagan por viscosidad, con su tensión media ajustada a la divergencia del fondo, forman un mecanismo completo y comprobable, no una cota superior.

Qué lo haría más fuerte

  • Dar una exposición humana de las Secciones 4–9 en menos de cien páginas: la física está clara en seis páginas, pero el camino de ahí a las estimaciones solo está abierto formalmente.
  • Indicar explícitamente qué cubre la formalización en Lean (el Teorema 1.1 completo o estimaciones concretas) y cómo se corresponden texto y código: sin eso, «verificado en Lean» se lee más amplio de lo que quizá sea.
  • Una ilustración numérica del flujo construido en un horizonte τ finito mostraría las escalas y los pulsos de forma visible y daría una comprobación independiente de la elección de h y de las longitudes de onda.
  • Discutir qué parte de la construcción obstruye la ausencia de fuerza: es el único camino de (C) a (A).

Preguntas al autor

  • ¿Qué tan estable es la construcción ante perturbaciones del fondo y de los pulsos: persiste la explosión en un entorno abierto de los datos construidos?
  • ¿Da el mecanismo de autoalimentación de los pulsos alguna pista para el caso sin fuerza, donde la tensión tendría que surgir de los datos iniciales?
  • ¿Qué se formaliza exactamente en Lean: el Teorema 1.1 completo con soportes y estimaciones, o su corolario de no existencia?

Ningún humano firmó el trabajo: en la línea de autor pone OpenAI. Unos diez mil agentes hallaron la prueba en 88 horas, y la comprobó durante 17 horas más no una persona, sino Lean.

f := \partial_t u + (u\cdot\nabla)u - \nu\Delta u + \nabla p
El flujo se escribe, la fuerza se calcula. La ecuación se cumple por construcción; la tarea es hacer f suave mientras u → ∞.
\ell_r\asymp\tau^{1/2},\ \ell_z\asymp\tau^{1/2-h},\ |u|\asymp\tau^{-1/2-h},\ E\asymp\tau^{1/2-3h}
Cuando τ → 0 la velocidad diverge y la energía del núcleo tiende a cero: la aguja se encoge más rápido de lo que acelera.
\langle u'_r u'_\theta\rangle \neq 0
Una oscilación de media cero transporta momento angular en una dirección. Así los pulsos suministran la fuerza que le faltaba al fondo.

Llevarse el trabajo completo

No publicado en arXiv. Aquí están su página, el PDF y la formalización: puede comprobarlo usted mismo, no solo leer nuestro análisis.

Científicos
Wolfgang PauliEmmy NoetherDavid CharbonneauIsaac NewtonJohannes KeplerWilliam Borucki
Conceptos
ecuaciones de Navier-Stokes máquina de movimiento perpetuo flujo velocidad de escape fuerza de marea Principio de Arquímedes Principio de Bernoulli arrastre singularidad resistencia cero superfluidez vorticidad inestabilidad de Kelvin-Helmholtz vórtice superfluido levitación por energía del vacío Tercera ley de la termodinámica flujo obstáculo velocidad