Progresso no Problema de Navier-Stokes

Ao longo de nove décadas, os matemáticos provaram que soluções fracas existem para todo o tempo (Leray), que eventuais singularidades devem ser extremamente pequenas (Caffarelli–Kohn–Nirenberg), quais grandezas devem explodir em uma primeira singularidade (Beale–Kato–Majda e critérios posteriores) e que energia e escala, sozinhas, não podem descartar a explosão (Tao). Em setembro de 2026, a OpenAI anunciou uma prova de explosão em tempo finito para as equações 3D com uma força externa suave, as alternativas de ruptura de Clay, e Clay disse que o problema «aparentemente foi resolvido». Se escoamentos sem força externa sempre permanecem suaves continua em aberto.

Esta página segue esse arco: os marcos e, depois, o capítulo de 2026 e como ele se conecta a eles. Para a situação datada por si só, veja Navier-Stokes está resolvido?

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

Ao longo de nove décadas, os matemáticos provaram que soluções fracas existem para todo o tempo (Leray), que eventuais singularidades devem ser extremamente pequenas (Caffarelli–Kohn–Nirenberg), quais grandezas devem explodir em uma primeira singularidade (Beale–Kato–Majda e critérios posteriores) e que energia e escala, sozinhas, não podem descartar a explosão (Tao). Em setembro de 2026, a OpenAI anunciou uma prova de explosão em tempo finito para as equações 3D com uma força externa suave, as alternativas de ruptura de Clay, e Clay disse que o problema «aparentemente foi resolvido». Se escoamentos sem força externa sempre permanecem suaves continua em aberto.

A seguir: os marcos em sua forma precisa e, depois, a ruptura forçada reivindicada (Teorema 1.1 e Corolário 10.6 do manuscrito), lida à luz deles. Situação datada: Navier-Stokes está resolvido?

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

Os resultados que remodelaram a área:

• 1934, Leray: provou que soluções fracas globais no tempo existem para quaisquer dados iniciais razoáveis. Algo persiste para sempre. Mas permanece suave? Essa é a pergunta que Leray não conseguiu responder; para escoamentos sem força externa, ela continua em aberto.
• 1982, Caffarelli, Kohn, Nirenberg: O conjunto de possíveis singularidades é extremamente pequeno: na geometria parabólica natural a essas equações, ele tem tamanho unidimensional zero. Infinitesimalmente pequeno. Se explosão acontece, é esparsa além da imaginação.
• 1984, Beale, Kato, Majda: Resultado enorme. Uma solução suave só pode quebrar se a vorticidade explodir, o que deu ao campo inteiro um alvo preciso: controle a norma de vorticidade relevante fortemente o suficiente, e uma solução suave não pode quebrar naquele momento.
• 2016, Tao: Construiu explosão para um Navier-Stokes médio compartilhando as mesmas propriedades de energia e escalonamento que o real, o que significa que uma prova para a equação real tem que usar estrutura mais fina do que estimativas de energia e escalonamento sozinhos. Uma barreira. Não uma solução.
• 2019, Buckmaster, Vicol: sem nenhuma força, soluções fracas distribucionais com energia finita podem não ser únicas. Essas soluções estão fora da classe de Leray–Hopf (Annals 2019).
• 2022, Albritton, Brué, Colombo: soluções fracas de Leray-Hopf não são únicas quando se permite uma força externa. A classe definida pela desigualdade de energia não é tão bem-comportada quanto se esperava, o que tornou mais aguda a questão de quais soluções fracas têm significado físico.

Como esses resultados se relacionam com o anúncio de 2026 é o assunto da próxima seção.

