A OpenAI anunciou, em 8 de setembro de 2026, a resolução do problema de existência e suavidade das equações de Navier–Stokes — um dos sete Millennium Prize Problems do Clay Mathematics Institute. O feito foi atribuído a um sistema interno de IA, descrito como “significativamente mais capaz que o GPT-6 Astra”.
O problema de Navier–Stokes
As equações de Navier–Stokes são fundamentais para a modelagem do movimento de fluidos e têm aplicações que vão de projetos aeronáuticos à previsão do tempo e ao estudo do fluxo sanguíneo. Uma questão aberta há quase 90 anos é se, para fluidos tridimensionais incompressíveis e de densidade constante, as soluções dessas equações podem desenvolver singularidades — situações em que a velocidade do fluido cresce sem limite em tempo finito, mesmo partindo de condições suaves.
A existência ou não de tais singularidades define o limite do que a modelagem contínua consegue descrever, antes de exigir o rastreio individual das partículas do fluido. Desde 1934, com os resultados de Jean Leray, sabe-se que soluções generalizadas existem, mas a suavidade permaneceu em aberto. Em 2000, o problema foi alçado ao status de problema do milênio.
O resultado anunciado
O sistema da OpenAI produziu uma demonstração analítica — acompanhada de formalização em Lean — de que um fluido inicialmente em repouso, sob ação de uma força suave e energia finita, pode desenvolver uma singularidade em tempo finito. O fenômeno descrito envolve a formação de um vórtice que se alonga progressivamente, com a energia permanecendo limitada, mas a velocidade local crescendo sem limite.
Segundo o anúncio, o resultado resolve os itens “C” e “D” da formulação oficial do problema do milênio. A demonstração detalha como os termos das equações — aceleração, gradiente de pressão, transferência de momento e viscosidade — se amplificam e se cancelam de maneira precisa, permitindo a formação da singularidade sem violar as leis da física ou introduzir forças infinitas artificialmente.
Como a solução foi construída
Desde 28 de agosto, a OpenAI vinha treinando um novo modelo interno com desempenho inédito em benchmarks matemáticos. No início de setembro, rumores sobre avanços em problemas do milênio motivaram a equipe a testar o sistema em todas as questões abertas da lista, usando um arranjo de cerca de 10 mil agentes coordenados, cada qual com acesso a ferramentas como leitura da internet em cache e execução de código.
Os agentes foram divididos em grupos, cada um atacando diferentes variantes dos problemas matemáticos. Para Navier–Stokes, versões “A” e “B” buscavam demonstrações de existência e suavidade, enquanto “C” e “D” visavam contraexemplos. O grupo responsável pelo avanço em Navier–Stokes chegou à solução em poucos dias. O processo manteve salvaguardas de isolamento e monitoramento, segundo a OpenAI.
Além do problema principal, o sistema também resolveu uma questão relacionada ao limite das equações de Euler (Navier–Stokes sem viscosidade), mostrando versatilidade do método.
Implicações e próximos passos
A resolução de um Millennium Prize Problem por IA marca um divisor de águas para a matemática e para a pesquisa científica computacional. O anúncio não detalha ainda a revisão por pares ou o processo de validação externa — etapas aguardadas para confirmação formal do resultado. O material inclui a demonstração escrita e a formalização em Lean, ampliando a transparência e a possibilidade de auditoria.
Se confirmada, a descoberta terá impacto direto em áreas como modelagem computacional de fluidos, simulações industriais, meteorologia e física fundamental, além de redefinir o papel da IA em pesquisa de fronteira.