A OpenAI anunciou que um novo modelo de raciocínio produziu uma prova original que refuta uma conjectura geométrica proposta por Paul Erdős em 1946, afirmando que essa descoberta rompe com décadas de suposições e pode abrir caminhos para aplicações em outras áreas como biologia, física e engenharia.
A OpenAI afirma ter encontrado uma prova que desmonta uma crença sustentada por quase oito décadas sobre um problema proposto por Paul Erdős.
Segundo a empresa, a demonstração surgiu de um novo modelo de raciocínio de uso geral, e não de um sistema projetado exclusivamente para resolver problemas matemáticos.
“For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.”
“An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.”
Esse anúncio surge após uma controvérsia anterior, em que um ex-vice-presidente da OpenAI publicou que o GPT-5 teria resolvido diversos problemas de Erdős, mas aquelas soluções já existiam na literatura e o post foi retirado.
Na divulgação atual, a empresa acompanhou a prova com pareceres de matemáticos reconhecidos, incluindo Noga Alon, Melanie Wood e Thomas Bloom, como forma de corroborar o trabalho.
A OpenAI afirma que esse é o primeiro caso em que uma IA teria solucionado autonomamente um problema em destaque central para um campo da matemática.
De acordo com os defensores da descoberta, isso demonstra que sistemas de IA estão mais aptos a manter cadeias longas e complexas de raciocínio e a conectar ideias entre áreas do conhecimento, com possíveis impactos em biologia, física, engenharia e medicina.
Thomas Bloom comentou: “AI is helping us to more fully explore the cathedral of mathematics we have built over the centuries.”
Ele completou: “What other unseen wonders are waiting in the wings?”
