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

A OpenAI anunciou uma prova que, segundo ela, resolve o problema tal como Clay o formulou, e Clay diz que o problema «aparentemente foi resolvido». Em 8 de setembro de 2026, a OpenAI anunciou que uma solução suave das equações de Navier–Stokes incompressíveis em 3D, partindo do repouso e impulsionada por uma força externa suave, desenvolve velocidade ilimitada em tempo finito, e apresentou isso como as alternativas de ruptura C e D do problema oficial de Clay, que pede qualquer uma entre quatro respostas possíveis. A declaração de Clay veio em 11 de setembro; a avaliação e a atribuição de crédito são deliberadamente sem pressa, e nenhum prêmio foi concedido.

Em termos simples: a pergunta era se as equações que descrevem o movimento da água e do ar podem alguma vez «quebrar», produzindo velocidade infinita a partir de um início perfeitamente suave. A prova anunciada diz que sim, quando um empurrão suave é aplicado de fora exatamente da maneira certa. Ela não mostra o mesmo sem esse empurrão, e não prevê que a água real atinja velocidade infinita.

Situação das fontes revisada em 2026-09-29 (JST). Esta página relata o que as fontes primárias afirmam; não é uma verificação nossa da prova.

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

A OpenAI anunciou uma prova que, segundo ela, resolve o problema tal como Clay o formulou, e Clay diz que o problema «aparentemente foi resolvido». Em 8 de setembro de 2026, a OpenAI anunciou que uma solução suave das equações de Navier–Stokes incompressíveis em 3D, partindo do repouso e impulsionada por uma força externa suave, desenvolve velocidade ilimitada em tempo finito, e apresentou isso como as alternativas de ruptura C e D do problema oficial de Clay, que pede qualquer uma entre quatro respostas possíveis. A declaração de Clay veio em 11 de setembro; a avaliação e a atribuição de crédito são deliberadamente sem pressa, e nenhum prêmio foi concedido.

O manuscrito divulgado afirma (Teorema 1.1) que, para toda viscosidade $\nu>0$, existem uma força $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$, um conjunto compacto $K\subset\mathbb{R}^3$ e $(u,p)$ suaves em $\mathbb{R}^3\times[0,1)$ que resolvem as equações com $u_0=0$, com velocidade e pressão suportadas em $K$ em cada instante, com $\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$ mas $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$. Enuncia como consequência que nenhuma solução suave em $\mathbb{R}^3\times[0,\infty)$ com a mesma força e o mesmo dado inicial tem energia cinética uniformemente limitada: a alternativa C. O Corolário 10.6 dá a contrapartida periódica em $\mathbb{T}^3=\mathbb{R}^3/\mathbb{Z}^3$, com uma força suave de suporte compacto no tempo e nenhuma solução periódica suave global: a alternativa D. A força permanece suave em $t=1$ e depois. Estes são os enunciados de teoremas dos autores, transcritos aqui sem verificação: OpenAI — Navier–Stokes (PDF), 1.1 / 10.6.

Situação das fontes revisada em 2026-09-29 (JST). Esta página relata o que as fontes primárias afirmam; não é uma verificação nossa da prova.

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

• 8 de setembro de 2026 — OpenAI. Anunciou uma prova de explosão em tempo finito para as equações incompressíveis em 3D com uma força externa suave, afirmando que ela estabelece a alternativa C (e também a D) da formulação oficial de Clay. Divulgou um manuscrito e uma formalização em Lean e, separadamente, anunciou explosão para as equações de Euler 3D sem força externa. A OpenAI diz que não pretende reivindicar o Prêmio do Milênio.
• 10 de setembro de 2026 — repositório. Data do commit mais recente no repositório público em Lean na nossa verificação. Seus metadados ainda rotulam o status de revisão como «self-assessed» (autoavaliado).
• 11 de setembro de 2026 — Clay Mathematics Institute. Afirmou que «compartilha o entusiasmo da comunidade matemática global ao contemplarmos o anúncio de que o problema de Navier-Stokes aparentemente foi resolvido», e que o processo de avaliar o trabalho e atribuir o crédito «é deliberadamente sem pressa».
• 29 de setembro de 2026 — nossa verificação de fontes. As páginas de anúncios e de notícias de Clay não mostravam nenhuma decisão posterior. Trata-se de uma verificação apenas dessas páginas, não de uma afirmação sobre todas as declarações institucionais ou sobre todas as revisões independentes.

