matemática

física

Por que Navier-Stokes realmente importa

A OpenAI diz que um sistema de IA provou que uma equação de fluidos pode explodir em tempo finito. Aqui está o problema real de Navier-Stokes, com precisão.

2026-09-10

A OpenAI disse que um sistema de IA resolveu um problema matemático em aberto desde 1934.

A internet reagiu antes de entender a alegação.

Três grupos se formaram imediatamente.

Grupo um: a IA acabou de fazer ciência de verdade. Um marco. O CEO da OpenAI, Sam Altman, pode ficar feliz.
Grupo dois: calma lá. 10 mil agentes testando por tentativa e erro não é a mesma coisa que uma ideia nova. Isso é força bruta.
Grupo três: simplesmente confuso. Como algo pode ir ao infinito, em tempo finito, se a força por trás permanece finita o tempo todo?

Esse é o problema real. Ninguém concorda sobre o que está sendo afirmado.

Essa é a história. Não quem está certo sobre a IA.

A briga, formalizada

Imagine um fluido no meio de uma negociação.

Inércia versus viscosidade: fluxo caótico e turbulento à esquerda se acomodando em linhas de corrente suaves e paralelas à direita.

Empurre-o para um lado. Ele quer continuar naquela direção. Se concentra. Se torce. Acelera onde já estava rápido. Isso é inércia.

Algo empurra de volta. A viscosidade. Ela suaviza o movimento. Troca energia concentrada por um fluxo calmo e espalhado.

A velocidade que o fluido tem agora é exatamente onde essa briga está no momento.

Um árbitro fica entre os dois: a pressão. Ela não toma partido. Tem um único trabalho: impedir que o fluido se acumule em algum lugar. Tudo que entra precisa sair. A pressão se ajusta instantaneamente para garantir isso.

Essa é a equação inteira:

\partial_t u + (u\cdot\nabla)u = -\nabla p + \nu\Delta u + f, \qquad \nabla\cdot u = 0.

$\partial_t u$ é o resultado. $(u\cdot\nabla)u$ é a jogada da inércia. $\nu\Delta u$ é a resposta da viscosidade. $-\nabla p$ é o árbitro. $\nabla\cdot u = 0$ é a regra que ele impõe. $f$ é qualquer coisa empurrando de fora. Geralmente nada. Às vezes não.

Às vezes a briga se estabiliza. Nada acelera. Cada termo se cancela. Isso é um fluxo estacionário, o tipo de diagrama de livro didático sobre escoamento em tubos.

O Clay Mathematics Institute colocou essa briga na sua lista dos sete Problemas do Milênio: uma solução permanece suave para sempre, ou ela eventualmente quebra?

A briga pode falhar completamente? A inércia pode vencer a viscosidade de forma tão feia que o resultado deixa de ser um número finito?

O quão rígido “suave” realmente é

“Suave” é um eufemismo.

O matemático Charles Fefferman escreveu o enunciado oficial do problema para a Clay. Ele pede que a velocidade inicial $u^\circ$ decaia mais rápido do que qualquer potência da distância. Em toda derivada espacial:

|\partial_x^\alpha u^\circ(x)| \le C_{\alpha K}(1+|x|)^{-K}, \quad \text{para todo } \alpha, K.

A velocidade aqui é uma perturbação que desaparece longe de si mesma. Toda taxa de variação dela também desaparece.

Isso é comportamento de função de Schwartz: uma perturbação idealizada e perfeitamente localizada.

A força $f$ recebe o mesmo tratamento, mas no espaço e no tempo:

|\partial_x^\alpha \partial_t^m f(x,t)| \le C_{\alpha m K}(1+|x|+t)^{-K}, \quad \text{para todo } \alpha, m, K.

O problema oficial tem 4 enunciados. Os enunciados (A) e (B) dispensam a força por completo. Eles simplesmente fixam $f = 0$ . Os enunciados (C) e (D) permitem uma força real, mas apenas uma tão disciplinada quanto essa.

Nada de bombear energia extra. Nada de infinito contrabandeado pelo termo de força.

É isso que “a força permanece finita” realmente significa, com precisão.

Suponha que uma solução falhe. Ela chega a um tempo finito $T$ . Depois desse ponto, ela não pode continuar suave e com energia finita. Fefferman é explícito sobre como isso se parece:

A velocidade explode quando $t \to T$ . Não a pressão. Não uma derivada qualquer.

É por isso também que ninguém consegue chegar a uma resposta simulando. Um número que sobe até $10^{50}$ não prova nada, ele ainda pode dar meia-volta. O que se precisa é de uma prova: um par específico e bem-comportado $(u^\circ, f)$ que inevitavelmente explode, não importa quanto tempo o relógio rode. Dez mil agentes não conseguem abreviar isso no volume.

