O Navier-Stokes é um dos 7 Problemas do Milênio do Clay Mathematics Institute, cada um com prêmio de US$ 1 milhão, e pergunta se o movimento suave de um fluido em três dimensões pode “quebrar” (quando a matemática que descreve gases e líquidos deixa de ter solução regular). No dia 8 de setembro de 2026 a OpenAI anunciou ter produzido uma prova pra esse problema usando um enxame de agentes de IA, segundo o post oficial da empresa. Horas antes do anúncio, virou público que dois matemáticos vinham investigando o mesmo terreno e alegam que a OpenAI teve acesso ao progresso deles antes de publicar.

O que a OpenAI diz ter provado?

A prova argumenta que um vórtice de fluido pode atingir velocidade infinita em tempo finito, mesmo mantendo energia total finita, o que caracteriza uma quebra (singularidade) das equações de Navier-Stokes, segundo reportagem da Quanta Magazine. O problema está sem solução conhecida há cerca de 90 anos, de acordo com a Nature.

A OpenAI não está reivindicando o US$ 1 milhão do Clay Institute. A empresa liberou a prova e a formalização em Lean (uma linguagem que permite verificação automática de passos matemáticos) como evidência de capacidade, não como pedido oficial de prêmio, segundo a CNN Business. O Clay Mathematics Institute ainda não validou o resultado, e a comunidade de matemáticos precisa inspecionar cada passo do argumento antes de qualquer reconhecimento formal.

Como 10 mil agentes de IA resolveram um problema de quase 90 anos?

Segundo a OpenAI, cerca de 10 mil agentes de IA rodaram em paralelo por aproximadamente 88 horas, entre 1º e 5 de setembro, consumindo 2,7 milhões de mensagens trocadas e cerca de 130 bilhões de tokens de output, de acordo com a CoinDesk. Não é um modelo respondendo uma pergunta. É um enxame de instâncias explorando ramificações diferentes da prova ao mesmo tempo, um jeito de usar IA que já apareceu em outras áreas (código, segurança) mas que agora chega à pesquisa matemática original.

Pra quem acompanha o avanço de agentes de IA, esse é o dado que separa esse caso de um “chatbot resolvendo conta”. A escala (10 mil processos coordenados) é a própria demonstração de capacidade, mais do que a elegância da prova em si.

Por que os matemáticos da NYU e da Anthropic acusam a OpenAI?

Horas antes do anúncio da OpenAI, o matemático Tristan Buckmaster, da New York University, publicou que ele e Levent Alpöge, pesquisador da Anthropic, vinham trabalhando em problemas relacionados usando o Codex (ferramenta de código da própria OpenAI), segundo o MIT Technology Review. Buckmaster disse ter descoberto em 3 de setembro que detalhes do avanço da dupla tinham chegado à OpenAI, o que o levou a acreditar que a empresa só começou seu próprio esforço em Navier-Stokes depois disso.

A acusação mais grave: segundo o relato de Buckmaster reproduzido pela BigGo Finance, o pesquisador da OpenAI Sébastien Bubeck teria pressionado, duas vezes na mesma ligação, para que Alpöge fosse excluído da lista de autores do artigo que descreveria o resultado, justamente por Alpöge trabalhar na Anthropic, concorrente direta da OpenAI. A proposta, segundo Buckmaster, era que ele assinasse sozinho um paper que citaria o modelo interno da OpenAI como autor da solução.

A OpenAI nega ter acessado o trabalho privado da dupla ou os logs do Codex usados por eles, segundo a Forbes. Até a publicação deste artigo, nenhuma das partes apresentou evidência técnica pública (como timestamps de acesso a sistemas) que resolva a disputa de forma definitiva.

O que isso muda pra quem cria e coordena agentes de IA?

A parte mais nova aqui não é a matemática, é a governança. Quando um resultado nasce de milhares de agentes rodando em paralelo, “quem descobriu o quê e quando” vira uma pergunta técnica real, não só uma briga de ego. A Axios resume bem o problema: o avanço histórico da OpenAI em matemática saiu ofuscado pela dúvida sobre proveniência dos dados no dia seguinte ao anúncio.

Pra quem já roda automação com agentes de IA em escala menor (atendimento, geração de conteúdo, análise de dados pra cliente), a lição prática é a mesma em tamanho reduzido: registrar timestamp de cada etapa, versionar prompts e decisões, e deixar rastro de quem (ou qual agente) fez o quê. Não é burocracia. É a diferença entre provar que o trabalho é seu e ficar refém da palavra do outro lado, exatamente o buraco em que Buckmaster e a OpenAI caíram.

Fonte

MIT Technology Review: What OpenAI’s latest controversy tells us about the future of math

CoinDesk: OpenAI says 10,000 AI agents solved a $1 million ‘Navier-Stokes’ math problem

Quanta Magazine: AI Has Solved One of Math’s $1 Million Millennium Prize Problems

Nature: OpenAI claims huge maths breakthrough on a famed ‘Millennium Problem’

CNN Business: OpenAI says it has solved one of math’s “Millennium Problems”

Forbes: OpenAI Cracks 200-Year-Old ‘Millennium’ Math Problem, But Credit Dispute Looms

Axios: OpenAI’s historic math solution overshadowed by credit controversy

BigGo Finance: AI cracks a Millennium Prize-adjacent problem, igniting a credit war

OpenAI: On the Navier-Stokes Millennium Prize Problem

A Formação em Agentes IA e Automações da ibe.IA ensina a montar e coordenar agentes de IA de verdade, com processo documentado, pra atender clínica, imobiliária e e-commerce sem virar refém de “quem fez o quê”.

Conheça a Formação em Agentes IA e Automações

E se essa leitura te ajudou a entender o que está acontecendo, segue a ibe.IA no Instagram (@ibe.ia) que toda semana sai conteúdo desse jeito.