A OpenAI anunciou que seu novo modelo de raciocínio produziu uma prova matemática original que refuta uma famosa conjectura não resolvida em geometria apresentada pela primeira vez por Paul Erdős em 1946. Esta conquista segue uma afirmação controversa feita pelo ex-vice-presidente da OpenAI Kevin Weil há sete meses, quando ele afirmou no X que o GPT-5 encontrou soluções para dez problemas de Erdős anteriormente não resolvidos, juntamente com progresso em onze outros. Posteriormente, foi esclarecido que o GPT-5 não havia realmente resolvido esses problemas, mas identificou soluções existentes na literatura.
Rivais no campo da IA, incluindo Yann LeCun e o CEO do Google DeepMind, Demis Hassabis, criticaram a afirmação anterior, levando Weil a remover sua postagem. O anúncio atualizado da OpenAI incluiu comentários de matemáticos notáveis como Noga Alon, Melanie Wood e Thomas Bloom, que apoiaram a refutação e chamaram as declarações anteriores de Weil de “deturpação dramática”.
A OpenAI afirmou que por quase 80 anos, os matemáticos acreditaram que as soluções ideais para a conjectura se assemelhavam a grades quadradas. O novo modelo descobriu uma família completamente nova de construções que supera esta crença de longa data. Este caso marca a primeira instância de IA resolvendo de forma autônoma um problema aberto significativo em matemática, de acordo com a OpenAI.
A prova teve origem num modelo de raciocínio de uso geral, em vez de um sistema adaptado à matemática, destacando a capacidade da IA para gerir tarefas de raciocínio complexas e interligar ideias em diversos campos. A OpenAI enfatizou as implicações potenciais deste desenvolvimento para a biologia, física, engenharia e medicina.
O matemático Thomas Bloom observou que a IA está a facilitar uma exploração mais profunda da matemática, questionando que outras descobertas significativas poderão estar por vir. “A IA está nos ajudando a explorar mais plenamente a catedral da matemática que construímos ao longo dos séculos”, disse ele.
