Progresso no Problema de Navier-Stokes

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.

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.

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.

Cinco resultados que remodelaram o campo:

• 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 questão que Leray não pôde responder, e após noventa anos, ninguém mais pode.
• 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.
• 2022, Albritton, Brué, Colombo: Soluções fracas de Leray-Hopf não são únicas quando você permite uma força externa. Más notícias: a classe de solução mais fraca não é tão dócil quanto esperávamos, e isso força um repensar do que "solução" sequer significa neste nível.

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.

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

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.

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

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.

2026-09-12 (JST).

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.

2026-09-12 (JST).