Por que três dimensões quebram a trégua

Fluidos bidimensionais não conseguem fazer algo que os tridimensionais conseguem: esticar sua própria rotação.

Imagine um tubo de fluido girando. Puxe-o, deixando-o mais fino e mais comprido. Como uma patinadora recolhendo os braços, ele tem que girar mais rápido.

Um retrato do movimento incompressível local. O laranja marca rotação angular mais rápida; o verde-azulado marca rotação mais lenta. A velocidade de circulação também depende do raio. As trajetórias mostram espiral para dentro e estiramento axial. — Imagem: OpenAI. O laranja marca rotação mais rápida, o verde-azulado mais lenta. O espiral para dentro e o estiramento axial são o mecanismo descrito acima, não uma impressão artística dele.

O fluxo 3D pode se torcer e puxar a si mesmo dessa forma. O 2D não pode. Não existe uma terceira direção para se esticar.

Essa diferença geométrica é praticamente toda a história. A regularidade em 2D foi resolvida décadas atrás. Em 3D, ainda está em aberto.

Esse é o loop de retroalimentação em um único quadro. O fluido espirala para dentro. Se estica ao longo do eixo. O estiramento acelera a rotação. A região laranja vai se apertando conforme avança.

Deixe esse loop disparar completamente, em tempo finito, em vez de se estabilizar conforme a viscosidade o alcança. A velocidade se concentra em uma região cada vez menor. Rápido o suficiente para divergir.

Essa “região cada vez menor” resolve um quebra-cabeça.

O problema ainda exige energia total finita: $\int |u|^2\,dx$ permanece limitada.

Parece que isso deveria descartar velocidade infinita em qualquer lugar. Mas não descarta.

Uma integral mede o total, não o pico. $1/x^{1/4}$ dispara para o infinito quando $x\to0$ , mas seu quadrado ainda é integrável perto de zero.

Gráfico de 1 sobre x elevado a 1/4: a curva dispara para o infinito conforme x se aproxima de zero, mas a área sob seu quadrado permanece finita. — $1/x^{1/4}$ é um exemplo: infinito em um ponto, finito no total.

Uma explosão em 3D poderia funcionar da mesma forma. Infinita em um ponto. A energia espalhada por todo o espaço permanece completamente comum.

Mas não relaxe ainda. A viscosidade não é uma parede fixa esperando para deter o fluido. Ela cresce com a velocidade que o fluido já carrega. Quanto mais forte a inércia empurra, mais forte a viscosidade empurra de volta.

Então a brecha não sai de graça. A cada passo que o vórtice dá rumo ao colapso, seu próprio adversário também fica mais forte. Se a inércia consegue vencer essa corrida, em tempo finito, contra uma defesa que reage ao ataque, essa é a pergunta em aberto de verdade. Não é um detalhe técnico. Não é uma nota de rodapé. É o problema inteiro, dito de outro jeito.

Onde isso realmente está

Aqui está o que está estabelecido. A OpenAI divulgou um relatório completo, e uma formalização em Lean, um assistente de provas que verifica cada passo lógico por máquina, que qualquer um pode rodar.

Aqui está o que não está. Se a comunidade matemática, trabalhando de forma independente, concorda que está correto.

A própria página da Clay ainda lista Navier–Stokes como em aberto. A OpenAI não está reivindicando o prêmio.

Calculado e formalizado não é a mesma coisa que revisado por pares. Revisado por pares não é a mesma coisa que aceito. Isso está no primeiro degrau.

O que a OpenAI construiu, e quem merece o crédito, vem a seguir.

Ok. E agora?

Tire as letras. Olhe o que está por baixo.

Um modelo. Escrito em 1822. Corrigido em 1845. Duzentos anos.

Ele supõe que o fluido é contínuo. Sem moléculas. Sem grão. Só números variando suavemente, para sempre.

Ninguém nunca viu esse fluido. Ele não existe. É uma conveniência que, por acaso, funciona surpreendentemente bem.

(A) até (D) testam a conveniência, não a água. Se a idealização pode ser levada a uma contradição em seus próprios termos.

Ganhe ou perca, nenhuma torneira liga para isso.

Todos os modelos estão errados. Alguns são úteis. Navier-Stokes tem sido do segundo tipo por dois séculos. Essa briga é sobre se ele também é, silenciosamente, do primeiro tipo — e sempre foi.

Para os matemáticos, essa é a pergunta inteira.

Para Sam Altman, nunca foi a pergunta. Foi um evento de avaliação.