
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.
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
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.
Trabajos cercanos en nuestro archivo
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
Preguntas al autor
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.
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.