¿Está resuelto Navier-Stokes? Actualización de septiembre de 2026

Estado de las fuentes revisado el 2026-09-12 (JST). El 8 de septiembre, OpenAI anunció una explosión en tiempo finito para Navier–Stokes incompresible 3D con fuerza externa suave, afirmando resolver las alternativas C y D de Clay, con un manuscrito y una formalización en Lean. El 11 de septiembre, Clay declaró que el problema «aparentemente se ha resuelto»; la evaluación y la atribución del mérito se harán deliberadamente sin prisas. Esto no es la concesión del premio ni una verificación de la prueba por nuestra parte.

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

La regularidad global de Navier–Stokes 3D sin fuerza externa sigue abierta: la construcción forzada anunciada no la resuelve. En la discusión técnica siguiente, las preguntas pendientes de regularidad y unicidad se refieren al sistema sin fuerza externa, salvo indicación expresa de otro marco.

Véase también: existencia y suavidad de Navier-Stokes

Una fuerza externa es una entrada en la ecuación de velocidad, no una fuerza que se vuelve infinita. La construcción anunciada parte del reposo y usa una fuerza suave. La energía cinética total acotada no impide que la velocidad se concentre en escalas cada vez menores. Es un modelo matemático, no una predicción de velocidad infinita en agua real. La declaración de Clay no concede el premio.

Estado de las fuentes revisado el 2026-09-12 (JST). El 8 de septiembre, OpenAI anunció una explosión en tiempo finito para Navier–Stokes incompresible 3D con fuerza externa suave, afirmando resolver las alternativas C y D de Clay, con un manuscrito y una formalización en Lean. El 11 de septiembre, Clay declaró que el problema «aparentemente se ha resuelto»; la evaluación y la atribución del mérito se harán deliberadamente sin prisas. Esto no es la concesión del premio ni una verificación de la prueba por nuestra parte.

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

La regularidad global de Navier–Stokes 3D sin fuerza externa sigue abierta: la construcción forzada anunciada no la resuelve. En la discusión técnica siguiente, las preguntas pendientes de regularidad y unicidad se refieren al sistema sin fuerza externa, salvo indicación expresa de otro marco.

El manuscrito afirma, para toda viscosidad $\nu>0$, la existencia de una fuerza suave de soporte compacto $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ y velocidad inicial $u_0=0$, con solución suave para $0\leq t<1$, velocidad uniformemente acotada en $L^2$, pero $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$. La fuerza sigue siendo suave en el instante singular. El teorema 1.1 afirma ruptura en el espacio completo y el corolario 10.6, ruptura periódica. Son enunciados del manuscrito, no una verificación nuestra. OpenAI — Navier–Stokes (PDF), 1.1 / 10.6.

Precisamente: dados datos iniciales suaves y libres de divergencia $u_0 \in C^\infty(\mathbb{R}^3)$ con un decaimiento adecuado (o en $\mathbb{T}^3$), se desconoce si existe una solución suave única $(u, p)$ para todo $t \geq 0$ con $u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$. No se ha construido ningún contraejemplo.

No está todo a oscuras. Durante más de un siglo, los matemáticos han ido arrancándole trozos al problema y han construido una imagen sorprendentemente detallada de lo que se sabe y de lo que no:

• Existen soluciones débiles (Leray, 1934). Si debilitas la noción de solución, existen soluciones globales. Pero sigue abierto si permanecen suaves y únicas.
• 2D está resuelto (Ladyzhenskaya, 1969). ¿Dos dimensiones? Hecho. Las soluciones suaves existen para todo tiempo, y la dificultad es total y obstinadamente específica del 3D.
• Las singularidades son raras (Caffarelli-Kohn-Nirenberg, 1982). Incluso si existen singularidades en 3D, quedan confinadas a un conjunto con medida de Hausdorff parabólica unidimensional nula, un conjunto extremadamente pequeño en la geometría natural de la ecuación.
• Existen soluciones de corto tiempo. ¿Suaves? Sí, al menos brevemente. La pregunta es: ¿siempre pueden continuarse para todo tiempo?

