AlphaProof Nexus do Google DeepMind resolve problemas matemáticos abertos e passa por revisão por pares
decoder ·
Um novo estudo publicado na Science revela que o AlphaProof Nexus, da Google DeepMind, resolveu com sucesso dezenas de problemas matemáticos em aberto. O sistema de IA conseguiu resolver nove dos 353 problemas abertos de Erdős, incluindo dois que permaneciam sem solução há 56 anos. Além disso, provou 44 conjecturas do banco de dados OEIS (sequência de inteiros) e resolveu uma questão em aberto na geometria algébrica. O modelo é baseado no Gemini 3.1 Pro e utiliza a linguagem formal Lean para rascunhar e verificar provas de forma iterativa. Para subproblemas complexos, ele pode recorrer ao AlphaProof, uma ferramenta especializada em demonstrações, embora tenha alcançado resultados significativos mesmo sem seu uso. Essa abordagem rigorosa contrasta com controvérsias recentes nas quais outras empresas de IA publicaram provas diretamente no GitHub sem revisão por pares. Em resposta aos apelos de boicote por parte de matemáticos, a DeepMind garantiu que seu trabalho passasse pela tradicional avaliação acadêmica.
decoder