A OpenAI reivindicou um avanço adicional no raciocínio de IA depois que sua tecnologia resolveu com sucesso um problema matemático de 80 anos.
A empresa por trás do ChatGPT disse ter feito um grande avanço com um desafio apresentado pela primeira vez pelo matemático húngaro Paul Erdős em 1946: o problema da distância unitária planar.
A questão colocada por Erdős é simples de explicar. Se você pegar uma folha de papel e adicionar alguns pontos, quantos pares podem estar separados pela mesma distância? Erdős propôs que o número aumentaria apenas um pouco mais rápido do que o número dos próprios pontos.
O modelo da OpenAI concluiu o contrário, recorrendo a diferentes ramos da matemática para descobrir uma família de arranjos que ultrapassam o limite da conjectura de Erdős.
“Por quase 80 anos, os matemáticos acreditaram que as melhores soluções possíveis pareciam grades quadradas”, escreveu OpenAI no X. “Um modelo OpenAI agora refutou essa crença, descobrindo uma família inteiramente nova de construções com melhor desempenho.”
Embora o trabalho tenha entusiasmado os matemáticos, o problema mais amplo permanece sem solução porque a IA não apresentou uma nova resposta para a rapidez com que os pares de pontos sobem, mas apenas mostrou que o limite proposto por Erdős era demasiado baixo.
A OpenAI, que se prepara para entrar na bolsa de valores dos EUA, disse que os cálculos foram feitos por um modelo de raciocínio de uso geral – que divide os problemas em etapas menores – em vez de um sistema treinado especificamente para matemática.
A startup já foi prejudicada pelas suas tentativas de resolver os problemas de Erdős, tendo aclamado um suposto avanço no ano passado que se baseou na verdade na literatura já existente absorvida pelo modelo. Desta vez, o trabalho da OpenAI foi validado por matemáticos, incluindo Thomas Bloom, um matemático que mantém o site de problemas de Erdős e criticou as afirmações anteriores de Erdős da OpenAI.
Bloom foi coautor de um artigo que acompanha a postagem do blog da OpenAI sinalizando a conquista de Erdős. Bloom escreveu que o sistema de IA alcançou seus resultados “perseverando em caminhos que um ser humano pode ter descartado como não valendo a pena explorar”.
No entanto, ele acrescentou que os humanos estiveram envolvidos no trabalho da IA.
“Embora a prova original produzida pela IA fosse completamente válida, foi significativamente melhorada pelos investigadores humanos da OpenAI e por muitos outros matemáticos envolvidos no presente artigo. O ser humano ainda desempenha um papel vital na discussão, digestão e melhoria desta prova, e na exploração das suas consequências”, escreveu ele.
O matemático Tim Gowers, também escrevendo no artigo complementar, descreveu o resultado como “um marco na matemática da IA”.
Andrew Rogoyski, do Instituto de IA Centrada nas Pessoas da Universidade de Surrey, disse que o anúncio mostra que as IA estão a dar aos humanos novas formas de encarar os problemas.
“Está ficando claro que a IA está impactando o mundo do pensamento criativo e se tornará uma ferramenta fundamental para futuras pesquisas científicas”, disse ele.