• 8 de setembro de 2026 — OpenAI. Anunciou uma prova de explosão em tempo finito para as equações incompressíveis em 3D com uma força externa suave, afirmando que ela estabelece a alternativa C (e também a D) da formulação oficial de Clay. Divulgou um manuscrito e uma formalização em Lean e, separadamente, anunciou explosão para as equações de Euler 3D sem força externa. A OpenAI diz que não pretende reivindicar o Prêmio do Milênio.
• 10 de setembro de 2026 — repositório. Data do commit mais recente no repositório público em Lean na nossa verificação. Seus metadados ainda rotulam o status de revisão como «self-assessed» (autoavaliado).
• 11 de setembro de 2026 — Clay Mathematics Institute. Afirmou que «compartilha o entusiasmo da comunidade matemática global ao contemplarmos o anúncio de que o problema de Navier-Stokes aparentemente foi resolvido», e que o processo de avaliar o trabalho e atribuir o crédito «é deliberadamente sem pressa».
• 29 de setembro de 2026 — nossa verificação de fontes. As páginas de anúncios e de notícias de Clay não mostravam nenhuma decisão posterior. Trata-se de uma verificação apenas dessas páginas, não de uma afirmação sobre todas as declarações institucionais ou sobre todas as revisões independentes.

Nas equações de Navier–Stokes, o termo de força $f$ representa tudo o que empurra o fluido de fora: a gravidade, uma pá que agita, uma bomba. Com $f=0$, o fluido simplesmente evolui a partir de seu estado inicial.

O enunciado oficial de Clay, escrito por Charles Fefferman, oferece quatro maneiras de resolver o problema e diz que basta uma. Duas são enunciados de existência: todo escoamento inicial suave e bem-comportado permanece suave para sempre. Elas são formuladas sem força externa (A em todo o espaço, B em uma caixa periódica). As outras duas são enunciados de ruptura, e nelas quem resolve pode escolher tanto um escoamento inicial suave quanto uma força externa suave, desde que a força e todas as suas derivadas decaiam rapidamente: no espaço e no tempo, em todo o espaço (C), e no tempo, em uma caixa periódica (D). O enunciado descreve as quatro opções apenas como uma forma de dar «uma margem razoável a quem resolve, preservando o cerne do problema».

Não. A construção anunciada depende de uma força externa suave escolhida com cuidado. Ela não decide se todo escoamento suave sem força externa permanece suave para sempre (alternativas A e B), e o enunciado de Clay não exige isso: pede uma alternativa, não as quatro.

A força na construção anunciada não é uma singularidade escondida. Ela é suave, confinada a uma região limitada do espaço e a um intervalo limitado de tempo, e continua suave no instante em que a velocidade se torna ilimitada. A energia cinética total também permanece limitada. Energia limitada não impede que a velocidade máxima se torne ilimitada: o movimento pode se concentrar em regiões cada vez menores.

Escreva o sistema como $\partial_t u + (u\cdot\nabla)u = -\nabla p + \nu\Delta u + f$, $\nabla\cdot u=0$. Em A e B, $f\equiv0$ e a afirmação é universal: todo $u_0$ admissível tem uma solução suave global (com energia limitada em $\mathbb{R}^3$). Em C e D, a afirmação é existencial: algum par admissível $(u_0,f)$ não tem solução suave global na classe exigida. Em $\mathbb{R}^3$, a força deve satisfazer a condição (5),

$$|\partial_x^\alpha\partial_t^m f(x,t)|\le \frac{C_{\alpha m K}}{(1+|x|+t)^{K}},$$

para todos os multi-índices $\alpha$ e todos os $m,K$; em $\mathbb{T}^3$, deve satisfazer a condição (9), com decaimento apenas em $t$. Uma força suave com suporte compacto no espaço-tempo satisfaz (5).

Portanto, C não é a negação de A. A negação de A seria um $u_0$ admissível com $f\equiv0$ e sem solução suave global de energia limitada; C aceita um contraexemplo em que também se escolhe uma força suave de decaimento rápido. O texto oficial justifica a formulação em quatro alternativas apenas como uma forma de dar «uma margem razoável a quem resolve, preservando o cerne do problema». Uma prova de C ou D resolve o problema tal como formulado, deixando indecidida a veracidade de A e B.

