A OpenAI postou no X que seu modelo de raciocínio mais recente gerou uma prova que desmente uma conjectura de geometria introduzida pela primeira vez por Paul Erdős em 1946. A empresa apresenta o resultado como a primeira vez em que a inteligência artificial resolveu autonomamente um problema aberto proeminente central para um campo matemático.

O modelo, que a OpenAI descreve como um sistema de raciocínio de propósito geral e não como uma ferramenta construída especificamente para matemática, produziu uma nova família de construções que superam as soluções de "grade quadrada" que os matemáticos vêm utilizando por quase oito décadas. De acordo com a empresa, a prova surgiu sem direção humana, demonstrando a capacidade do sistema de manter longas e difíceis cadeias de raciocínio e de conectar ideias em domínios distintos.

O anúncio da OpenAI inclui endorços de vários pesquisadores, incluindo Noga Alon, Melanie Wood e Thomas Bloom, este último é responsável pelo site Erdős Problems. Bloom disse que a inteligência artificial está ajudando a comunidade a explorar a "catedral da matemática" construída ao longo dos séculos e sugeriu que mais descobertas escondidas podem estar à frente.

A afirmação chega após um episódio anterior que levantou sobrancelhas na comunidade de pesquisa. Sete meses atrás, o ex-vice-presidente da OpenAI, Kevin Weil, postou no X que o GPT-5 havia resolvido dez problemas de Erdős anteriormente não resolvidos e avançado no trabalho em outros onze. Essa declaração se provou prematura; as soluções citadas já existiam na literatura. Críticos como Yann LeCun e o CEO da DeepMind, Demis Hassabis, chamaram a atenção para a má representação, e Weil mais tarde removeu a postagem.

A OpenAI insiste que a prova atual difere do erro anterior. Ela enfatiza que o modelo não foi projetado especificamente para a conjectura de Erdős, sugerindo um salto mais amplo na capacidade de raciocínio da inteligência artificial. A empresa argumenta que tal capacidade pode ter efeitos em cascadas além da matemática pura, potencialmente influenciando biologia, física, engenharia e medicina.

Embora o anúncio tenha gerado entusiasmo, a comunidade matemática permanece cautelosa. A verificação independente da prova será essencial antes que a afirmação possa ser aceita como uma verdadeira conquista. No entanto, a participação de matemáticos respeitados no apoio ao resultado adiciona peso à narrativa da OpenAI.

A declaração da OpenAI também destacou a natureza colaborativa do esforço, observando que a prova foi acompanhada de comentários dos matemáticos que a endossam. A mensagem da empresa destaca uma visão da inteligência artificial como parceira na descoberta científica, e não como substituta para a perspicácia humana.

À medida que a prova passa por revisão por pares, o episódio ilustra tanto a promessa quanto os perigos de publicizar conquistas da inteligência artificial. A afirmação mais recente da OpenAI marca um momento notável no diálogo contínuo sobre como a inteligência artificial pode contribuir para resolver desafios científicos de longa data.

Este artigo foi escrito com a assistência de IA.
News Factory SEO ajuda você a automatizar conteúdo de notícias para o seu site.