OpenAI aciona 10 mil agentes de IA e diz ter resolvido problema Navier-Stokes em 88 horas

A OpenAI afirma que um modelo interno de inteligência artificial, coordenando cerca de 10 mil agentes, resolveu em 88 horas um problema matemático aberto há 90 anos.

Segundo a própria OpenAI, o alvo foi o problema de existência e suavidade das equações de Navier–Stokes, um dos sete Problemas do Milênio do Instituto Clay, com prêmio de US$ 1 milhão. A empresa relata ter encontrado um cenário em que as equações “explodem” em velocidade infinita, usando um modelo mais capaz que o recém-lançado GPT‑6 Astra e uma arquitetura em que milhares de agentes trabalham em paralelo.

O que é o problema de Navier–Stokes e por que isso importa?

O problema Navier–Stokes gira em torno das equações que descrevem o movimento de fluidos — ar, água, sangue, jato de avião, correntes oceânicas. Elas foram escritas no século XIX, mas ainda falta responder de forma rigorosa perguntas básicas: soluções sempre existem? São únicas? Permanecem suaves ou podem desenvolver uma singularidade, um ponto em que a velocidade cresce sem limite em tempo finito?

O desafio formal definido pelo Instituto Clay, o chamado problema de existência e suavidade, pede uma prova matemática sobre esse comportamento em três dimensões num espaço infinito, com fluido viscoso. A OpenAI relata que seus sistemas exibiram um caso em que, mesmo partindo de um fluxo suave e com a viscosidade atuando como “freio” interno, as equações produzem uma região em que a velocidade dispara para o infinito enquanto a energia total do fluido segue finita. Em linguagem de prêmio do milênio: um contraexemplo de suavidade, resolvendo o problema na direção “explode sim”.

No mundo físico, isso não significa que água ou ar atinjam velocidade infinita num tubo ou numa asa de avião. O recado é outro: sob certas condições teóricas, as equações deixam de representar bem a realidade, o que mexe com o nível de confiança em simulações de turbulência usadas de engenharia aeronáutica a previsão do tempo. O Instituto Clay, porém, ainda lista o problema como não resolvido, e a solução da OpenAI não foi validada por eles.

Como a IA da OpenAI chegou à solução em 88 horas?

A empresa conta que começou a treinar um novo modelo em 28 de agosto. Esse modelo interno, descrito como “significativamente mais capaz” que o GPT‑6 Astra, aparece como destaque em benchmarks de matemática. No dia 1º de setembro, depois de ouvir rumores de que dois Problemas do Milênio teriam sido atacados com sucesso, a OpenAI decidiu concentrar esse sistema numa bateria de problemas avançados, incluindo Navier–Stokes.

Para o ataque principal, a companhia colocou cerca de 10 mil agentes de IA — bots que operam de forma relativamente autônoma — trabalhando simultaneamente sobre o problema. Esses agentes trocaram quase 3 milhões de mensagens entre si e consumiram, só no caso Navier–Stokes, algo como 130 bilhões de tokens de saída, segundo a própria OpenAI.

Pelas contas da empresa, se esse volume de computação fosse cobrado pelos preços atuais dos modelos avançados (na linha do Astra), a conta passaria de US$ 10 milhões. Outra estimativa, citada em apuração internacional, fala em 300 bilhões de tokens ao longo de uma semana de experimentos, o que daria cerca de US$ 22,5 milhões em computação se fosse faturado como uso comum de API. É uma amostra de força bruta: um laboratório universitário ou departamento de matemática não chega perto disso com orçamento de pesquisa regular.

Depois de gerar um suposto contraexemplo para a suavidade de Navier–Stokes em três dimensões, a OpenAI afirma ter formalizado o resultado em Lean, linguagem usada para verificação automática de provas. A versão verificada em Lean funciona como selo interno de que, do ponto de vista lógico, o argumento está fechado, ainda que a comunidade não tenha tido tempo de destrinchar todos os detalhes.

O que exatamente a OpenAI diz ter provado?

Na formulação descrita pela própria OpenAI, o resultado é um exemplo matemático de fluido viscoso que começa em repouso, é acionado por uma força externa suave (sem trancos, sem irregularidades bruscas) e, ainda assim, desenvolve uma singularidade: em certa região, a velocidade tende ao infinito em tempo finito, enquanto a energia total do sistema se mantém limitada.

Esse cenário atinge diretamente o núcleo do problema de existência e suavidade Navier–Stokes em três dimensões. A Clay descreve o desafio como descobrir se tais equações sempre produzem soluções suaves para todo tempo ou se existe algum dado inicial “bem comportado” que leva a um colapso matemático. A OpenAI diz ter encontrado justamente esse caso de colapso.

O detalhe incômodo: o Instituto Clay exige critérios técnicos específicos (como o tipo de domínio espacial e a natureza da força aplicada) para considerar o Problema do Milênio resolvido. A própria OpenAI admite que sua prova, no formato atual, resolve duas das quatro afirmações envolvidas na versão do prêmio. Na leitura da empresa, houve “substantial progress”, mas ela não pretende reivindicar o cheque de US$ 1 milhão.

