Progresos en el problema de Navier-Stokes

A lo largo de nueve décadas, los matemáticos demostraron que existen soluciones débiles para todo tiempo (Leray), que las posibles singularidades deben ser extremadamente pequeñas (Caffarelli–Kohn–Nirenberg), qué magnitudes deben explotar en una primera singularidad (Beale–Kato–Majda y criterios posteriores) y que la energía y el escalamiento por sí solos no pueden descartar la explosión (Tao). En septiembre de 2026, OpenAI anunció una prueba de explosión en tiempo finito para las ecuaciones 3D con una fuerza externa suave, las alternativas de ruptura de Clay, y Clay dijo que el problema «aparentemente se ha resuelto». Sigue abierto si los flujos sin fuerza externa se mantienen siempre suaves.

Esta página sigue ese recorrido: los hitos y, después, el capítulo de 2026 y su relación con ellos. Para el estado fechado por sí solo, consulta ¿Está resuelto Navier-Stokes?

Fuentes primarias: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciado oficial de Clay.

A lo largo de nueve décadas, los matemáticos demostraron que existen soluciones débiles para todo tiempo (Leray), que las posibles singularidades deben ser extremadamente pequeñas (Caffarelli–Kohn–Nirenberg), qué magnitudes deben explotar en una primera singularidad (Beale–Kato–Majda y criterios posteriores) y que la energía y el escalamiento por sí solos no pueden descartar la explosión (Tao). En septiembre de 2026, OpenAI anunció una prueba de explosión en tiempo finito para las ecuaciones 3D con una fuerza externa suave, las alternativas de ruptura de Clay, y Clay dijo que el problema «aparentemente se ha resuelto». Sigue abierto si los flujos sin fuerza externa se mantienen siempre suaves.

A continuación: los hitos en su forma precisa y, después, la ruptura forzada que se reivindica (Teorema 1.1 y Corolario 10.6 del manuscrito), leída a la luz de ellos. Estado fechado: ¿Está resuelto Navier-Stokes?

Fuentes primarias: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciado oficial de Clay.

Los resultados que transformaron el campo:

• 1934, Leray: demostró que existen soluciones débiles globales en el tiempo para cualquier dato inicial razonable. Algo persiste para siempre. Pero ¿se mantiene suave? Esa es la pregunta que Leray no pudo responder; para flujos sin fuerza externa sigue abierta.
• 1982, Caffarelli, Kohn, Nirenberg: El conjunto de singularidades posibles es extremadamente pequeño: en la geometría parabólica natural de estas ecuaciones, tiene un tamaño unidimensional cero. Extremadamente pequeño. Si se produce una explosión, será más difícil de imaginar.
• 1984, Beale, Kato, Majda: Gran resultado. Una solución suave solo puede descomponerse si la vorticidad explota, lo que le dio a todo el campo un objetivo preciso: controlar la norma de vorticidad relevante con suficiente fuerza, y una solución suave no puede descomponerse en ese momento.
• 2016, Tao: Explosión construida para un Navier-Stokes promediado que comparte la misma energía y propiedades de escala que el objeto real, lo que significa que una prueba de la ecuación real tiene que utilizar una estructura más fina que las estimaciones de energía y escalar solo. Una barrera. No es una solución.
• 2019, Buckmaster, Vicol: sin ninguna fuerza, las soluciones débiles distribucionales con energía finita pueden no ser únicas. Estas soluciones quedan fuera de la clase de Leray–Hopf (Annals 2019).
• 2022, Albritton, Brué, Colombo: las soluciones débiles de Leray-Hopf no son únicas cuando se permite una fuerza externa. La clase definida por la desigualdad de energía no es tan dócil como se esperaba, lo que agudizó la pregunta de qué soluciones débiles tienen sentido físico.

La siguiente sección trata de cómo se relacionan estos resultados con el anuncio de 2026.