Así que la brecha es estrecha pero profunda. Sabemos que las soluciones empiezan suaves y sabemos que las soluciones débiles persisten globalmente, pero nadie puede demostrar que la suavidad sobreviva para siempre en tres dimensiones.

Resultados clave establecidos:

• Leray (1934): Existencia global de soluciones débiles (distributivas) que satisfacen la desigualdad de energía $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$. ¿Unicidad? Abierto.
• Ladyzhenskaya (1969): Para el problema incompresible 2D, los datos suaves y libres de divergencia producen una solución suave global única.
• Caffarelli-Kohn-Nirenberg (1982): Regularidad parcial para soluciones débiles adecuadas: el conjunto singular tiene medida de Hausdorff parabólica unidimensional nula, $\mathcal{P}^1(S) = 0$.
• Buen planteamiento local: Para $u_0 \in H^s(\mathbb{R}^3)$ con $s > 3/2$, existe una solución suave única en $[0, T^*)$; esto también vale en el espacio crítico de escala $\dot{H}^{1/2}(\mathbb{R}^3)$ (Fujita-Kato, 1964), extendiéndose a espacios críticos estrictamente mayores, incluido $BMO^{-1}$ (Koch-Tataru, 2001). ¿Es $T^* = \infty$?

Aquí está la brecha: sabemos que existen soluciones débiles globalmente y sabemos que existen soluciones fuertes localmente con plena unicidad. Lo que sigue completamente abierto es si la solución fuerte puede siempre prolongarse para todo tiempo.

La estimación de energía mostrada aquí corresponde a fuerza nula. Con fuerza externa, el lado derecho también incluye el término de trabajo $2\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

Esta es una revisión de declaraciones públicas, no una auditoría independiente de la prueba. El repositorio califica su revisión como «self-assessed» (autoevaluada); eso no demuestra que nadie más la haya comprobado. El manuscrito y Lean ofrecen material para examinar, pero no sustituyen la comprobación de la correspondencia entre teoremas. La evaluación y el premio de Clay son procesos distintos del resultado anunciado.

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.

Esta es una revisión de declaraciones públicas, no una auditoría independiente de la prueba. El repositorio califica su revisión como «self-assessed» (autoevaluada); eso no demuestra que nadie más la haya comprobado. El manuscrito y Lean ofrecen material para examinar, pero no sustituyen la comprobación de la correspondencia entre teoremas. La evaluación y el premio de Clay son procesos distintos del resultado anunciado.

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.

Clay pide demostrar una de cuatro alternativas, no las cuatro: (A) existencia global suave sin fuerza externa en R³; (B) existencia global suave sin fuerza externa en el toro periódico T³; (C) ruptura en R³, permitiendo fuerzas suaves admisibles; (D) ruptura periódica, permitiendo fuerzas suaves admisibles. A/B abarcan todos los datos iniciales admisibles; C/D requieren un contraejemplo admisible. La ruptura forzada no refuta A/B.

Las cláusulas siguientes resumen A y C en el espacio completo, no todas las hipótesis oficiales. En A, $f=0$. En C, todas las derivadas espaciales y temporales de la fuerza deben satisfacer el decaimiento exigido por Clay; la solución global excluida pertenece a la clase suave de energía acotada del enunciado oficial. Las alternativas periódicas son B y D.

Clay pide demostrar una de cuatro alternativas, no las cuatro: (A) existencia global suave sin fuerza externa en R³; (B) existencia global suave sin fuerza externa en el toro periódico T³; (C) ruptura en R³, permitiendo fuerzas suaves admisibles; (D) ruptura periódica, permitiendo fuerzas suaves admisibles. A/B abarcan todos los datos iniciales admisibles; C/D requieren un contraejemplo admisible. La ruptura forzada no refuta A/B.

