A OpenAI anunciou que resolveu um problema de matemática notoriamente difícil em apenas 88 horas usando um enxame de cerca de 10.000 agentes de IA. O problema, parte das equações de Navier-Stokes sobre o movimento de fluidos, não tinha prova para aspectos-chave nos últimos 90 anos. Mas com bots suficientes e uma conta de eletricidade pesada, aparentemente tudo é possível.

Na terça-feira, a fabricante do ChatGPT revelou que tinha focado um grupo de bots de IA no problema de existência e suavidade de Navier-Stokes, um enigma tão teimoso que é um dos Problemas do Prêmio Millennium do Clay Mathematics Institute, que vêm com uma recompensa de US$ 1 milhão para o primeiro solucionador. A empresa chamou sua solução de "marco" e prova de que as ferramentas de IA estão melhorando rapidamente - embora, notavelmente, ainda não tenha sido verificada de forma independente ou aceita pelo instituto.

Aqui está a linha do tempo: No final de agosto, a OpenAI começou a treinar um novo modelo interno que mostrou aptidão para matemática. Na semana passada, em 1º de setembro, a empresa ouviu rumores de que dois Problemas do Prêmio Millennium haviam sido resolvidos, então colocou milhares de bots de IA para trabalhar em alguns restantes. Em 5 de setembro - cerca de 88 horas depois - tinha uma solução para o problema de Navier-Stokes, que está no coração da turbulência, um fenômeno ainda não bem compreendido pelos humanos. Os bots trocaram quase 3 milhões de mensagens e queimaram 130 bilhões de tokens de saída (as linhas de texto e código que um modelo de IA produz) apenas em Navier-Stokes. No próprio preço da OpenAI, esse esforço teria custado cerca de US$ 10 milhões (£ 7,3 milhões).

A solução, segundo relatos, resolve duas das quatro declarações na prova que o Prêmio Millennium exigia. Mas a OpenAI não está reivindicando o prêmio. "Nosso objetivo ao divulgar este resultado é relatar o progresso substancial de nossos modelos de IA", disse a empresa. "Não pretendemos reivindicar o Prêmio Millennium por este resultado." O que é conveniente, já que o prêmio vale US$ 1 milhão e eles já gastaram US$ 10 milhões em computação.

Naturalmente, a controvérsia eclodiu. Tristan Buckmaster, professor de matemática da Universidade de Nova York, afirma que ele e Levent Alpöge, matemático da rival da OpenAI, a Anthropic, também estavam trabalhando no problema usando a ferramenta Codex da OpenAI. Buckmaster diz que em 3 de setembro, ele soube que "informações sobre nosso progresso foram passadas para a OpenAI". Ele tornou públicos e-mails trocados com a OpenAI, alegando que a empresa não começou seu trabalho em Navier-Stokes até saber do progresso de Buckmaster e Alpöge. "A alternativa é deixar uma sequência de anúncios dizer algo que sei ser falso", disse ele.

A OpenAI respondeu parabenizando o "trabalho concorrente" de Buckmaster e Alpöge, chamando-o de "notável". A empresa insiste que não viu nenhum trabalho deles até que fosse divulgado publicamente e que nenhum dado de usuário foi acessado. Mas em uma letra miúda digna de um romance de espionagem, a OpenAI acrescentou: "Embora improvável, não podemos descartar que dados desidentificados derivados do uso de nossos produtos por eles ajudaram a melhorar nossos modelos." Em outras palavras: sua lição de casa de IA pode não ser apenas avaliada - pode ser usada para resolver os problemas de matemática mais difíceis do mundo sem que você nunca receba o crédito.