A OpenAI, empresa dona do ChatGPT, anunciou na terça-feira (08/09) ter encontrado em 88 horas a solução para um problema matemático complexo que ficou sem solução por 90 anos.
Segundo a companhia, a questão foi resolvida em 88 horas com um novo modelo de inteligência artificial (IA) e cerca de 10 mil robôs que executam tarefas de forma relativamente autônoma.
O problema fazia parte das equações de Navier-Stokes, que descrevem o movimento de fluidos.
Por nove décadas, aspectos importantes desses problemas careciam de uma prova, ou seja, da demonstração que fundamenta uma equação matemática correta.
A OpenAI classificou a solução encontrada como um "marco" e como uma comprovação da rápida evolução das ferramentas de IA.
Matemáticos acusam a empresa
A solução da OpenAI ainda não foi verificada de forma independente nem aceita publicamente pelo Instituto Clay Mathematics, uma organização sediada nos EUA que organiza o Prêmio Millennium, oferecendo uma grande quantia em dinheiro para quem resolver primeiro determinados quebra-cabeças matemáticos.
Mas o anúncio feito pela empresa já provocou uma forte reação.
Tristan Buckmaster, professor de matemática da Universidade de Nova York, afirmou na terça-feira que ele e Levent Alpöge, matemático da Anthropic (empresa concorrente da OpenAI), também vinham trabalhando em uma solução para o problema.
A dupla usa a ferramenta Codex, da OpenAI. Mas Buckmaster disse que, em 3 de setembro, descobriu que "informações sobre nosso progresso haviam sido repassadas para a OpenAI".
A declaração de Buckmaster foi feita no mesmo dia, mas horas antes de a OpenAI publicar sua conquista com as equações de Navier-Stokes.
Buckmaster alegou que a OpenAI só começou a trabalhar nas equações "depois que as informações sobre nosso trabalho chegaram até eles".
Ele apresentou trechos de e-mails que trocou com a OpenAI sobre o trabalho e suas preocupações com os prazos e métodos da empresa.
Buckmaster afirmou não ter lido o trabalho completo feito pela OpenAI com as equações, mas sentiu-se compelido a tornar público "o que eles me disseram, quando e o que propuseram".
"Porque a alternativa é deixar uma série de anúncios dizer algo que eu sei que é falso", disse o matemático.
A versão da OpenAI
Na terça-feira, a OpenAI parabenizou Buckmaster e Alpöge pelo seu "trabalho simultâneo", classificando-o como "extraordinário".
A empresa assegurou não ter visto "qualquer trabalho deles através de qualquer meio até que eles fizessem a divulgação" e que nenhum dado de usuário foi acessado durante a resolução do problema de Navier-Stokes.
"Embora improvável, não podemos descartar a possibilidade de que dados anonimizados derivados do uso de nossos produtos possam ter contribuído para o aprimoramento de nossos modelos", acrescentou a empresa.
A OpenAI anunciou que, no final de agosto, começou a treinar um novo modelo que rapidamente demonstrou sua aptidão para matemática.
Modelos de IA são programas de computador treinados com grandes quantidades de dados para reconhecer e prever padrões em informações.
Embora o novo modelo da OpenAI seja de uso exclusivo da empresa — por ser "significativamente mais capaz" do que o modelo de IA mais recente da companhia —, seus pesquisadores decidiram utilizá-lo em certos problemas matemáticos avançados importantes.
Esforço tecnológico e financeiro
A OpenAI admitiu que, em 1º de setembro "ouviu rumores de que dois problemas do Prêmio Millennium tinham sido resolvidos" e por isso decidiu colocar milhares de robôs treinados no novo modelo interno para trabalhar em questões ainda não solucionadas.
Em 5 de setembro, ou cerca de 88 horas depois, anunciou ter resolvido o chamado problema de existência e suavidade de Navier-Stokes.
A questão tem a ver com a turbulência, um fenômeno ainda não totalmente compreendido.
Embora aparentemente os robôs de IA tenham levado pouco tempo para encontrar uma solução para a equação de Navier-Stokes, a OpenAI afirmou que eles trocaram quase 3 milhões de mensagens e usaram 130 bilhões de tokens de saída (linhas individuais de texto e código que um modelo de IA produz em suas respostas).
Pelos preços que a empresa utiliza para seus modelos mais avançados, esse esforço teria custado aproximadamente US$ 10 milhões (cerca de R$ 50 milhões).
A solução que a OpenAI afirma ter alcançado resolve duas das quatro afirmações que o Prêmio Millennium exigia para confirmar a prova.
O prêmio prevê US$ 1 milhão (R$ 5 milhões) para o vencedor.
"Nosso objetivo ao publicar este resultado é relatar um progresso substancial de nossos modelos de IA", afirmou a OpenAI na terça-feira. "Não pretendemos reivindicar o Prêmio Millennium por este resultado."
