A OpenAI divulgou, em 8 de setembro de 2026, uma solução para o problema de existência e suavidade das equações de Navier–Stokes, um dos sete Millennium Prize Problems do Clay Mathematics Institute. O resultado foi obtido por um sistema interno de IA, descrito como significativamente mais avançado que o GPT-6 Astra, e inclui tanto uma prova analítica quanto uma formalização completa em Lean, linguagem de verificação matemática automatizada. Fonte: OpenAI
O problema de Navier–Stokes
As equações de Navier–Stokes, formuladas no século XIX, descrevem o movimento de fluidos sob o ponto de vista da mecânica clássica. O problema central — aberto há quase 90 anos — é saber se, para um fluido tridimensional incompressível e de densidade constante, as soluções permanecem sempre suaves (sem singularidades) ou se podem desenvolver pontos onde a velocidade diverge em tempo finito, o chamado “blowup”. A resposta tem implicações diretas para a modelagem física de fluidos em áreas como engenharia aeronáutica, meteorologia e medicina.
Em 2000, o Clay Mathematics Institute incluiu o problema entre os Millennium Prize Problems, estabelecendo critérios rigorosos para uma possível resolução. Jean Leray, em 1934, já havia provado a existência de soluções generalizadas, mas a regularidade global seguia sem resposta.
O resultado apresentado pela OpenAI
Segundo o anúncio oficial, o sistema de IA da OpenAI produziu uma prova de que uma configuração inicial de fluido suave, sob uma força externa também suave, pode evoluir para uma singularidade em tempo finito, mantendo energia finita durante o processo. O fenômeno descrito ocorre por meio da formação de um vórtice que se alonga e acelera progressivamente, como um “espaguete” giratório, até que a região central colapse em uma singularidade.
A prova cobre os itens “C” e “D” da formulação oficial do problema, que correspondem à possibilidade de desenvolvimento de singularidade. O resultado é acompanhado por uma formalização em Lean, aumentando a verificabilidade do argumento matemático.
O processo envolveu um sistema de agentes coordenados, alimentados pelo modelo interno da OpenAI, com grupos de até 10.000 agentes trabalhando em versões distintas do problema. Os agentes tinham acesso a ferramentas como leitura de internet em cache e execução de código, operando sob salvaguardas de segurança equivalentes às empregadas nos testes de modelos de fronteira da empresa.
Além do problema principal, o sistema foi capaz de resolver uma versão relacionada do problema de regularidade para as equações de Euler, que descrevem o limite sem viscosidade das equações de Navier–Stokes.
Implicações e próximos passos
A resolução do problema de Navier–Stokes representa um marco tanto para a matemática quanto para o desenvolvimento de IAs capazes de pesquisa científica original. O uso de uma formalização em Lean amplia o potencial de auditabilidade e reuso da prova por matemáticos humanos e sistemas automatizados.
Ainda será necessário que a comunidade matemática revise e valide os resultados, especialmente dada a complexidade e o rigor exigidos por um Millennium Prize Problem. O Clay Mathematics Institute, por tradição, só reconhece soluções após ampla verificação independente.
Se confirmada, a solução pode impactar desde a teoria matemática até aplicações práticas em simulações de fluidos, exigindo revisão de modelos físicos em campos como engenharia, meteorologia e biofísica. O anúncio também serve como sinal sobre o patamar de competência atingido por sistemas de IA em pesquisa fundamental.
Por que importa
A OpenAI não apenas reivindica a resolução de um dos maiores problemas abertos da matemática, como demonstra o uso de IA avançada para pesquisa original e formalização automatizada. O precedente pode acelerar a resolução de outros problemas fundamentais, além de inaugurar uma nova era de colaboração entre IA e ciência pura. Para a comunidade técnica, o movimento reforça a necessidade de se preparar para ciclos de inovação em que IA não só automatiza tarefas, mas propõe e valida descobertas inéditas.