A OpenAI anunciou em 8 de setembro de 2026 que um de seus sistemas internos resolveu o problema da existência e suavidade das equações de Navier–Stokes, um dos sete Millennium Prize Problems do Clay Mathematics Institute. O resultado, acompanhado de uma prova formalizada no Lean, afirma que as equações que descrevem o movimento de fluidos podem desenvolver uma singularidade em tempo finito — ou seja, a solução pode deixar de ser suave mesmo com condições iniciais regulares.
O que foi demonstrado
Segundo a publicação da OpenAI, o sistema produziu uma prova analítica e uma formalização em Lean mostrando que um fluido inicialmente em repouso, sujeito a uma força suave, pode desenvolver uma região de vórtice que se alonga e acelera indefinidamente, formando uma singularidade em tempo finito. A energia do sistema permanece finita durante todo o processo, como exigido pelas leis físicas. Esse resultado resolve especificamente os itens “C” e “D” na formulação oficial do problema pelo Clay Mathematics Institute.
O fenômeno descrito — o colapso de um vórtice — implica que, sob certas condições, a descrição contínua do fluido pelas equações de Navier–Stokes deixa de ser válida, pois a velocidade cresce sem limite em um ponto, apesar da viscosidade. Isso força, em princípio, o uso de modelos baseados em partículas individuais para continuar a análise após o surgimento da singularidade.
Processo e tecnologia envolvidos
A solução foi obtida por um sistema multiagente coordenado, alimentado por um modelo interno da OpenAI considerado significativamente mais avançado que o GPT-6 Astra. O treinamento do modelo começou em 28 de agosto e, em menos de duas semanas, o sistema foi exposto a diferentes variantes dos Millennium Prize Problems. Para o problema de Navier–Stokes, grupos de aproximadamente 10.000 agentes colaboraram usando acesso a ferramentas de busca, execução de código e comunicação interna. O grupo responsável pela solução trabalhou em paralelo em variantes que buscavam tanto a existência quanto a inexistência de singularidades.
Além do problema principal, o sistema também resolveu um caso relacionado para as equações de Euler (a versão sem viscosidade), indicando desempenho robusto em diferentes desafios matemáticos de fronteira.
Implicações e próximos passos
A resolução do problema de Navier–Stokes é um marco para a matemática e para a pesquisa em IA. Se confirmada pela comunidade, a solução encerra uma dúvida de quase um século sobre a possibilidade de singularidades em fluidos tridimensionais. O uso de sistemas multiagentes e de formalização automática em Lean reforça o potencial da IA para a pesquisa matemática formal e colaborativa.
No entanto, como ocorre com qualquer avanço desse porte, a validação independente por matemáticos humanos será essencial antes da aceitação definitiva do resultado. O Clay Mathematics Institute, responsável pelo prêmio, deverá conduzir uma revisão detalhada da prova e da formalização publicada.
Por que importa
A capacidade de IAs avançadas em resolver problemas matemáticos abertos indica um salto qualitativo na utilidade desses sistemas para ciência, engenharia e tecnologia. Para a comunidade de IA, o anúncio sinaliza novos patamares de desempenho em modelos internos, com possíveis impactos futuros em aplicações industriais e acadêmicas. Para o Brasil, onde pesquisa matemática e aplicações em engenharia de fluidos têm relevância, o resultado pode redefinir linhas de pesquisa e acelerar a adoção de ferramentas baseadas em IA para conjecturas e provas formais.