• 1934, Leray: Existência global de soluções fracas em $L^2$ para dados livres de divergência $u_0 \in L^2(\mathbb{R}^3)$, satisfazendo a desigualdade de energia (Acta Mathematica).
• 1982, Caffarelli–Kohn–Nirenberg (CKN): Regularidade parcial; $\mathcal{P}^1(\mathrm{sing}\, u)=0$, significando que a medida de Hausdorff parabólica unidimensional do conjunto singular se anula. Ainda o resultado geral mais forte que temos (Comm Pure Appl Math).
• 1984, Beale–Kato–Majda (BKM): O critério de continuação que remodelou o campo: uma solução suave em $[0,T)$ se estende além de $T$ se e somente se $\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty$, reduzindo regularidade ao controle de vorticidade. Originalmente para Euler; adaptado para Navier-Stokes (Comm Math Phys).
• 2016, Tao: Explosão em tempo finito para uma equação de Navier-Stokes médio obedecendo as mesmas propriedades de energia e escalonamento que o sistema verdadeiro, significando que qualquer prova de regularidade deve explorar estrutura mais fina (J Amer Math Soc).
• 2019, Buckmaster–Vicol: não unicidade de soluções fracas distribucionais com energia cinética finita para as equações sem força externa, via integração convexa; as soluções não satisfazem a desigualdade de energia e, portanto, estão fora da classe de Leray–Hopf (Annals 2019).
• 2022, Albritton–Brué–Colombo: Não-unicidade de soluções de Leray-Hopf para Navier-Stokes 3D forçado, construída via soluções auto-similares instáveis (Ann of Math).

A próxima seção lê a afirmação de 2026 à luz desses resultados.

Em 8 de setembro de 2026, a OpenAI anunciou uma prova de que, para toda viscosidade positiva, uma solução suave que parte do repouso e é impulsionada por uma força externa suave de suporte compacto desenvolve velocidade ilimitada em um tempo finito, enquanto sua energia cinética permanece limitada. Ela afirma que isso estabelece a alternativa C de Clay e sua contrapartida periódica D. Em 11 de setembro, Clay disse que o problema «aparentemente foi resolvido», com avaliação deliberadamente sem pressa. Detalhes e fontes.

Como isso se relaciona com trabalhos anteriores. Estes pontos dizem respeito a consistência e contexto; nenhum deles verifica a prova.

• A pergunta de Leray. Leray (1934) introduziu soluções fracas («turbulentas») deixando em aberto se soluções suaves podem perder regularidade, e sugeriu um cenário de explosão autossimilar. Esse cenário específico foi depois excluído sob condições naturais de integrabilidade (Nečas–Růžička–Šverák, 1996; Tsai, 1998). A afirmação de 2026 responde à questão da ruptura em um cenário com força externa; para escoamentos sem força externa, ela continua em aberto.
• Regularidade parcial. Caffarelli–Kohn–Nirenberg limita o tamanho que um conjunto singular pode ter; nunca excluiu singularidades. Uma construção de explosão, portanto, não está em conflito com esse resultado.
• Critérios de continuação. Critérios do tipo Beale–Kato–Majda e de Prodi–Serrin–Ladyzhenskaya dizem quais grandezas devem se tornar ilimitadas em um primeiro tempo singular. O enunciado de Clay observa que, para Navier–Stokes, a velocidade se torna ilimitada perto de um tempo de explosão finito, e o teorema anunciado é enunciado dessa forma: a velocidade máxima é ilimitada à medida que o tempo singular se aproxima, enquanto a energia permanece limitada.
• A barreira de Tao. A equação promediada de Tao mostrou que uma prova de regularidade precisa usar uma estrutura da verdadeira não linearidade mais fina do que energia e escala. A construção anunciada trabalha com as equações verdadeiras, mas com força externa, e por isso não nos diz se a dinâmica sem força externa tem uma estrutura que impeça a explosão.
• Não unicidade. Buckmaster–Vicol (sem força externa, fora da classe de Leray–Hopf) e Albritton–Brué–Colombo (Leray–Hopf, com força externa) dizem respeito à unicidade de soluções fracas. A afirmação de 2026 diz respeito à perda de suavidade de uma solução que começa suave: uma questão distinta.
• Euler. 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.

