Google DeepMind resolve nove problemas matemáticos de Erdős

O Google DeepMind anunciou que seu sistema de inteligência artificial, o AlphaProof Nexus, resolveu nove problemas matemáticos de Erdős, superando desafios que permaneciam sem solução há mais de cinco décadas. A tecnologia utiliza uma abordagem que combina modelos de linguagem com o assistente de verificação formal Lean, garantindo que todas as provas geradas sejam matematicamente certificadas e logicamente válidas. Este marco ocorre em um momento de intensa competição no setor de IA, logo após a OpenAI ter reportado a refutação de uma conjectura de Erdős com 80 anos de existência. Além dos problemas específicos de Erdős, o sistema provou 44 conjecturas adicionais da Enciclopédia Online de Sequências de Inteiros. A capacidade de resolver problemas complexos de forma automatizada e verificável demonstra o potencial da IA para acelerar descobertas científicas em campos como combinatória, teoria dos grafos e óptica quântica.