IA da OpenAI Conquista Problema do Milênio de Navier-Stokes

A resolução do Problema de Existência e Suavidade de Navier-Stokes pela IA da OpenAI marca um avanço substancial na capacidade da inteligência artificial para lidar com questões matemáticas fundamentais. As Equações de Navier-Stokes, formuladas no século XIX por Claude-Louis Navier e George Gabriel Stokes, descrevem o movimento dos fluidos. Elas são a base para entender fenômenos como o fluxo de ar em aeronaves, padrões climáticos e até a circulação sanguínea. O desafio, proposto como um dos sete Problemas do Milênio em 2000 pelo Clay Mathematics Institute, era determinar se soluções para essas equações em três dimensões sempre permanecem suaves ou se podem desenvolver singularidades, ou seja, pontos onde a velocidade do fluido se torna infinita em tempo finito.

A IA da OpenAI demonstrou que, de fato, é possível que a dinâmica de fluidos tridimensional suave desenvolva uma singularidade em tempo finito. O sistema gerou tanto uma prova analítica quanto uma formalização completa em Lean, uma linguagem de prova assistida por computador. Este feito foi alcançado por um sistema multi-agente, que contou com a coordenação de cerca de 10.000 agentes simultâneos. Eles trabalharam por aproximadamente 88 horas para encontrar a prova, e mais 17 horas para a formalização, acessando recursos como uma versão em cache da internet e capacidade de executar código.

A cobertura anterior do CEVIU já vinha mostrando a evolução das IAs da OpenAI na matemática. Em maio de 2026, por exemplo, noticiamos que um "reasoning model" da OpenAI havia refutado uma conjectura geométrica. Em agosto de 2026, com matérias como "Modelo de IA da OpenAI Desvenda Dez Problemas Matemáticos e de Computação Inéditos", revelamos que um modelo ainda não lançado, o que depois conhecemos como Astra, tinha resolvido dez problemas matemáticos em aberto. A notícia atual, que destacamos no CEVIU News em 9 de setembro de 2026, representa um salto de capacidade: o sistema que resolveu Navier-Stokes é "significativamente mais capaz que o GPT-6 Astra".

Isso mostra que a OpenAI está em um ciclo de rápida iteração e aprimoramento. O que antes era um avanço impressionante na resolução de múltiplos problemas abertos, agora é superado por um modelo que ataca um dos desafios mais proeminentes da matemática, um Problema do Milênio. A corrida para testar o modelo em Navier-Stokes foi, inclusive, impulsionada por rumores em 1 de setembro de 2026 de que outros Problemas do Milênio estariam sendo resolvidos, o que levou a OpenAI a direcionar seus agentes para essa questão.

A resolução de um dos Problemas do Milênio por uma IA não é apenas uma vitória acadêmica; ela redefine o papel da inteligência artificial na pesquisa científica fundamental. Este avanço demonstra que IAs podem atuar como co-pilotos ou até mesmo como protagonistas na descoberta de novos conhecimentos teóricos, abrindo caminhos para avanços em áreas como meteorologia, engenharia aeroespacial e medicina. Compreender a natureza das singularidades em fluidos pode levar a modelos mais precisos de sistemas complexos e, potencialmente, ao design de tecnologias mais eficientes.

Além do impacto direto na física e engenharia, o método empregado pela OpenAI, utilizando um sistema multi-agente, prova a eficácia de abordagens de IA cooperativas para resolver problemas de altíssima complexidade. Essa capacidade de orquestrar milhares de agentes de IA para uma meta comum pode ser replicada em outros domínios científicos, acelerando descobertas em química, biologia e materiais, marcando uma nova era de ciência assistida por IA.