OpenAI diz que 10.000 agentes de IA resolveram um problema matemático do Milênio em 88 horas — e gerou uma disputa por crédito

A OpenAI anunciou esta semana que um enxame de 10.000 agentes de IA trabalhando em paralelo produziu uma solução proposta para o problema de singularidade de Navier-Stokes — um dos sete Problemas do Milênio do Clay Mathematics Institute, cada um avaliado em $1 milhão — em aproximadamente 88 horas. A empresa diz que não reivindicará o prêmio mesmo que a prova seja confirmada.

O que o problema realmente pergunta

As equações de Navier-Stokes descrevem como fluidos como água e ar se movem. Matemáticos passaram mais de um século tentando determinar se um fluxo de fluido perfeitamente suave poderia teoricamente colapsar em uma singularidade de velocidade infinita em tempo finito. A prova proposta pela OpenAI descreve um vórtice de fluido que se estica e concentra até que sua velocidade cresça sem limites, enquanto a energia total do sistema permanece finita.

Como a OpenAI fez isso

O esforço usou 10.000 agentes autônomos trocando mensagens entre si por aproximadamente 88 horas a partir do sábado à noite, consumindo recursos computacionais que a OpenAI descreveu como custando “milhões de dólares” — cerca de 1.000 vezes mais que os esforços matemáticos anteriores da empresa. O diretor de pesquisa Mark Chen chamou isso de “um marco significativo para a pesquisa em IA”.

A disputa pelo crédito

Horas antes do anúncio da OpenAI, os matemáticos Tristan Buckmaster (NYU) e Levent Alpöge (pesquisador da Anthropic) publicaram independentemente trabalho assistido por IA sobre equações relacionadas, usando uma metodologia similar que a dupla desenvolveu ao longo de quase um ano. Buckmaster alega que a OpenAI só perseguiu o problema depois de saber de sua pesquisa. A OpenAI nega acesso direto ao trabalho rival, mas reconheceu que “embora improvável, não podemos descartar que dados desidentificados derivados do uso de nossos produtos por eles tenham ajudado a melhorar nossos modelos”.

A verificação levará anos

O Clay Mathematics Institute ainda não verificou a prova. Seu presidente, Martin Bridson, disse que o processo de avaliação é “deliberadamente sem pressa” — uma solução deve sobreviver à revisão por pares e a cerca de dois anos de aceitação pela comunidade matemática antes que o comitê do prêmio sequer a considere.