O Google DeepMind anunciou que seu sistema AlphaProof Nexus resolveu nove problemas matemáticos abertos de Erdős, incluindo dois sem solução há 56 anos. O avanço foi publicado em artigo científico em 21 de maio e representa um marco na aplicação da inteligência artificial à matemática pura.
O AlphaProof Nexus combina um modelo de linguagem de grande escala com o Lean, assistente de verificação formal de provas matemáticas. O sistema gera e verifica provas até que sejam aceitas como matematicamente válidas, garantindo rigor lógico.
Cada problema custou algumas centenas de dólares para ser resolvido. Além dos nove problemas de Erdős, o sistema também provou 44 conjecturas abertas da Enciclopédia Online de Sequências de Inteiros.
Na semana anterior, a OpenAI anunciou que sua inteligência artificial refutou uma conjectura de Erdős com 80 anos. O Google respondeu com um resultado maior e com verificação formal, assegurando a validade das provas.
O sistema já está sendo aplicado em pesquisas de combinatória, otimização, teoria dos grafos, geometria algébrica e óptica quântica, ampliando o uso da inteligência artificial na matemática avançada.
