A OpenAI afirma que seu modelo resolve um famoso problema de geometria que escapou aos maiores matemáticos do mundo por 80 anos; é um avanço aclamado como prova da criatividade e da “intuição” do bot.
A empresa publicou as suas descobertas na quarta-feira, mostrando que um dos seus modelos resolveu o problema da distância unitária planar, colocado pela primeira vez pelo lendário matemático húngaro Paul Erdős em 1946.
O quebra-cabeça levanta uma questão aparentemente simples: quantos pares de pontos podem estar à mesma distância em um pedaço de papel?
A teoria atual sugeria que a “grade quadrada” era a chave para gerar o número máximo de pares listados no problema, e o próprio Erdős sugeriu que o número de pares poderia aumentar um pouco mais rápido do que o número de pontos à medida que mais pontos fossem adicionados.
No entanto, o estudo da OpenAI refutou esta ideia e propôs o seu próprio esquema.
O matemático Arul Shankar, da Universidade de Toronto, um dos especialistas que revisou o trabalho da OpenAI, chegou ao ponto de sugerir que o modelo usou sua própria “intuição” para chegar à solução surpreendente.
“Na minha opinião, este artigo mostra que os modelos atuais de IA vão além de simplesmente ajudar os matemáticos humanos, eles são capazes de gerar ideias originais e engenhosas e depois trazê-las à vida”, disse ele em comunicado.
O professor de Toronto, Jacob Tsimerman, disse que ficou surpreso com os resultados e certa vez tentou refutar ele mesmo o problema da distância, mas não conseguiu.
“Mesmo que você saiba o que está acontecendo, é definitivamente uma estrutura assustadora de entender e ainda mais difícil de jogar sozinho”, disse ele.
A OpenAI anunciou repetidamente que seu modelo está sendo usado para ajudar a resolver problemas matemáticos e provar ou refutar hipóteses de décadas que antes eram consideradas complexas demais para serem abordadas.
A descoberta ocorre poucos dias depois de ter sido revelado que o ChatGPT da OpenAI foi usado para ajudar a resolver outro problema de décadas, permitindo ao matemático que primeiro encontrou a solução ver sua ideia “sensacional” validada.
Em 1995, o famoso matemático francês Michel Talagrand, 74 anos, fez uma declaração abrangente afirmando que formas simples e regulares emergiriam num plano aparentemente infinito e confuso, cheio de pontos de incontáveis tamanhos.
Mas o que Talagrand acreditava que seria uma tarefa monumental para provar ou refutar a chamada “conjectura da convexidade” chegou a um fim abrupto na semana passada, quando matemáticos do Instituto de Tecnologia da Califórnia usaram o ChatGPT da OpenAI para concretizar a sua teoria.
“Este é o resultado mais extraordinário de toda a minha vida”, disse Talagrand à Scientific America ao ver a resposta. “A palavra correta é ‘sensacional’.”
No centro da conjectura de Talagrand estava a ideia de que mesmo diante de um bilhão de dimensões, seria possível desenhar uma forma simples que conseguisse incluir um número incontável de pontos espalhados por elas.
O matemático francês foi o primeiro a lançar água fria sobre a sua própria teoria, descrevendo-a como “um tiro no escuro” e dizendo que, se fosse verdade, seria nada menos que “um milagre absoluto”.
Durante anos, Talagrand chegou a oferecer uma recompensa de US$ 2 mil a qualquer um que aceitasse esse desafio, mas nenhum colecionador se apresentou.
Isto é, até Antoine Song e seu aluno Dongming (Merrick) Hu usarem o ChatGPT para traduzir o problema de Talagrand e mostrar que ele estava certo.
A dupla acabou trabalhando com o matemático de Princeton Stefan Tudose na prova final, optando por excluir o ChatGPT devido a incertezas no “processo de pensamento” dos modelos de linguagem.
