Navier-Stokes está resolvido? Atualização de setembro de 2026

Estado das fontes revisado em 2026-09-12 (JST). Em 8 de setembro, a OpenAI anunciou explosão em tempo finito para Navier–Stokes incompressível 3D com força externa suave, alegando resolver as alternativas C e D de Clay, com manuscrito e formalização em Lean. Em 11 de setembro, Clay declarou que o problema «aparentemente foi resolvido»; a avaliação e a atribuição de crédito serão deliberadamente sem pressa. Isso não é a concessão do prêmio nem uma verificação da prova por este site.

Fontes primárias: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciado oficial de Clay.

A regularidade global de Navier–Stokes 3D sem força externa permanece em aberto: a construção forçada anunciada não a resolve. Na discussão técnica abaixo, questões abertas de regularidade e unicidade referem-se ao sistema sem força externa, salvo indicação explícita de outro contexto.

Veja também: existência e suavidade de Navier-Stokes

Uma força externa é uma entrada na equação da velocidade, não uma força que se torna infinita. A construção anunciada parte do repouso e usa uma força suave. Energia cinética total limitada não impede a concentração da velocidade em escalas cada vez menores. Trata-se de um modelo matemático, não de uma previsão de velocidade infinita na água real. A declaração de Clay não concede o prêmio.

Estado das fontes revisado em 2026-09-12 (JST). Em 8 de setembro, a OpenAI anunciou explosão em tempo finito para Navier–Stokes incompressível 3D com força externa suave, alegando resolver as alternativas C e D de Clay, com manuscrito e formalização em Lean. Em 11 de setembro, Clay declarou que o problema «aparentemente foi resolvido»; a avaliação e a atribuição de crédito serão deliberadamente sem pressa. Isso não é a concessão do prêmio nem uma verificação da prova por este site.

Fontes primárias: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciado oficial de Clay.

A regularidade global de Navier–Stokes 3D sem força externa permanece em aberto: a construção forçada anunciada não a resolve. Na discussão técnica abaixo, questões abertas de regularidade e unicidade referem-se ao sistema sem força externa, salvo indicação explícita de outro contexto.

O manuscrito afirma, para toda viscosidade $\nu>0$, a existência de força suave de suporte compacto $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ e velocidade inicial $u_0=0$, com solução suave para $0\leq t<1$, velocidade uniformemente limitada em $L^2$, mas $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$. A força permanece suave no instante singular. O teorema 1.1 afirma ruptura no espaço inteiro; o corolário 10.6, ruptura periódica. São enunciados relatados, não uma verificação nossa. OpenAI — Navier–Stokes (PDF), 1.1 / 10.6.

Precisamente: dados dados iniciais suaves e livres de divergência $u_0 \in C^\infty(\mathbb{R}^3)$ com decaimento adequado (ou em $\mathbb{T}^3$), é desconhecido se uma solução suave única $(u, p)$ existe para todo $t \geq 0$ com $u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$. Nenhum contraexemplo foi construído.

Não está completamente escuro. Matemáticos têm trabalhado nisso por mais de um século, e construíram um quadro surpreendentemente detalhado do que é conhecido e do que não é:

• Soluções fracas existem (Leray, 1934). Se você enfraquece a noção de solução, soluções globais existem. Mas se elas permanecem suaves e únicas ainda está em aberto.
• 2D está resolvido (Ladyzhenskaya, 1969). Duas dimensões? Feito. Soluções suaves existem para todo tempo, e a dificuldade é inteiramente, obstinadamente específica a 3D.
• Singularidades são raras (Caffarelli-Kohn-Nirenberg, 1982). Mesmo se singularidades existem em 3D, elas estão confinadas a um conjunto de medida de Hausdorff parabólica unidimensional zero, um conjunto extremamente pequeno na geometria natural da equação.
• Soluções de tempo curto existem. Suaves? Sim, pelo menos brevemente. A questão: elas podem sempre ser continuadas para sempre?