• 1934, Leray: Existencia global de soluciones débiles en $L^2$ para datos libres de divergencia $u_0 \in L^2(\mathbb{R}^3)$, que satisfacen la desigualdad energética (Acta Mathematica).
• 1982, Caffarelli–Kohn–Nirenberg (CKN): Regularidad parcial; $\mathcal{P}^1(\mathrm{sing}\, u)=0$, lo que significa que la medida parabólica unidimensional de Hausdorff del conjunto singular desaparece. Sigue siendo el resultado general más sólido que tenemos (Comm Pure Appl Math).
• 1984, Beale–Kato–Majda (BKM): El criterio de continuación que reformó el campo: una solución suave en $[0,T)$ se extiende más allá de $T$ si y sólo si $\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt \infty$, reduciendo la regularidad al control de la vorticidad. Originalmente para Euler; adaptado a Navier-Stokes (Comm Math Phys).
• 2016, Tao: blow-up en tiempo finito para una ecuación de Navier-Stokes promediada que obedece a la misma energía y propiedades de escala que el sistema verdadero, lo que significa que cualquier prueba de regularidad debe explotar una estructura más fina (J Amer Math Soc).
• 2019, Buckmaster–Vicol: no unicidad de soluciones débiles distribucionales con energía cinética finita para las ecuaciones sin fuerza, mediante integración convexa; las soluciones no satisfacen la desigualdad de energía y, por tanto, quedan fuera de la clase de Leray–Hopf (Annals 2019).
• 2022, Albritton–Brué–Colombo: No unicidad de las soluciones de Leray-Hopf para Navier-Stokes 3D forzado, construidas a través de soluciones autosemejantes inestables (Ann of Math).

La siguiente sección lee la afirmación de 2026 a la luz de estos resultados.

El 8 de septiembre de 2026, OpenAI anunció una prueba de que, para toda viscosidad positiva, una solución suave que parte del reposo y está impulsada por una fuerza externa suave con soporte compacto desarrolla una velocidad no acotada en un tiempo finito, mientras su energía cinética permanece acotada. Afirma que esto establece la alternativa C de Clay y su análogo periódico D. El 11 de septiembre, Clay dijo que el problema «aparentemente se ha resuelto», con una evaluación deliberadamente sin prisas. Detalles y fuentes.

Cómo se relaciona con trabajos anteriores. Estos puntos se refieren a la coherencia y al contexto; ninguno de ellos verifica la prueba.

• La pregunta de Leray. Leray (1934) introdujo las soluciones débiles («turbulentas») dejando abierto si las soluciones suaves pueden perder regularidad, y propuso un escenario de explosión autosimilar. Ese escenario concreto se descartó más tarde bajo condiciones de integrabilidad naturales (Nečas–Růžička–Šverák, 1996; Tsai, 1998). La afirmación de 2026 responde a la pregunta de la ruptura en un contexto con fuerza; para flujos sin fuerza sigue abierta.
• Regularidad parcial. Caffarelli–Kohn–Nirenberg limita lo grande que puede ser un conjunto singular; nunca excluyó las singularidades. Por tanto, una construcción de explosión no entra en conflicto con ese resultado.
• Criterios de continuación. Los criterios de tipo Beale–Kato–Majda y de Prodi–Serrin–Ladyzhenskaya indican qué magnitudes deben volverse no acotadas en un primer tiempo singular. El enunciado de Clay señala que, para Navier–Stokes, la velocidad se vuelve no acotada cerca de un tiempo de explosión finito, y el teorema anunciado está enunciado de esa forma: la velocidad máxima no está acotada al acercarse el tiempo singular, mientras que la energía permanece acotada.
• La barrera de Tao. La ecuación promediada de Tao mostró que una prueba de regularidad debe usar una estructura de la no linealidad verdadera más fina que la energía y el escalamiento. La construcción anunciada trabaja con las ecuaciones verdaderas, pero con fuerza, así que no nos dice si la dinámica sin fuerza tiene una estructura que impida la explosión.
• No unicidad. Buckmaster–Vicol (sin fuerza, fuera de la clase de Leray–Hopf) y Albritton–Brué–Colombo (Leray–Hopf, con fuerza) se refieren a la unicidad de las soluciones débiles. La afirmación de 2026 se refiere a la pérdida de suavidad de una solución que empieza siendo suave: una pregunta distinta.
• Euler. OpenAI también anunció explosión de Euler 3D sin fuerza externa con datos suaves. Ese resultado inviscido no establece explosión para Navier–Stokes viscoso sin fuerza externa.

Lo que no ha cambiado: la pregunta de la regularidad global sin fuerza (A y B de Clay), la unicidad de las soluciones de Leray–Hopf sin fuerza y los programas de regularidad parcial y de criterios de continuación siguen siendo líneas de investigación abiertas. Consulta Subproblemas y Enfoques.