Não. A construção anunciada depende de uma força externa suave escolhida com cuidado. Ela não decide se todo escoamento suave sem força externa permanece suave para sempre (alternativas A e B), e o enunciado de Clay não exige isso: pede uma alternativa, não as quatro.

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.

Para as condições precisas (decaimento, limite de energia e periodicidade), veja o enunciado oficial de Clay, explicado, que também relaciona, linha por linha, o teorema anunciado com C e D.

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.

É fácil confundir três coisas diferentes:

• A afirmação matemática. Um manuscrito longo e uma formalização em Lean. O repositório informa que seus resultados principais estão totalmente formalizados, sem etapas inacabadas («sorry»), e rotula seu status de revisão como «self-assessed» (autoavaliado). Esse rótulo é um metadado dos próprios autores: não estabelece verificação independente nem mostra que ninguém mais tenha conferido o trabalho. Uma prova formal também precisa ser confrontada com o enunciado do teorema pretendido, o que é uma verificação separada.
• A resposta de Clay. A declaração de 11 de setembro reconhece uma aparente resolução. Não é uma certificação nem a concessão de um prêmio, e não nomeia nenhum destinatário.
• O procedimento do prêmio. As regras de Clay listam condições que incluem publicação em um veículo qualificado, pelo menos dois anos desde a publicação e aceitação geral na comunidade matemática. A OpenAI disse que não pretende reivindicar o prêmio de US$ 1 milhão. Nenhum desses pontos implica uma data ou um desfecho.

Este site relata fontes públicas. Não auditamos a prova, não compilamos o projeto em Lean nem verificamos a correspondência entre os enunciados formais e informais.

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.

• Manuscrito. Teorema 1.1 (espaço inteiro) e Corolário 10.6 (caso periódico), conforme citados acima. O corolário periódico não apresenta uma desigualdade de energia separada; a D oficial não a exige.
• Formalização. Os metadados do repositório (commit f9e8bc5, 10 de setembro de 2026) associam o Teorema 1.1 e o Corolário 10.6 a duas declarações em Lean, informam zero sorry e apenas os axiomas padrão propext, Classical.choice e Quot.sound, e tomam seus enunciados de referência de C e D do projeto Formal Conjectures. Seu status de revisão é «self-assessed» (autoavaliado). São fatos fornecidos pelos autores; compilar o projeto, auditar os axiomas e verificar se os enunciados formais correspondem ao texto de Fefferman são tarefas independentes que este site não realizou.
• Instituição e prêmio. Clay (11 de setembro): «aparentemente foi resolvido»; avaliação e crédito «deliberadamente sem pressa». As regras de Clay listam, entre as condições, publicação qualificada, um intervalo de dois anos e aceitação geral. A OpenAI afirma que não pretende reivindicar o prêmio de US$ 1 milhão.

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.

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, existem soluções globais. Sem força externa, continua em aberto se elas permanecem suaves e se são únicas.
• O caso 2D está resolvido. Em duas dimensões, soluções suaves existem para todo o tempo; isso é sabido há muito, e o enunciado de Clay credita o trabalho de Ladyzhenskaya. A dificuldade é específica do caso 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?

Assim, a lacuna é estreita, mas profunda. Sabemos que as soluções começam suaves e que as soluções fracas persistem globalmente; no entanto, para escoamentos 3D sem força externa, ninguém provou que a suavidade sempre sobrevive, e não se conhece nenhum contraexemplo sem força.

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 nesta classe para $f\equiv0$? Em aberto.
• Duas dimensões: para o problema incompressível 2D, dados suaves com divergência nula produzem uma única solução suave global; isso é sabido há muito, e o enunciado de Clay cita Ladyzhenskaya.
• 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 divergência nula e $s > 3/2$, ou no espaço crítico em relação à escala $\dot{H}^{1/2}(\mathbb{R}^3)$ (Fujita–Kato, 1964), existe uma única solução forte (mild) local em algum intervalo $[0, T^*)$, suave para tempos positivos. Koch–Tataru (2001) provaram boa colocação global para dados suficientemente pequenos no espaço crítico $BMO^{-1}$. Vale $T^* = \infty$ para todos os dados admissíveis?

