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, considerado mais avançado do que o GPT-6 Astra, e inclui tanto um artigo detalhado quanto uma prova formalizada em Lean, disponível ao público.
O que foi resolvido
O problema de Navier–Stokes, em aberto há quase 90 anos, questiona se as soluções das equações para fluidos tridimensionais incompressíveis podem desenvolver singularidades — ou seja, regiões onde a velocidade cresce sem limite em tempo finito, mesmo partindo de condições suaves. Isso significaria uma quebra no modelo contínuo tradicional, forçando a descrição do fluido a partir do comportamento de cada partícula individual.
A OpenAI afirma que seu sistema produziu uma prova analítica e uma formalização em Lean demonstrando que um fluido inicialmente em repouso, ao receber uma força externa suave, pode sim atingir uma singularidade em tempo finito. O processo, segundo o anúncio, conserva energia finita durante toda a evolução dinâmica, cumprindo as restrições físicas do problema. O mecanismo principal é um vórtice que se alonga progressivamente, mantendo energia enquanto a velocidade local cresce sem limite.
Como a prova foi construída
Desde o final de agosto, a OpenAI treinava um novo modelo interno com desempenho inédito em benchmarks de matemática. A equipe coordenou cerca de 10 mil agentes autônomos, com acesso a ferramentas como leitura de internet em cache e execução de código. Os agentes foram organizados em grupos e abordaram variantes do problema de Navier–Stokes, incluindo as versões “A”, “B”, “C” e “D” da formulação oficial do Millennium Prize.
A solução apresentada resolve as versões “C” e “D”, que correspondem à demonstração da possibilidade de formação de singularidade em condições específicas. Também foram tentadas variantes mais simples, como a regularidade para as equações de Euler (caso sem viscosidade), com resultados positivos reportados.
Implicações e próximos passos
A resolução do problema de Navier–Stokes representa um marco para a matemática e para a pesquisa em IA. Se validada pela comunidade, implica que sistemas de IA já são capazes de avançar em questões matemáticas profundas, tradicionalmente reservadas a especialistas humanos. O anúncio destaca a importância de informar a sociedade sobre o ritmo do progresso em IA e suas consequências potenciais.
A OpenAI publicou tanto o artigo quanto a formalização em Lean, mas a aceitação plena pela comunidade matemática depende de um processo de revisão detalhado. Como em outros Millennium Prizes, a verificação independente será fundamental antes do reconhecimento oficial e da eventual premiação.
A comunidade científica brasileira, com tradição em matemática aplicada e análise de equações diferenciais, deve acompanhar de perto a validação e as repercussões desse anúncio. O acesso aberto à prova formalizada pode acelerar a revisão e, potencialmente, estimular colaborações globais.