Dez mil agentes de IA, 88 horas e a prova que o Clay ainda não aceitou

Na manhã de 8 de setembro de 2026, a OpenAI publicou o que chama de solução do problema de existência e suavidade das equações de Navier-Stokes, um dos sete Problemas do Prêmio Millennium do Clay Mathematics Institute. Pelo relato da própria empresa, um grupo da ordem de 10 mil agentes concorrentes, rodando um modelo interno ainda não lançado, chegou ao resultado no sábado 5 de setembro, cerca de 88 horas depois de os primeiros agentes serem ligados. A formalização em Lean — a linguagem em que um computador confere cada passo de uma demonstração — levou outras 17 horas.

A pergunta que interessa a quem dirige empresa não é se a máquina acertou. É o que exatamente ela acertou, quem abriu o caminho antes e sob quais regras aquele trabalho rodava. Nos três pontos, o episódio ensina mais sobre governança de tecnologia do que sobre fluidos.

Os números

• 10 mil agentes concorrentes no grupo que produziu o resultado, com acesso a busca e a execução de código (OpenAI, 8 de setembro de 2026).
• 88 horas entre o início da tentativa, em 1º de setembro, e a demonstração, em 5 de setembro, mais 17 horas de formalização e verificação em Lean (OpenAI).
• 2,7 milhões de mensagens entre os agentes e cerca de 130 bilhões de tokens de saída só em Navier-Stokes; 4,9 milhões de mensagens e 300 bilhões de tokens em todos os problemas atacados (OpenAI).
• US$ 1 milhão é o prêmio do Clay Institute, que a OpenAI declarou não pretender pleitear (OpenAI).

A prova cabe na letra do enunciado, não na pergunta que a área faz

As equações de Navier-Stokes descrevem o movimento de um fluido tratando-o como meio contínuo, e sustentam projeto de aeronave, previsão do tempo e estudo de fluxo sanguíneo. A dúvida aberta há cerca de 90 anos é se essa descrição pode quebrar: um fluido que começa liso pode desenvolver, em tempo finito, uma singularidade, um ponto onde a velocidade cresce sem limite.

O enunciado oficial do Clay, escrito por Charles Fefferman, aceita a prova de uma entre quatro afirmações. Em (A) e (B), a existência de solução suave, com a força externa igual a zero. Em (C) e (D), a quebra da solução — e aí o texto admite explicitamente uma força externa suave aplicada ao fluido. As quatro alternativas existem, diz o documento, para "dar margem razoável a quem resolve, mantendo o coração do problema".

A OpenAI afirma resolver (C) e (D). O objeto da prova é um vórtice: um fluido inicialmente em repouso, com uma força suave aplicada, forma um redemoinho que espirala para dentro e se alonga como espaguete, com a velocidade crescendo sem limite enquanto a energia permanece finita.

Ou seja: pela letra do documento, a demonstração cabe. Pelo costume da área, não. Terence Tao, ao comentar os resultados publicados na véspera pela dupla Tristan Buckmaster e Levent Alpöge, escreveu que o problema do Millennium trata da regularidade global sem termo de força. A diferença não é detalhe de rodapé: com força externa, o matemático pode empurrar o fluido na direção do colapso; sem ela, o colapso precisa nascer do próprio movimento.

Quem anunciou e quem paga discordam sobre o que aconteceu

O Clay Institute não mexeu na lista: Navier-Stokes continua entre os problemas abertos. Martin Bridson, presidente do instituto, disse que a avaliação será "deliberadamente sem pressa" e "absolutamente rigorosa". A OpenAI, no mesmo texto em que anuncia a solução, afirma não pretender pleitear o prêmio. As duas posições não se contradizem: mostram que "resolvido" virou palavra com duas medidas, a do comunicado e a da comunidade que valida.

Embaixo do resultado da máquina há anos de trabalho humano

A estratégia que os agentes usaram não é deles. Vem de Diego Córdoba e Luis Martínez-Zoroa, que entre 2021 e 2023 criaram o método de construir a solução em etapas, somando correções de alta frequência até forçar a singularidade. Tao credita a eles a estratégia básica, Fefferman os chamou de "heróis da história" e Buckmaster disse que Martínez-Zoroa merece uma Medalha Fields.

