A OpenAI afirma que seu novo modelo de raciocínio produziu uma prova matemática original que refuta uma famosa conjectura não resolvida em geometria, proposta inicialmente pelo eminente matemático Paul Erdős em 1946. O problema permaneceu em aberto por quase 80 anos.
Fonte da imagem: OpenAI
Durante anos, a comunidade científica acreditou que as melhores soluções para esse problema se baseavam em estruturas semelhantes a grades quadradas. No entanto, a inteligência artificial derrubou essa crença ao descobrir uma família inteiramente nova de construções com eficiência superior. Representantes da OpenAI enfatizaram que esta é a primeira vez que a IA resolveu autonomamente um problema em aberto de importância central para a matemática. Além disso, a prova foi obtida usando um modelo de propósito geral, e não um sistema especializado projetado exclusivamente para as ciências exatas.
Esse sucesso ocorre após um incidente ocorrido há sete meses, quando o ex-vice-presidente da empresa, Kevin Weil, anunciou precipitadamente que o modelo GPT-5 havia resolvido dez problemas de Erdős simultaneamente. Ficou claro, então, que o algoritmo havia apenas encontrado respostas já existentes na literatura, o que provocou ridicularização por parte de especialistas e concorrentes, incluindo o renomado cientista da computação Yann LeCun e o CEO do Google DeepMind, Demis Hassabis. Weil apagou sua publicação, e o matemático Thomas Bloom, que mantém um site com problemas de Erdős, classificou essas afirmações como uma “distorção drástica dos fatos”.
Desta vez, os desenvolvedores levaram em consideração seus erros anteriores e publicaram um comunicado acompanhado de comentários de matemáticos renomados, confirmando a validade da refutação. Entre eles, Noga Alon, Melanie Wood e o próprio Thomas Bloom. Segundo Bloom, a inteligência artificial agora ajuda as pessoas a explorarem mais plenamente conceitos matemáticos que foram desenvolvidos ao longo de séculos.
A OpenAI acreditaEssa conquista é significativa porque demonstra a capacidade dos sistemas modernos de IA de processar cadeias longas e complexas de inferência lógica. Além disso, os algoritmos aprenderam a conectar ideias de diferentes áreas de maneiras que os pesquisadores poderiam ter negligenciado anteriormente.