A OpenAI diz que seu novo modelo de raciocínio produziu uma prova matemática original que refuta uma famosa conjectura de geometria não resolvida, proposta pela primeira vez por Paul Erdős em 1946. Se suas sobrancelhas se ergueram, você não está sozinho — não é a primeira vez que a OpenAI faz uma afirmação tão ousada. Há sete meses, o ex-VP Kevil Weil postou no X que "o GPT-5 encontrou soluções para 10 (!) problemas de Erdős anteriormente não resolvidos e fez progresso em outros 11." Spoiler: o GPT-5 na verdade não os resolveu; apenas redescobriu soluções existentes já na literatura. Provocações de rivais como Yann LeCun e o CEO do Google DeepMind, Demis Hassabis, se seguiram, e Weil apagou rapidamente seu post prematuro.
Desta vez, a OpenAI diz que não repetiu o mesmo erro. Junto com o anúncio, a empresa publicou comentários de acompanhamento dos matemáticos Noga Alon, Melanie Wood e Thomas Bloom — que mantém o site Erdos Problems e anteriormente chamou o post de Weil de "uma deturpação dramática." "Por quase 80 anos, os matemáticos acreditavam que as melhores soluções possíveis se pareciam aproximadamente com grades quadradas," postou a OpenAI no X. "Um modelo da OpenAI agora refutou essa crença, descobrindo uma família inteiramente nova de construções que tem melhor desempenho."
A empresa afirma que isso marca "a primeira vez que a IA resolveu autonomamente um problema aberto proeminente central para um campo da matemática." A prova veio de um novo modelo de raciocínio de propósito geral, não de um sistema especificamente projetado para matemática — o que a OpenAI diz ser significativo porque significa que a IA agora pode sustentar longas e difíceis cadeias de raciocínio e conectar ideias entre campos. Isso supostamente tem implicações para biologia, física, engenharia e medicina. "A IA está nos ajudando a explorar mais plenamente a catedral da matemática que construímos ao longo dos séculos," disse Bloom. "Que outras maravilhas invisíveis estão esperando nos bastidores?"