A matemática por trás não nasceu do zero na sala de máquina da OpenAI. Há anos, pesquisadores como Diego Córdoba e Luis Martínez‑Zoroa desenvolvem técnicas analíticas baseadas em cascatas infinitas de soluções “em camadas” para gerar singularidades, primeiro em equações de Euler (fluido sem viscosidade) com forçamento complicado, depois aproximando o terreno de Navier–Stokes. Os dois grupos que explodiram o problema agora — o da OpenAI e o de Tristan Buckmaster com Levent Alpöge — se apoiam nessa linhagem de ideias.

Drama acadêmico: quem chegou primeiro ao problema Navier–Stokes?

O anúncio técnico veio acompanhado de um roteiro de disputa de crédito. Horas antes de a OpenAI publicar sua prova, Tristan Buckmaster, professor de matemática da NYU, divulgou um comunicado relatando que ele e Levent Alpöge, pesquisador da Anthropic, haviam obtido resultados avançados em problemas relacionados usando modelos de IA, entre eles o Codex da própria OpenAI e o Claude, da Anthropic.

Buckmaster diz que a dupla tinha uma solução para um problema próximo ao de Navier–Stokes desde 22 de agosto e que, em 3 de setembro, após rumores no meio acadêmico, soube que “informações sobre o progresso” deles haviam chegado à OpenAI. Segundo o matemático, uma equipe inteira da empresa passou a trabalhar no mesmo tipo de abordagem — uma rota pouco comum entre especialistas — e teria produzido uma prova completa do problema do milênio em tempo recorde, usando uma quantidade de computação que ele descreve como “insana”.

Esse é o ponto sensível: Buckmaster e Alpöge usaram extensivamente o Codex para armazenar rascunhos, ideias e tentativas. A política da OpenAI permite treinar modelos com base nessas interações, a menos que o usuário opte explicitamente por ficar de fora. Buckmaster questiona se esse material, mesmo de forma desidentificada, alimentou o modelo interno que depois “redescobriu” a rota para o problema Navier–Stokes.

A OpenAI nega ter acessado qualquer dado específico de usuário ou visto o trabalho dos dois antes da publicação. Em nota, a empresa afirma que “nenhum dado específico de usuário foi acessado” para resolver Navier–Stokes e admite apenas que, “embora improvável, não pode descartar que dados desidentificados derivados do uso de seus produtos tenham ajudado a melhorar os modelos”. Pesquisadores da OpenAI dizem ainda que as provas são significativamente diferentes, inclusive no tipo de resultado obtido na versão das equações de Euler (sem viscosidade).

IA resolveu um Problema do Milênio ou só mudou a barra de comparação?

Fora da novela de bastidores, resta a dúvida central: a comunidade matemática vai aceitar que o problema Navier–Stokes, na formulação do Instituto Clay, está resolvido por uma IA? Até agora, não.

De um lado, o trabalho da OpenAI traz um passo que matemáticos levam a sério: a formalização em Lean, linguagem de prova assistida por computador. Isso reduz a chance de erro lógico escondido em cem páginas de argumento. Veículos especializados descrevem a conquista, se confirmada, como de longe a prova matemática mais importante obtida até hoje com ajuda dominante de um modelo de IA.

De outro, o próprio Clay ainda lista o problema como “Unsolved”. E vários pontos seguem abertos: a prova ainda passa por escrutínio público, a compatibilidade exata com as regras do prêmio não está clara, e o histórico recente da OpenAI de anunciar avanços de IA com discurso agressivo deixa uma parte da comunidade em modo cético por padrão. O fato de a empresa dizer que não pretende reivindicar o prêmio de US$ 1 milhão reduz a pressão financeira, mas não resolve a disputa de prioridade e autoria em relação ao grupo de Buckmaster e Alpöge.

Enquanto isso, outra consequência já está em jogo: o episódio acende o debate sobre como grandes modelos de linguagem entram na matemática séria. De um lado, laboratórios bilionários mostram que conseguem despejar dezenas de milhões de dólares em computação para empurrar fronteiras de teoria. Do outro, matemáticos acadêmicos vão ter que decidir se aceitam esse “novo normal” de colaboração assimétrica — ou se exigem regras mais duras de transparência sobre dados de treinamento e acesso a ferramentas de prova automática.

O que falta saber agora sobre o caso Navier–Stokes da OpenAI?

Mesmo com o barulho, vários pontos concretos seguem pendentes. O Instituto Clay ainda não se pronunciou sobre a prova, nem indicou se considera que os critérios do Problema do Milênio foram de fato atendidos nessa versão da solução. A comunidade especializada continua destrinchando os detalhes técnicos, enquanto o grupo de Buckmaster e Alpöge trabalha na checagem em Lean de seus próprios resultados mais fortes, ainda não publicados integralmente.

Do lado da OpenAI, a empresa não abre o modelo usado, não libera o sistema de agentes para a comunidade e descreve o motor do feito apenas como “um modelo interno mais poderoso que o GPT‑6 Astra”. Para quem olha de fora, o recado é duplo: demonstração de capacidade técnica e de bolso, mas também um alerta sobre quão opacas se tornam as provas geradas por IA quando só um laboratório privado tem a chave da máquina que as produziu.

Se o problema Navier–Stokes sair oficialmente da lista do Instituto Clay nos próximos meses, o feito entra para a estatística do prêmio de US$ 1 milhão e rearranja o mapa de quem controla as ferramentas centrais da matemática avançada.