Eis a lacuna: sabemos que soluções fracas existem globalmente e que soluções fortes existem localmente com unicidade plena. Para $f\equiv0$, continua em aberto se a solução forte sempre pode ser estendida para todo o tempo; a afirmação de 2026 diz respeito a dados com força externa.

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$.

• Regularidade global sem força externa. Todo escoamento suave de energia finita sem força externa permanece suave para sempre (A e B de Clay)? O resultado anunciado não decide isso.
• Unicidade sem força externa. Com uma força especialmente projetada, Albritton, Brué e Colombo (2022) mostraram que soluções fracas de Leray–Hopf podem não ser únicas. Sem força externa, a unicidade nessa classe está em aberto.
• Verificação e aceitação. A leitura especializada do manuscrito, a conferência dos enunciados formais com os informais e a avaliação de Clay segundo suas regras são etapas separadas. As fontes consultadas aqui não informam nenhuma avaliação do prêmio concluída.
• O mecanismo. O que a construção revela sobre como escoamentos viscosos podem se concentrar, e se algo semelhante pode acontecer sem força externa, são questões de pesquisa.

Regularidade parcial, critérios de continuação e a teoria de soluções fracas continuam sendo as ferramentas de trabalho para essas questões: veja subproblemas e a história do progresso, incluindo 2026.

• A/B. Para $f\equiv0$ e todo $u_0$ admissível (com decaimento em $\mathbb{R}^3$, ou periódico), existe uma solução suave global? Não se conhece nem uma prova nem um contraexemplo sem força externa.
• Unicidade de Leray–Hopf para $f\equiv0$. Em aberto. A não unicidade é conhecida com uma força adequada (Albritton–Brué–Colombo, 2022) e, sem força externa, para soluções fracas distribucionais fora da classe de Leray–Hopf (Buckmaster–Vicol, 2019).
• Verificação. Leitura independente, correspondência entre enunciados formais e informais e o procedimento de Clay são distintos do anúncio.
• Estrutura da singularidade. Taxas, geometria e estabilidade da singularidade forçada anunciada, e sua relação com os cenários de Tipo I/Tipo II e com os critérios de continuação para o problema sem força externa.

Veja Subproblemas e Progresso.

Força externa aqui significa uma entrada externa na equação da velocidade, não uma força que se torna infinita. As equações de Navier–Stokes são um modelo contínuo: tratam o fluido como matéria suave e não são uma descrição precisa em escalas moleculares. Uma singularidade nas equações é uma afirmação sobre a matemática desse modelo. Ela não prevê que a água ou o ar reais atinjam velocidade infinita, e o anúncio não é uma fórmula fechada para escoamentos arbitrários nem um novo método de engenharia.

A pergunta continua significativa para a física e a engenharia: as equações são usadas todos os dias, e saber se elas podem entrar em colapso nos diz o que o próprio modelo pode e não pode garantir.

O resultado diz respeito a soluções clássicas de uma EDP idealizada: um contínuo newtoniano incompressível com densidade e viscosidade constantes. $\|u\|_{L^\infty}$ ilimitada em $t=1$ é uma propriedade desse modelo; as hipóteses do modelo (hipótese do contínuo, lei constitutiva, incompressibilidade) não foram concebidas para valer em escalas arbitrariamente pequenas. A relevância física de qualquer mecanismo desse tipo é uma questão separada, que o teorema não aborda.

Tampouco se trata de uma fórmula geral de solução: soluções exatas em forma fechada continuam sendo casos especiais, e o cálculo prático continua sendo numérico.

• 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: a monografia de Ladyzhenskaya, que o enunciado de Clay cita para a teoria bidimensional; a regularidade global em 2D é conhecida há muito.
• 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 uma explosão para uma versão promediada das equações (preprint; publicado em 2016), mostrando que energia e escala, sozinhas, não podem descartar singularidades.
• 2026: a OpenAI anuncia uma prova de explosão com força suave que reivindica as alternativas C e D de Clay; Clay diz que o problema «aparentemente foi resolvido», com avaliação deliberadamente sem pressa.

Para a história completa, veja Progresso no problema de Navier-Stokes.

• 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: monografia de Ladyzhenskaya; regularidade global em 2D conhecida há muito.
• 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.
• 2026: anunciada explosão com força suave (Teorema 1.1 e Corolário 10.6 do manuscrito) reivindicando C e D; Clay: «aparentemente foi resolvido».

Contexto e conexões: Progresso.

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.