IA da OpenAI resolve problema do milênio Navier-Stokes

A OpenAI anunciou na manhã de 8 de setembro de 2026 que um grupo de agentes de inteligência artificial produziu uma solução para o problema de Navier-Stokes, um dos seis Problemas do Milênio ainda em aberto do Clay Mathematics Institute, com prêmio de US$ 1 milhão.

As equações de Navier-Stokes descrevem o movimento de fluidos. A pergunta em aberto era se soluções suaves em três dimensões permanecem bem-comportadas para sempre. A resposta encontrada pelos agentes é que não: eles descrevem uma configuração em que um vórtice se aperta e gira cada vez mais rápido até formar uma singularidade em tempo finito — o chamado finite-time blowup —, com a energia do fluido permanecendo limitada durante todo o processo.

Dez mil agentes e 88 horas

Segundo a OpenAI, o trabalho foi feito por cerca de 10 mil agentes rodando em paralelo sobre um modelo de próxima geração ainda não lançado, descrito pela empresa como significativamente mais capaz que o GPT-6 Astra. Os agentes trocaram perto de 5 milhões de mensagens entre si e chegaram ao resultado em 5 de setembro, aproximadamente 88 horas depois do início do projeto.

Em seguida, o GPT-6 Astra passou mais 17 horas formalizando e checando o argumento em Lean, linguagem de prova assistida por computador. É esse ponto que dá peso ao anúncio: uma prova que compila em Lean tem sua lógica verificada mecanicamente, o que reduz a chance de um erro passar despercebido. A conta de computação envolvida é estimada em vários milhões de dólares.

A OpenAI afirmou que não pretende reivindicar o prêmio de US$ 1 milhão.

O que ainda falta

A verificação formal não encerra a discussão. Matemáticos ainda precisam ler o argumento e decidir se ele cumpre todos os requisitos do enunciado oficial do Clay Institute, que tem formulação própria e exigências específicas.

O resultado também chega sobre ombros humanos. O anúncio da OpenAI veio horas depois de Tristan Buckmaster e Levent Alpöge divulgarem, na madrugada de 7 de setembro, um resultado assistido por IA para as equações de Euler. Charles Fefferman, de Princeton, que redigiu o enunciado oficial do problema, disse à Quanta Magazine estar “empolgado por o problema ter sido resolvido” e apontou os matemáticos Diego Córdoba e Luis Martínez-Zoroa como “os heróis da história” — Buckmaster chegou a defender uma Medalha Fields para Martínez-Zoroa pelo trabalho de base.

Há ainda um limite prático a registrar: a singularidade vale para o fluido idealizado e contínuo das equações. Fluidos reais são feitos de moléculas discretas, e o resultado não muda nada na engenharia de escoamentos no curto prazo. O impacto imediato é outro — é a primeira vez que um sistema de IA entrega, de ponta a ponta, um resultado desse porte na fronteira da matemática.

Fontes: OpenAI · Quanta Magazine · Semafor