Progresos en el problema de Navier-Stokes

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.

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.

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.

Cinco resultados que remodelaron 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? Ésa es la pregunta que Leray no pudo responder, y después de noventa años, nadie más puede hacerlo.
• 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.
• 2022, Albritton, Brué, Colombo: Las soluciones débiles de Leray-Hopf no son únicas cuando se permite una fuerza externa. Malas noticias: la clase de solución más débil no es tan mansa como esperábamos, y esto obliga a repensar lo que significa "solución" en este nivel.

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.

• 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 (J Math Pures Appl).
• 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).
• 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).

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.

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 (Ladyzhenskaya 1959), 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.

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.

2026-09-12 (JST).

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.

2026-09-12 (JST).