A OpenAI anunciou, em 8 de setembro de 2026, que um de seus sistemas internos de inteligência artificial resolveu o problema da existência e suavidade de Navier-Stokes. A descoberta trata de uma das sete questões consagradas como Problemas do Milênio pelo Clay Mathematics Institute no ano 2000.
OpenAI e a solução de Navier-Stokes
O laboratório publicou uma demonstração de 165 páginas acompanhada de uma formalização que verifica cada passo do argumento. A prova analítica demonstra que as equações podem desenvolver uma singularidade em tempo finito.
Recomendado para Você
Segundo a empresa, a solução descreve um vórtice que gira para dentro e se alonga progressivamente. Nesse cenário, a região central do redemoinho diminui enquanto a velocidade cresce indefinidamente.
O que é o problema de Navier-Stokes?
As equações de Navier-Stokes descrevem o movimento de fluidos, como a água e o ar, sendo essenciais para a previsão do tempo e o projeto de aeronaves. O desafio matemático consiste em determinar se as soluções suaves para o movimento tridimensional de fluidos permanecem sempre suaves ou se podem entrar em colapso.
Uma singularidade ocorreria se a velocidade do fluido crescesse sem limites em um intervalo finito de tempo. A OpenAI esclarece que isso não significa que fluidos reais explodam no mundo físico, mas sim que o modelo matemático deixa de descrever o comportamento do fluido.
A infraestrutura por trás da descoberta
Cerca de 10 mil agentes de IA trabalharam simultaneamente no problema por aproximadamente 88 horas. O processo utilizou 130 bilhões de tokens e 2,7 milhões de mensagens apenas para a resolução de Navier-Stokes.
A operação custou milhões de dólares em recursos computacionais. Para a verificação do resultado, a empresa utilizou a linguagem de programação Lean.
O modelo utilizado ainda não foi lançado ao público e é descrito como significativamente mais capaz que o GPT-6 Astra. Enquanto o Astra resolveu 10% de um conjunto de problemas matemáticos internos, este novo modelo atingiu quase 50%.
Controvérsias e disputas de autoria
O anúncio gerou conflitos com Tristan Buckmaster, professor da NYU, e Levent Alpöge, pesquisador da Anthropic. Buckmaster questionou se a OpenAI utilizou pesquisas de sua equipe desenvolvidas via Codex para alcançar a solução.
A OpenAI negou ter tido acesso ao trabalho rival e propôs dividir o mérito da descoberta. Apesar da solução, a empresa afirmou que não pretende reivindicar o prêmio de US$ 1 milhão oferecido pelo Clay Mathematics Institute.