Buckmaster, professor da NYU, e Alpöge, pesquisador da Anthropic, publicaram em 7 de setembro três artigos com demonstrações de colapso em tempo finito com força suave para três equações de fluidos, entre elas a de Euler em três dimensões, também formalizadas em Lean. O trabalho levou mais de um ano e foi, nas palavras de Tao, fortemente assistido por IA — com Claude, Codex e Astra —, seguido de semanas de reescrita a partir do que os próprios autores chamaram de "o pior texto que já vimos na história da matemática".

Tao registrou o incômodo que sobra: houve neste ano um "desacoplamento muito estranho e sem precedentes entre obter respostas e obter entendimento". A resposta chegou antes da explicação.

A briga de crédito é um problema de governança de dados

A OpenAI conta que começou o esforço em 1º de setembro após ouvir o rumor de que dois problemas do Millennium teriam sido resolvidos, e que só depois percebeu que o rumor tratava de Alpöge e Buckmaster. Buckmaster relata ter recebido pedidos de ligação a partir de 3 de setembro e, na conversa de 6 de setembro, descoberto que a OpenAI ia anunciar a mesma linha de ataque. Ele afirma que o pesquisador Sébastien Bubeck ofereceu duas saídas — publicar o resultado parcial com a OpenAI reivindicando o problema inteiro, ou publicar sozinho desde que retirasse o nome de Alpöge, pela ligação com a Anthropic. Bubeck classificou as acusações como falsas e inflamatórias.

Nenhum dos lados apresentou prova pública. O que é verificável é mais simples e mais desconfortável, e está no próprio comunicado da OpenAI: pesquisadores e agentes não viram o trabalho alheio antes da publicação, nenhum dado específico de usuário foi acessado, mas "embora improvável, não podemos descartar que dados desidentificados derivados do uso dos nossos produtos tenham ajudado a melhorar nossos modelos".

Traduzindo para a linguagem de quem assina contrato: dois pesquisadores tocaram um resultado inédito usando ferramentas de três laboratórios, um deles concorrente do empregador de um dos autores, e nem eles nem o fornecedor conseguem afirmar com certeza o que aconteceu com aquele material. O problema não é de matemática. É a política de uso de ferramentas de IA que quase nenhuma empresa escreveu ainda.

Sinais e impactos

Para CEOs e conselhos. O ponto de pauta não é o teorema, é a regra: qual trabalho da casa pode rodar em ferramenta de fornecedor, sob qual contrato de retenção e treinamento, e quem aprova exceção. Pesquisa inédita, tese de aquisição e projeto de produto entram nessa lista primeiro.

Para C-levels e diretores. A barreira deixou de ser "o modelo não consegue". Passou a ser orquestração: 10 mil agentes coordenados num problema cujo acerto uma máquina verifica. Onde a operação tem problema difícil com resposta checável, esse desenho merece estudo.

Para donos de pequenas e médias. Nada disso cabe no orçamento hoje: 300 bilhões de tokens de saída sairiam por cerca de US$ 15 milhões aos preços públicos de API, pela estimativa do desenvolvedor Simon Willison. A leitura útil é a curva — o que hoje custa milhões em compute em dois anos vira assinatura.

Sua empresa sabe explicar o que a máquina entregou?

O retrato de 8 de setembro é este: uma demonstração que cabe na letra de um enunciado de 90 anos, produzida em 88 horas por um sistema que ninguém fora da OpenAI viu funcionar, apoiada em método humano de uma década, não aceita pela instituição que paga o prêmio e cercada por uma disputa sobre trabalho não publicado.

Cada camada dessas cobra do executivo a mesma competência: separar o que um sistema de IA de fato fez do que o anúncio diz que ele fez, e decidir o que fazer com a resposta quando a explicação não vem junto. É esse repertório — ler resultado de IA com critério e escrever as regras de uso dentro da empresa — que a Masterclass de IA da StartSe foi montada para dar a quem já tem a decisão na mão.