OpenAI diz que resolveu problema de matemática de 90 anos em 88 horas

A OpenAI afirma que encontrou uma solução para um problema matemático avançado de décadas em questão de horas, usando um novo modelo de inteligência artificial (IA) e milhares de bots de IA.

O criador do ChatGPT disse na terça-feira, externo que ao concentrar um grupo de cerca de 10.000 agentes de IA, ou bots de IA que realizam tarefas de forma um tanto autônoma, resolveu um problema matemático notoriamente difícil em apenas 88 horas.

O problema fazia parte das equações de Navier-Stokes, externoque se preocupam com a forma como os fluidos se movem. Durante 90 anos, aspectos importantes dos problemas careceram de prova, do argumento subjacente a uma equação matemática correta.

A OpenAI chamou a solução encontrada de “marco” e evidência de que as ferramentas de IA estão melhorando rapidamente.

A solução da OpenAI ainda não foi verificada de forma independente ou aceita publicamente pelo The Clay Mathematics Institute, uma organização matemática sediada nos EUA que administra o Prêmio Millennium, que oferece muito dinheiro ao primeiro que resolver certos enigmas matemáticos.

A empresa disse que no final de agosto começou a treinar um novo modelo que rapidamente mostrou que era adepto da matemática. Os modelos de IA são programas de computador treinados em grandes quantidades de dados para reconhecer e prever padrões de informação.

Embora o novo modelo OpenAI continue sendo uma ferramenta usada apenas dentro da empresa, pois é “significativamente mais capaz” do que o lançamento mais recente do modelo de IA da empresa, seus pesquisadores decidiram usá-lo em alguns problemas matemáticos avançados notáveis.

A OpenAI admitiu que na semana passada, 1 de setembro, “ouviu rumores de que dois problemas do Prémio Millennium tinham sido resolvidos” e por isso decidiu colocar milhares de bots de IA treinados no novo modelo interno para trabalhar na tentativa de resolver alguns dos problemas restantes.

Em 5 de setembro, ou cerca de 88 horas depois de definir 10.000 bots de IA para a tarefa, a OpenAI encontrou uma solução para o que é conhecido como problema de existência e suavidade de Navier-Stokes.

O problema está no cerne da turbulência, um fenômeno que ainda não é bem compreendido.

Embora os bots de IA aparentemente tenham levado pouco tempo para chegar a uma solução, a OpenAI disse que os bots trocaram quase 3 milhões de mensagens e usaram 130 bilhões de tokens de saída, ou as linhas individuais de texto e código que um modelo de IA produz em respostas, apenas em Navier-Stokes.

Tal esforço teria custado cerca de US$ 10 milhões (£ 7,3 milhões), com base nos preços da própria OpenAI, externo para saída de seus modelos mais avançados.

A solução que a OpenAI diz ter alcançado agora para o problema de existência e suavidade de Navier-Stokes resolveu duas das quatro afirmações na prova que o Prémio Millennium tinha exigido. O prêmio vale US$ 1 milhão para o vencedor.

“Nosso objetivo ao divulgar este resultado é relatar o progresso substancial de nossos modelos de IA”, disse a OpenAI na terça-feira. “Não pretendemos reivindicar o Prémio Milénio por este resultado.”

A afirmação da empresa já está gerando alguma controvérsia.

Tristan Buckmaster, professor de matemática da Universidade de Nova York, disse na terça-feira, externo que ele e Levent Alpöge, um matemático que trabalha para a Anthropic, rival da OpenAI, também estavam trabalhando em soluções para o problema.

A dupla vinha usando a ferramenta Codex da OpenAI em seu trabalho. Mas Buckmaster disse que em 3 de setembro descobriu que “informações sobre nosso progresso foram repassadas à OpenAI”.

A declaração de Buckmaster veio no mesmo dia, mas horas antes a OpenAI publicou seu trabalho Navier – Stokes. Ele afirmou que a OpenAI não começou a trabalhar nas equações de Navier-Stokes até “depois que as informações sobre nosso trabalho chegaram à OpenAI”. Ele incluiu textos de e-mails trocados com a OpenAI durante o trabalho e suas dúvidas sobre o momento e os métodos da empresa.

Buckmaster acrescentou que ainda não tinha lido a prova completa da OpenAI, mas sentiu-se compelido a tornar público “o que me foi dito, quando e o que me foi proposto… porque a alternativa é deixar uma sequência de anúncios dizer algo que sei ser falso”.

A OpenAI parabenizou na terça-feira o “trabalho simultâneo” de Buckmaster e Alpöge, chamando-o de “notável”.

A empresa disse que não tinha visto “nenhum de seus trabalhos por qualquer meio até que o divulgassem publicamente” e que nenhum dado do usuário foi acessado em seu trabalho no problema Navier-Stokes.

“Embora improvável, não podemos descartar que dados anonimizados derivados do uso de nossos produtos ajudaram a melhorar nossos modelos⁠”, acrescentou a empresa. “No entanto, as nossas provas diferem significativamente e até mesmo os resultados precisos provados são diferentes.”