GPT soluciona um dos problemas do milênio da matemática, com muita polêmica

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

(...) O problema fazia parte das equações de Navier-Stokes , que tratam do movimento dos fluidos. Durante 90 anos, aspectos importantes do problema careceram de uma demonstração, do argumento subjacente a uma equação matemática correta.

A OpenAI classificou a solução que encontrou como um "marco" e uma prova de que as ferramentas de IA estão melhorando rapidamente.

A solução da OpenAI ainda não foi verificada de forma independente nem aceita publicamente pelo Clay Mathematics Institute, uma organização matemática sediada nos EUA que administra o Prêmio do Milênio, o qual oferece grandes prêmios em dinheiro para quem resolver primeiro determinados problemas matemáticos.

Mas a alegação da empresa já gerou uma reação negativa.

Tristan Buckmaster, professor de matemática da Universidade de Nova York, afirmou na terça-feira que ele e Levent Alpöge, matemático que trabalha para a Anthropic, concorrente da OpenAI , também estavam trabalhando na solução do problema.

A dupla vinha utilizando a ferramenta Codex da OpenAI em seu trabalho. Mas Buckmaster afirmou 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 da OpenAI publicar seu trabalho sobre as equações de Navier-Stokes. Ele afirmou que a OpenAI só começou a trabalhar nas equações de Navier-Stokes "depois que informações sobre nosso trabalho chegaram à OpenAI". Ele incluiu trechos de e-mails trocados com a OpenAI sobre o trabalho e suas perguntas sobre o cronograma e os métodos da empresa.

Buckmaster acrescentou que ainda não havia 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 seria deixar que uma sequência de anúncios dissesse algo que eu sei ser falso".

Em 5 de setembro, ou aproximadamente 88 horas após ter designado 10.000 bots de IA para a tarefa, a OpenAI encontrou uma solução para o que é conhecido como o problema de existência e suavidade de Navier-Stokes.

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

Tal esforço teria custado aproximadamente US$ 10 milhões (£ 7,3 milhões), com base nos preços praticados pela própria OpenAI para os resultados de seus modelos mais avançados. (...)

Fonte: BBC