La afirmación. Para todo $\nu>0$ el manuscrito construye $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ y $(u,p)$ suaves en $\mathbb{R}^3\times[0,1)$ con $u(\cdot,0)=0$, $\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$ y $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ (Teorema 1.1, alternativa C); el Corolario 10.6 da el caso periódico (alternativa D). Clay (11 de septiembre): «aparentemente se ha resuelto». Estado y fuentes.

• Leray. El ansatz autosimilar de Leray $u(x,t)=\lambda(t)U(\lambda(t)x)$ con $\lambda(t)=(2a(T-t))^{-1/2}$ fue excluido para $U\in L^3(\mathbb{R}^3)$ por Nečas–Růžička–Šverák (1996) y bajo cotas de energía locales por Tsai (1998). Estos resultados restringen un perfil de explosión; no excluyen las singularidades en general.
• CKN. $\mathcal{P}^1(S)=0$ restringe el tamaño del conjunto singular de las soluciones débiles adecuadas; es compatible con puntos singulares aislados, de modo que no entra en conflicto con una construcción de explosión.
• Criterios. Beale–Kato–Majda ($\int_0^{T^*}\|\omega\|_{L^\infty}\,dt=\infty$), Prodi–Serrin–Ladyzhenskaya ($u\notin L^p_tL^q_x$, $2/p+3/q\le1$, $q>3$) y Escauriaza–Seregin–Šverák describen el comportamiento necesario en un primer tiempo singular. El enunciado de Fefferman recoge que, para $\nu>0$, la velocidad se vuelve no acotada cerca de un tiempo de explosión finito; el Teorema 1.1 se enuncia como $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ con norma $L^2$ acotada.
• Tao. El modelo promediado muestra que la identidad de energía y el escalamiento no impiden por sí solos la explosión. La construcción forzada usa la no linealidad verdadera; la cuestión de si la dinámica verdadera sin fuerza admite un mecanismo de regularidad más allá de la energía y el escalamiento no se ve afectada.
• No unicidad. Buckmaster–Vicol (2019): sin fuerza, distribucional, fuera de Leray–Hopf. Albritton–Brué–Colombo (2022): Leray–Hopf, con fuerza. La afirmación de 2026 es un enunciado de regularidad (ruptura) para una solución clásica, no un enunciado de unicidad.
• Euler. OpenAI también anunció explosión de Euler 3D sin fuerza externa con datos suaves. Ese resultado inviscido no establece explosión para Navier–Stokes viscoso sin fuerza externa.

Entre los problemas abiertos que no cambian están A/B ($f\equiv0$), la unicidad de Leray–Hopf para $f\equiv0$ y los criterios de continuación óptimos. Consulta Subproblemas y Enfoques.

Esta página es un mapa, no el territorio. Para más detalles:

Para un tratamiento detallado de direcciones de investigación específicas:

• Subproblemas: casos resueltos y parcialmente resueltos, incluida la regularidad global 2D, ejesimétrico sin remolino, resultados de espacio crítico ($L^3$, $\dot{H}^{1/2}$, $BMO^{-1}$), y criterios de regularidad condicional más allá de BKM.
• Enfoques: las principales estrategias de prueba bajo investigación activa, incluidos métodos de energía y enstrofia, descomposición de perfiles, teoría de soluciones suaves, Navier-Stokes estocástico, programas de integración convexa y límites asistidos por computación.

Fuentes revisadas el 2026-09-29 (JST). Esta página resume la literatura publicada y las declaraciones públicas; no es una auditoría independiente de la prueba. El repositorio etiqueta el estado de su revisión como «self-assessed» (autoevaluado); eso ni acredita una verificación independiente ni demuestra que nadie más haya revisado el trabajo. La publicación en Lean y el manuscrito aportan material que examinar; no sustituyen la comprobación de que los enunciados formales coinciden con los teoremas que se pretenden demostrar.

Fuentes de 2026: Clay (2026-09-11) · OpenAI (2026-09-08) · Manuscrito (PDF) · Lean / GitHub.

Fuentes revisadas el 2026-09-29 (JST). Esta página resume la literatura publicada y las declaraciones públicas; no es una auditoría independiente de la prueba. El repositorio etiqueta el estado de su revisión como «self-assessed» (autoevaluado); eso ni acredita una verificación independiente ni demuestra que nadie más haya revisado el trabajo. La publicación en Lean y el manuscrito aportan material que examinar; no sustituyen la comprobación de que los enunciados formales coinciden con los teoremas que se pretenden demostrar.

Fuentes de 2026: Clay (2026-09-11) · OpenAI (2026-09-08) · Manuscrito (PDF) · Lean / GitHub.