10 mil agentes de IA trabalharam 88 horas seguidas — e talvez tenham resolvido um problema de 90 anos

TL;DR

Em 8 de setembro de 2026, a OpenAI anunciou que um sistema interno de IA, ainda sem nome público, produziu uma prova matemática formal relacionada ao problema de existência e suavidade de Navier-Stokes, um dos sete Problemas do Milênio do Instituto Clay de Matemática. - O que foi de fato provado: que as equações de Navier-Stokes em três dimensões podem desenvolver uma singularidade em tempo finito — uma das quatro afirmações possíveis (A, B, C ou D) que resolveriam o problema completo. A OpenAI não provou o caso sem força externa nem reivindicou o prêmio de US$ 1 milhão do Instituto Clay. - O processo: 10 mil agentes de IA coordenados, trabalhando em paralelo, chegaram à resolução em cerca de 88 horas após o início, no sábado, 5 de setembro de 2026. Antes disso, o sistema testou uma versão simplificada do problema (a equação de Euler forçada) usando 1.000 agentes por 50 horas. - O resultado inclui 249 páginas de argumento matemático, além de uma formalização no Lean, linguagem usada para verificação automática de prova matemática. - Segundo o Wall Street Journal, o custo computacional do esforço é da ordem de milhões de dólares — fora do alcance de qualquer laboratório universitário comum. - Se validada pela comunidade matemática, seria apenas a segunda vez na história que um Problema do Milênio é resolvido, 23 anos depois de Grigori Perelman resolver a Conjectura de Poincaré em 2003. O problema estava em aberto havia cerca de 90 anos. - Controvérsia de crédito: a OpenAI afirma ter iniciado o esforço em 1º de setembro depois de ouvir rumor sobre o trabalho do matemático Tristan Buckmaster (NYU) e Levent Alpöge, funcionário da Anthropic, que usaram os modelos Claude e Codex para resolver um problema relacionado (a equação de Euler forçada) — não o Navier-Stokes completo. A OpenAI diz ter oferecido anúncio conjunto e reconhecido a prioridade do trabalho deles nesse problema específico.