OpenAI afirma ter resolvido problema matemático sem solução há 80 anos

Um novo modelo de raciocínio produziu uma prova matemática original que refuta uma famosa conjectura de geometria proposta por Paul Erdős em 1946. No ano passado, Kevin Weil, ex-executivo da OpenAI, afirmou que o GPT-5 também havia encontrado soluções para problemas de Erdős não resolvidos, mas depois verificou-se que o modelo havia apenas encontrado soluções que já existiam na literatura. Agora, a OpenAI diz que este é o primeiro caso em que uma IA resolveu de forma autônoma um importante problema em aberto na matemática.