1. (A) Existencia y suavidad: Por cada $u_0 \in C^\infty(\mathbb{R}^3)$ con $\nabla \cdot u_0 = 0$ y $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ para todo $\alpha, K$, demuestra la existencia de $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ que satisfacen las ecuaciones, con $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ para todo $t \geq 0$.
2. (C) Ruptura: Encontrar $u_0 \in C^\infty(\mathbb{R}^3)$ (sin divergencia y con el decaimiento prescrito) y $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ que satisfaga la condición (5) de decaimiento de las derivadas de la fuerza, de modo que ninguna $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ con los datos iniciales especificados y energía cinética uniformemente acotada satisfaga el sistema.

• 1822: Navier deriva las ecuaciones a partir de consideraciones moleculares.
• 1845: Stokes les da su forma moderna.
• 1934: Leray demuestra que existen soluciones débiles a nivel mundial. Enorme.
• 1969: Ladyzhenskaya resuelve 2D.
• 1982: Caffarelli, Kohn y Nirenberg prueban la regularidad parcial, estableciendo que cualquier singularidad debe ser extraordinariamente rara, confinada a un conjunto de medida unidimensional cero.
• 1984: Beale, Kato y Majda demuestran para las ecuaciones tridimensionales de Euler que La ruptura de una solución suave fuerza la divergencia de la integral de tiempo de vorticidad. Los criterios de continuación relacionados también se aplican a Navier-Stokes.
• 2000: Clay lo denomina Problema del Milenio. Un millón de dólares.
• 2014: Tao construye un blow-up para una versión promediada de las ecuaciones (preimpresión; publicada en 2016), lo que demuestra que no hay ninguna obstrucción puramente estructural para la formación de singularidades.
• Septiembre de 2026: OpenAI anuncia explosión 3D con fuerza suave (Clay C/D); Clay reconoce una aparente resolución. Evaluación y premio son procesos distintos.

• 1822: Navier. Estrés molecular.
• 1845: Stokes. Continuo.
• 1934: Leray. El resultado fundacional: soluciones débiles globales en $L^2$, el proyector de Leray y la desigualdad de energía que daría forma a todo un siglo de análisis matemático de fluidos y definiría cada enfoque posterior.
• 1951: Hopf extiende a dominios acotados.
• 1962: Serrin establece regularidad condicional: suavidad si $u \in L^p_t L^q_x$ con $2/p + 3/q \leq 1$ y $q > 3$; el caso extremo $L^\infty_t L^3_x$ fue resuelto por Escauriaza-Seregin-Šverák en 2003.
• 1969: Ladyzhenskaya. 2D resuelto.
• 1982: CKN. $\mathcal{P}^1(S) = 0$.
• 1984: Beale-Kato-Majda (para Euler 3D). Si $T^* < \infty$, entonces $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$. Criterios de continuación análogos valen para Navier-Stokes.
• 2000: Clay.
• 2014: Tao. Explosión para el Navier-Stokes promediado (JAMS 2016), mostrando que cualquier prueba de regularidad para las ecuaciones verdaderas debe explotar rasgos más finos de la no linealidad de Navier-Stokes que los preservados por el modelo promediado.
• Septiembre de 2026: OpenAI anuncia explosión 3D con fuerza suave (Clay C/D); Clay reconoce una aparente resolución. Evaluación y premio son procesos distintos.

Parte de El problema.

Profundice: ¿por qué el problema es tan difícil?, en qué subproblemas están trabajando los matemáticos y en qué enfoques ¿han probado?

La declaración formal de Clay se encuentra en la página Problema del Milenio, y si desea comprender a qué versión de las ecuaciones se dirige realmente este problema, consulte Navier-Stokes incompresible versus comprimible.

Parte de El Problema.

Detalles: Formulación de Clay. Obstáculos: Por qué es difícil.

Para obtener una imagen completa de los resultados parciales, las subpreguntas abiertas y todas las estrategias que se han intentado durante el último siglo de trabajo en este problema, consulte Subproblemas y Enfoques. Qué formulación estudia el problema de Clay: Incompresible vs. Compresible.