Então a lacuna é estreita mas profunda. Sabemos que soluções começam suaves e sabemos que soluções fracas persistem globalmente, mas ninguém pode provar que a suavidade sobrevive para todo tempo em três dimensões.

Principais resultados estabelecidos:

• Leray (1934): Existência global de soluções fracas (distribucionais) satisfazendo a desigualdade de energia $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$. Unicidade? Em aberto.
• Ladyzhenskaya (1969): Para o problema incompressível 2D, dados livres de divergência suaves produzem uma solução suave global única.
• Caffarelli-Kohn-Nirenberg (1982): Regularidade parcial para soluções fracas adequadas: o conjunto singular tem medida de Hausdorff parabólica unidimensional zero, $\mathcal{P}^1(S) = 0$.
• Boa colocação local: Para $u_0 \in H^s(\mathbb{R}^3)$ com $s > 3/2$, uma solução suave única existe em $[0, T^*)$; isso também vale no espaço crítico de escala $\dot{H}^{1/2}(\mathbb{R}^3)$ (Fujita-Kato, 1964), estendendo-se a espaços críticos estritamente maiores incluindo $BMO^{-1}$ (Koch-Tataru, 2001). $T^* = \infty$?

Aqui está a lacuna: sabemos que soluções fracas existem globalmente, e sabemos que soluções fortes existem localmente com unicidade completa. Se a solução forte pode sempre ser estendida para todo tempo é a questão que permanece amplamente aberta.

A estimativa de energia aqui exibida vale sem força externa. Com força, o lado direito também inclui o termo de trabalho $2\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

Esta é uma revisão de declarações públicas, não uma auditoria independente da prova. O repositório classifica sua revisão como «self-assessed» (autoavaliada); isso não demonstra que ninguém mais a verificou. Manuscrito e Lean fornecem material para exame, mas não substituem a verificação da correspondência dos enunciados. A avaliação e o prêmio de Clay são distintos do resultado anunciado.

A OpenAI também anunciou explosão de Euler 3D sem força externa a partir de dados suaves. Esse resultado invíscido não estabelece explosão para Navier–Stokes viscoso sem força externa.

Esta é uma revisão de declarações públicas, não uma auditoria independente da prova. O repositório classifica sua revisão como «self-assessed» (autoavaliada); isso não demonstra que ninguém mais a verificou. Manuscrito e Lean fornecem material para exame, mas não substituem a verificação da correspondência dos enunciados. A avaliação e o prêmio de Clay são distintos do resultado anunciado.

A OpenAI também anunciou explosão de Euler 3D sem força externa a partir de dados suaves. Esse resultado invíscido não estabelece explosão para Navier–Stokes viscoso sem força externa.

Clay pede uma prova de uma entre quatro alternativas, não das quatro: (A) existência global suave sem força externa em R³; (B) existência global suave sem força externa no toro periódico T³; (C) ruptura em R³, permitindo forças suaves admissíveis; (D) ruptura periódica, permitindo forças suaves admissíveis. A/B abrangem todos os dados iniciais admissíveis; C/D exigem um contraexemplo admissível. A ruptura forçada não refuta A/B.

As cláusulas seguintes resumem A e C no espaço inteiro, não todas as hipóteses oficiais. Em A, $f=0$. Em C, todas as derivadas espaciais e temporais da força devem satisfazer o decaimento exigido por Clay; a solução global excluída pertence à classe suave de energia limitada do enunciado oficial. As alternativas periódicas são B e D.

Clay pede uma prova de uma entre quatro alternativas, não das quatro: (A) existência global suave sem força externa em R³; (B) existência global suave sem força externa no toro periódico T³; (C) ruptura em R³, permitindo forças suaves admissíveis; (D) ruptura periódica, permitindo forças suaves admissíveis. A/B abrangem todos os dados iniciais admissíveis; C/D exigem um contraexemplo admissível. A ruptura forçada não refuta A/B.