O que não mudou: a questão da regularidade global sem força externa (A e B de Clay), a unicidade de soluções de Leray–Hopf sem força externa e os programas de regularidade parcial e de critérios de continuação continuam sendo direções de pesquisa em aberto. Veja Subproblemas e Abordagens.

A afirmação. Para todo $\nu>0$, o manuscrito constrói $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ e $(u,p)$ suaves em $\mathbb{R}^3\times[0,1)$ com $u(\cdot,0)=0$, $\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$ e $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ (Teorema 1.1, alternativa C); o Corolário 10.6 dá o caso periódico (alternativa D). Clay (11 de setembro): «aparentemente foi resolvido». Situação e fontes.

• Leray. O ansatz autossimilar de Leray $u(x,t)=\lambda(t)U(\lambda(t)x)$ com $\lambda(t)=(2a(T-t))^{-1/2}$ foi excluído para $U\in L^3(\mathbb{R}^3)$ por Nečas–Růžička–Šverák (1996) e, sob limites locais de energia, por Tsai (1998). Esses resultados restringem um perfil de explosão; não excluem singularidades em geral.
• CKN. $\mathcal{P}^1(S)=0$ restringe o tamanho do conjunto singular de soluções fracas adequadas; é compatível com pontos singulares isolados e, portanto, não entra em conflito com uma construção de explosão.
• Critérios. 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$) e Escauriaza–Seregin–Šverák descrevem o comportamento necessário em um primeiro tempo singular. O enunciado de Fefferman registra que, para $\nu>0$, a velocidade se torna ilimitada perto de um tempo de explosão finito; o Teorema 1.1 é enunciado como $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$ com norma $L^2$ limitada.
• Tao. O modelo promediado mostra que a identidade de energia e a escala não impedem, por si sós, a explosão. A construção forçada usa a verdadeira não linearidade; a questão de se a verdadeira dinâmica sem força externa admite um mecanismo de regularidade além de energia e escala não é afetada.
• Não unicidade. Buckmaster–Vicol (2019): sem força externa, distribucional, fora de Leray–Hopf. Albritton–Brué–Colombo (2022): Leray–Hopf, com força externa. A afirmação de 2026 é um enunciado de regularidade (ruptura) para uma solução clássica, não um enunciado de unicidade.
• Euler. 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.

Entre os problemas em aberto que não mudaram estão A/B ($f\equiv0$), a unicidade de Leray–Hopf para $f\equiv0$ e critérios de continuação ótimos. Veja Subproblemas e Abordagens.

Esta página é um mapa, não o território. Para os detalhes:

Para tratamento detalhado de direções de pesquisa específicas:

• Subproblemas: casos resolvidos e parcialmente resolvidos, incluindo regularidade global 2D, axissimétrico sem rotação, resultados em espaços críticos ($L^3$, $\dot{H}^{1/2}$, $BMO^{-1}$), e critérios de regularidade condicional além de BKM.
• Abordagens: as principais estratégias de prova sob investigação ativa, incluindo métodos de energia e enstrofia, decomposição de perfil, teoria de solução suave, Navier-Stokes estocástico, programas de integração convexa, e limites assistidos computacionalmente.

Fontes revisadas em 2026-09-29 (JST). Esta página resume a literatura publicada e declarações públicas; não é uma auditoria independente da prova. O repositório rotula o status de sua revisão como «self-assessed» (autoavaliado); isso não estabelece verificação independente nem mostra que ninguém mais tenha conferido o trabalho. A versão em Lean e o manuscrito fornecem material para inspeção; não substituem a verificação de que os enunciados formais correspondem aos teoremas pretendidos.

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

Fontes revisadas em 2026-09-29 (JST). Esta página resume a literatura publicada e declarações públicas; não é uma auditoria independente da prova. O repositório rotula o status de sua revisão como «self-assessed» (autoavaliado); isso não estabelece verificação independente nem mostra que ninguém mais tenha conferido o trabalho. A versão em Lean e o manuscrito fornecem material para inspeção; não substituem a verificação de que os enunciados formais correspondem aos teoremas pretendidos.

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