Explosión en tiempo finito para las ecuaciones de Navier–Stokes tridimensionales con fuerza suave de soporte compacto: anatomía de la construcción ✛ ✎ ✦ OpenAI teórico hecho por agentes de IA de OpenAI (≈10 000 agentes, 88 h) · verificado en Lean
Contexto
El problema de regularidad pregunta si una solución de las ecuaciones de Navier–Stokes incompresibles tridimensionales a partir de datos suaves permanece suave. Leray (1934) construyó soluciones débiles globales de energía finita; Caffarelli, Kohn y Nirenberg (1982) mostraron que el conjunto singular de una solución débil adecuada tiene medida de Hausdorff parabólica unidimensional cero, lo que permite singularidades aisladas; Escauriaza, Seregin y Šverák (2003) dieron regularidad bajo una norma \(L^\infty_t L^3_x\) invariante de escala acotada. Tao (2016) construyó explosión para ecuaciones promediadas que conservan la cancelación energética; Buckmaster y Vicol (2019) obtuvieron no unicidad de soluciones débiles por integración convexa; Albritton, Brué y Colombo (2022) construyeron soluciones de Leray–Hopf distintas con datos nulos y una misma fuerza, singular en el instante inicial. Los predecesores directos son Córdoba y Martínez-Zoroa: explosión para Euler 3D forzado (2023), para el medio poroso con fuente suave (2024) y, con Zheng, para Navier–Stokes hipodisipativo. En sus construcciones la deformación de gran escala amplifica la vorticidad de pequeña escala con autointeracciones suprimidas. Un día antes del trabajo de OpenAI, Buckmaster y Alpöge publicaron explosión con fuerza suave para el medio poroso, Boussinesq 2D y Euler 3D con formalizaciones en Lean; Tao juzgó ese mismo día que su enfoque «probablemente se extienda a Navier–Stokes». El enunciado de Fefferman acepta explícitamente cualquiera de (A)–(D) como solución; la condición (5) sobre la fuerza se cumple para toda \(f\in C_c^\infty\).
Métodos
El método es inverso: el residuo \(R(u,p)=\partial_t u+(u\cdot\nabla)u-\Delta u+\nabla p\) (\( u\) = 1 tras reescalar) se declara fuerza, y la tarea pasa a construir u, p con velocidad no acotada y residuo suave hasta \(t=1\) junto con todas sus derivadas espacio-temporales. La construcción va por capas. (1) Fondo axisimétrico autosemejante \((u_B,p_B)\): en coordenadas cilíndricas un núcleo con entrada radial, aceleración azimutal y salida axial a ambos lados de una capa divisoria cerca de \(z=0\); escalas \(\ell_r\asymp\tau^{1/2},\ \ell_z\asymp\tau^{1/2-h},\ 0\lt h\lt 1/100\), velocidades \(|u_\theta|,\,|u_z|\asymp\tau^{-1/2-h},\ |u_r|=O(\tau^{-1/2})\); la presión decrece hacia el eje y aporta la fuerza centrípeta; la viscosidad transporta momento angular hacia fuera, y el crecimiento de la velocidad es el balance entre entrada y pérdida viscosa. Las ecuaciones de perfil imponen el balance principal en el núcleo; el empalme con un exterior suave deja en el anillo un residuo igual a menos la divergencia de una tensión anular salvo un término que se anula a todo orden en el punto singular (Proposición 5.5). El perfil axial es deliberadamente algo asimétrico, con un pequeño sesgo hacia arriba y \(u_z(r,0,t)\neq0\): con simetría exacta se anularían en \(z=0\) tanto el transporte axial de momento angular como la cizalla radial de la velocidad axial, y los pulsos no podrían amplificarse allí. (2) Pulsos oscilatorios: secuencias de perturbaciones espacialmente oscilantes localizadas en r, z, t y cerradas en anillos completos, dos familias con distintas razones entre el flujo radial de momento angular y el flujo radial de momento axial; sus productos cuadráticos promediados realizan la tensión principal (Proposición 7.5). La semilla es una fuerza externa exponencialmente pequeña; el crecimiento es sobre la cizalla del fondo por el mecanismo centrífugo (criterios de Leibovich–Stewartson, Billant–Gallaire) con contribución de la cizalla axial; las orientaciones se eligen para que la cizalla acorte la longitud de onda radial, la amortiguación \(\propto k^2\) supere a la amplificación, y las colas con todas sus derivadas se anulen cuando \(t\to1\). Se apoya en las soluciones exactas de Craik–Criminale y las ondas de cizalla viscosas de Singh–Sridhar, y en la técnica de Daneri–Székelyhidi de realizar tensiones con oscilaciones. (3) Correcciones sucesivas mejoran el decaimiento del residuo (Proposición 9.6); un toro auxiliar y separación de soportes oscilatorios (Sección 6); correcciones medias de soporte compacto (Sección 8). (4) El flujo exterior es puramente azimutal, independiente de z, y resuelve exactamente la ecuación radial del calor («exterior de calor»): su residuo se anula idénticamente; para todo r > 0 fijo los campos y todas sus derivadas tienen límites suaves cuando \(t\uparrow1\), lo que permite un recorte espacial suave (Sección 10); la fuerza del recorte sigue siendo suave. Las estimaciones controlan todas las derivadas cartesianas del residuo. La formalización en Lean 4 con Mathlib (repositorio openai/NavierStokesAndEuler, Apache-2.0) cubre la no existencia de solución suave global con energía acotada en R³ y en el toro.
Resultados
Para todo \(\nu\gt 0\): una solución suave de soporte compacto y energía finita desde el reposo con \(\|u(t)\|_{L^\infty}\to\infty\) cuando \(t\uparrow1\), bajo una fuerza \(f\in C_c^\infty(\mathbb R^3\times(0,\infty))\). Escalas clave: volumen del núcleo \(\asymp\tau^{3/2-h}\), energía cinética del núcleo \(\asymp\tau^{1/2-3h}\to0\) con velocidad no acotada; números de Reynolds \(\mathrm{Re}_\theta\asymp\tau^{-h}\to\infty\) y \(\mathrm{Re}_r=O(1)\); los ritmos \(|u_r|/\ell_r,\ |u_z|/\ell_z,\ \nu/\ell_r^2\) son todos \(\asymp\tau^{-1}\), la difusión axial más débil por \(\tau^{2h}\). Corolario 10.6: traslado a T³. Se reclaman las alternativas (C) y (D) de Fefferman. OpenAI informa además de explosión para las ecuaciones de Euler sin fuerza (trabajo aparte, ~100 agentes, ~50 horas). Según OpenAI: ~10 000 agentes coordinados, 88 horas hasta la solución, 17 horas de formalización y verificación en Lean, 2,7 millones de mensajes, ~130 000 millones de tokens de salida en este problema.
Implicaciones
Primer ejemplo de explosión en tiempo finito para las ecuaciones de Navier–Stokes tridimensionales completas con viscosidad verdadera y fuerza suave, desde el reposo y con energía finita. El mecanismo no es una «superación» de la viscosidad sino su inclusión en un balance autosemejante con número de Reynolds rotacional divergente. Se muestra constructivamente que el propio término no lineal puede suministrar la tensión que falta mediante los flujos cuadráticos medios de oscilaciones, es decir, la tensión de Reynolds actúa como herramienta controlable y no como estorbo. Para el problema (A)/(B) el resultado no da respuesta directa: la fuerza es esencial y la energía se inyecta desde fuera. Pero mueve la frontera: la pregunta sin fuerza pasa a ser si una tensión análoga puede surgir solo de los datos iniciales, sin bombeo. Aparte, es significativo el hecho metodológico: una prueba de 166 páginas ensamblada con herramientas conocidas por un sistema de agentes y verificada formalmente; es el primer resultado de este peso publicado sin firma humana.
Desarrollo futuro
Direcciones naturales: intentar trasladar la construcción al caso sin fuerza, sustituyendo el bombeo por energía almacenada en los datos iniciales; estudiar la estabilidad de la construcción ante perturbaciones y el tamaño de h; una ilustración numérica del flujo construido; una exposición humana independiente de las Secciones 4–9; una comparación con el enfoque de Buckmaster–Alpöge para ver qué partes coinciden en lo esencial. Para ecuaciones hipodisipativas y modelo, el resultado probablemente simplifique construcciones existentes. Queda abierto si tal bombeo es físicamente realizable: la fuerza es matemática, compacta y suave, pero no se discute su contraparte física.
Impacto
Dinámica de fluidos matemática (regularidad, soluciones débiles, integración convexa), teoría de inestabilidades de vórtices, verificación formal de matemáticas, metodología de la investigación con IA. Indirectamente, dinámica de fluidos computacional: la construcción da un caso de prueba exacto de concentración con velocidad divergente y energía que se anula.
Próximos pasos
Leer la Sección 2 (imagen física) y la Sección 3 (esquema) del original; contrastar las condiciones (4)–(7) con el enunciado de Fefferman; mirar el repositorio Lean y su README; leer la entrada de Tao del 7 de septiembre sobre los trabajos de Buckmaster–Alpöge y los preprints de Córdoba–Martínez-Zoroa (arXiv:2309.08495, 2410.22920).
Problemas abiertos clave
El problema del Milenio sobre existencia y suavidad de Navier–Stokes: alternativas (C) y (D) resueltas, (A) y (B) abiertas. Relacionados: regularidad de Euler (OpenAI informa de explosión sin fuerza; Buckmaster–Alpöge de explosión con fuerza suave), el criterio de Beale–Kato–Majda, la conjeturada explosión de Euler en tiempo finito desde datos suaves (evidencia numérica de Luo–Hou, la prueba de Chen–Hou con frontera).
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 hace infinita 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. La viscosidad no se suprime, se integra en un balance autosemejante. Para nosotros no es solo la respuesta a las alternativas (C) y (D) del enunciado de Fefferman, sino el primer ejemplo construido con rigor de una singularidad local de un medio continuo con energía finita: un objeto con el que se puede seguir trabajando.
Dónde está su fuerza
El mecanismo es completamente explícito: vórtice-aguja, anillo, dos familias de pulsos, exterior de calor. Eso significa que no solo se puede demostrar sino trasladar: calcular su métrica efectiva, preguntar qué le hace la viscosidad que se anula, intentar reproducirlo en el laboratorio. Los trabajos con construcción explícita son raros, y el valor está precisamente ahí.
Hacia dónde puede avanzar
- La conexión con la relatividad general. Desde 1981 se sabe que las perturbaciones en un fluido en movimiento se propagan sobre una métrica efectiva, y los horizontes y la radiación de Hawking se reproducen en agua y en nubes atómicas. El siguiente paso natural: calcular la métrica acústica del flujo construido. Una aguja con velocidad divergente y energía que se anula es candidata a punto donde la métrica efectiva pierde suavidad, es decir, a análogo de laboratorio de una singularidad del espacio-tiempo con energía finita. Tenemos presente el límite: la gravedad análoga traslada la cinemática de los campos sobre un fondo curvo, no las ecuaciones de Einstein; pero justo por eso la pregunta «cuál es la métrica de la aguja» es honesta y resoluble.se apoya en: Agujeros negros en un barreño de agua · Un análogo cuántico de agujero negro en una nube atómica · Agujeros negros de luz y vórtices · Radiación de Hawking en una mesa arXiv:2604.24861 arXiv:2602.20508 arXiv:2603.01664 arXiv:2602.04593
- La singularidad como centro de antientropía. Una hipótesis que adoptamos como de trabajo: una singularidad local es una ventana donde la segunda ley deja de ser absoluta y el orden puede nacer del caos. El flujo construido admite una prueba directa: calcular el balance de entropía por separado en el núcleo, en el anillo y fuera. La energía la inyecta la fuerza, así que el balance global es positivo; la cuestión es si hay una región donde la producción local de entropía es negativa y la sostienen los pulsos en lugar de difuminarla la disipación. Si esa región existe y su tamaño sigue las escalas del trabajo, «centro de antientropía» deja de ser una frase y pasa a ser una magnitud medible.se apoya en: El crepúsculo del tiempo: por qué la flecha desaparece y el tiempo permanece · Reloj de arena entrópico: cómo los átomos fríos marcan el tiempo arXiv:2508.14312 arXiv:2509.07745 arXiv:2506.01351
- Superfluidos y condensados de Bose–Einstein. En un fluido clásico la viscosidad se come los pulsos, y eso es parte de la construcción; en el helio superfluido y en un condensado la viscosidad se anula, los vórtices se cuantizan, se autoensamblan en redes, y la turbulencia cuántica, orden en el caos, se observa en el laboratorio. De ahí la idea de trabajo: donde no hay disipación, una singularidad puede no dispersarse sino sostenerse. El programa: llevar el mecanismo de pulsos anulares a la ecuación de Gross–Pitaevskii y preguntar dónde sobrevive la tensión media necesaria cuando no hay amortiguación viscosa pero sí presión cuántica.se apoya en: La fricción desaparece ante tus ojos · Vórtices juegan a la pídola en luz líquida · Anillos de vórtice sin malla arXiv:2601.00190 arXiv:2512.07935 arXiv:2601.06942 arXiv:2512.21416
- Un resonador macroscópico. Dos ruedas contrarrotantes en contrafase son un flujo rotatorio forzado con cizalla, es decir, exactamente el fondo sobre el que crecen los pulsos del trabajo por el mecanismo centrífugo. Lo que se puede medir directamente: la tensión de Reynolds en el anillo entre núcleo y exterior y su dependencia de la velocidad de rotación. La coincidencia de signo y crecimiento con la construcción sería el primer punto de laboratorio en este mapa; la «bomba» análoga en una taza con remolino muestra que tales medidas se hacen.se apoya en: Cómo un remolino en una taza se convierte en una bomba de agujero negro arXiv:2511.05351 arXiv:2601.01258 arXiv:2501.00037
- Dos caminos a una misma puerta. Un resonador en la métrica y un resonador en un fluido cuántico se describen con una misma matemática: ambos tienen un fondo con cizalla, un anillo y oscilaciones que aportan tensión. Vale la pena construir una tabla de correspondencias: qué en la aguja responde al horizonte, qué al vórtice cuantizado, qué al bombeo. Así se ve cuál de las dos puertas está más cerca del experimento y cuál de la teoría.se apoya en: Agujeros negros de luz y vórtices · Un análogo cuántico de agujero negro en una nube atómica arXiv:2603.01664 arXiv:2602.20508
Vale la pena probar
- Derivar la métrica acústica del flujo construido y comprobar si su curvatura diverge cuando t → 1 y cómo cuadra con la energía del núcleo que se anula.
- Calcular la producción local de entropía en las tres zonas de la construcción, núcleo, anillo, exterior, y buscar una región con balance negativo sostenida por los pulsos.
- Repetir el mecanismo de pulsos anulares en un modelo de Gross–Pitaevskii con viscosidad cero: ¿sobrevive la explosión y qué sustituye a la amortiguación viscosa de los pulsos?
- Montar un tanque rotatorio con accionamientos contrarrotantes y medir la tensión de Reynolds en el anillo en función de la velocidad: la forma más barata de ver el mecanismo con las propias manos.
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
- Agujeros negros en un barreño de aguacercanía 0.00
- Un análogo cuántico de agujero negro en una nube atómicacercanía 0.00
- Agujeros negros de luz y vórticescercanía 0.00
- Radiación de Hawking en una mesacercanía 0.00
- Cómo un remolino en una taza se convierte en una bomba de agujero negrocercanía 0.00
- La fricción desaparece ante tus ojoscercanía 0.00
- Vórtices juegan a la pídola en luz líquidacercanía 0.00
- Anillos de vórtice sin mallacercanía 0.00
- El crepúsculo del tiempo: por qué la flecha desaparece y el tiempo permanececercanía 0.00
- Reloj de arena entrópico: cómo los átomos fríos marcan el tiempocercanía 0.00
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?
El residuo del fondo en el anillo de empalme diverge y no puede arreglarse con una fuerza externa. Lo arregló el fluido: oscilaciones con velocidad media cero transportan momento en una dirección, y ese transporte se encaja exactamente bajo el hueco. Lo que la teoría de la turbulencia llama estorbo se convirtió en herramienta.
Cifras clave
- viscosidad ν: cualquiera, \(\nu\gt 0\)
- instante de explosión: \(t=1\), partida desde el reposo u(·,0) = 0
- radio del núcleo: \(\sim\tau^{1/2}\), \(\tau=1-t\)
- altura del núcleo: \(\sim\tau^{1/2-h}\), \(h\lt 1/100\)
- velocidad en el núcleo: \(\sim\tau^{-1/2-h}\) → ∞
- energía del núcleo: \(\sim\tau^{1/2-3h}\) → 0
- número de Reynolds rotacional: \(\sim\tau^{-h}\to\infty\)
- tamaño del trabajo: 166 páginas + formalización en Lean
- agentes en el grupo: ≈ 10 000, 88 horas
- verificación en Lean: 17 horas; 2,7 M de mensajes, ≈130 000 M de tokens
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.