1. (A) Existência e suavidade: Para todo $u_0 \in C^\infty(\mathbb{R}^3)$ com $\nabla \cdot u_0 = 0$ e $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ para todos $\alpha, K$, provar existência de $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ satisfazendo as equações, com $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ para todo $t \geq 0$.
2. (C) Colapso: Exibir $u_0 \in C^\infty(\mathbb{R}^3)$ (sem divergência, com o decaimento prescrito) e $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ satisfazendo a condição (5) de decaimento das derivadas da força, tais que nenhuma $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ com os dados iniciais especificados e energia cinética uniformemente limitada satisfaça o sistema.

• 1822: Navier deriva as equações a partir de considerações moleculares.
• 1845: Stokes dá a elas sua forma moderna.
• 1934: Leray prova que soluções fracas existem globalmente. Enorme.
• 1969: Ladyzhenskaya resolve 2D.
• 1982: Caffarelli, Kohn e Nirenberg provam regularidade parcial, estabelecendo que quaisquer singularidades devem ser extraordinariamente raras, com medida de Hausdorff parabólica unidimensional zero.
• 1984: Beale, Kato e Majda provam para as equações de Euler 3D que o colapso de uma solução suave força divergência da integral temporal da vorticidade. Critérios de continuação relacionados também se aplicam a Navier-Stokes.
• 2000: Clay nomeia como um Problema do Milênio. Um milhão de dólares.
• 2014: Tao constrói explosão para uma versão média das equações (preprint; publicado 2016), mostrando que não há obstrução puramente estrutural à formação de singularidade.
• Setembro de 2026: OpenAI anuncia explosão 3D com força suave (Clay C/D); Clay reconhece aparente resolução. Avaliação e prêmio são etapas distintas.

• 1822: Navier. Tensão molecular.
• 1845: Stokes. Contínuo.
• 1934: Leray. O resultado fundamental: soluções fracas globais em $L^2$, o projetor de Leray, e a desigualdade de energia que moldaria um século inteiro de análise matemática de fluidos e definiria toda abordagem que se seguiu.
• 1951: Hopf estende para domínios limitados.
• 1962: Serrin estabelece regularidade condicional: suave se $u \in L^p_t L^q_x$ com $2/p + 3/q \leq 1$ e $q > 3$; o ponto final $L^\infty_t L^3_x$ foi resolvido por Escauriaza-Seregin-Šverák em 2003.
• 1969: Ladyzhenskaya. 2D feito.
• 1982: CKN. $\mathcal{P}^1(S) = 0$.
• 1984: Beale-Kato-Majda (para Euler 3D). Se $T^* < \infty$, então $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$. Critérios de continuação análogos valem para Navier-Stokes.
• 2000: Clay.
• 2014: Tao. Explosão de Navier-Stokes média (JAMS 2016), mostrando que qualquer prova de regularidade para as equações verdadeiras deve explorar características mais finas da não linearidade de Navier-Stokes do que aquelas preservadas pelo modelo médio.
• Setembro de 2026: OpenAI anuncia explosão 3D com força suave (Clay C/D); Clay reconhece aparente resolução. Avaliação e prêmio são etapas distintas.

Parte de O Problema.

Vá mais fundo: por que o problema é tão difícil?, quais subproblemas os matemáticos estão trabalhando, e quais abordagens eles tentaram?

A declaração formal da Clay está na página do Problema do Milênio, e se você quer entender qual versão das equações este problema realmente visa, veja Navier-Stokes Incompressível vs. Compressível.

Parte de O Problema.

Detalhes: formulação Clay. Obstáculos: Por Que É Difícil.

Para o quadro completo de resultados parciais, questões abertas e toda estratégia que foi tentada ao longo do último século de trabalho neste problema, veja Subproblemas e Abordagens. Qual formulação o problema Clay estuda: Incompressível vs. Compressível.