Deepmind usa AlphaProof Nexus para resolver problemas matemáticos abertos

Em 12 de outubro de 2026, a Deepmind divulgou que seu sistema de IA resolveu dezenas de problemas matemáticos ainda não solucionados, conforme relatório publicado na revista Science.

Resultados concretos em matemática aberta

O AlphaProof Nexus, ferramenta desenvolvida pela Deepmind, conseguiu resolver nove dos 353 problemas abertos de Erdős, incluindo dois que permaneciam sem solução há 56 anos. Além disso, o sistema provou 44 conjecturas listadas no banco de sequências OEIS, solucionou uma questão aberta em geometria algébrica e aprimorou um limite conhecido em otimização min‑max, técnica usada no treinamento de alguns modelos de IA.

Do ponto de vista técnico, o AlphaProof Nexus está fundamentado no modelo Gemini 3.1 Pro. Ele elabora rascunhos de provas na linguagem formal Lean, que verifica cada alteração e fornece mensagens de erro para orientar a próxima tentativa. Para sub‑problemas mais difíceis, o sistema pode acionar o módulo especializado AlphaProof, embora tenha conseguido resolver os nove problemas de Erdős mesmo sem ele.

O estudo surge em meio a um debate intenso sobre o uso de IA em matemática. Enquanto a OpenAI recentemente disponibilizou centenas de provas geradas por IA no GitHub, a Association for Human Mathematics, liderada por Terence Tao, pediu boicote a essas práticas. A Deepmind, por sua vez, submeteu seu trabalho à revisão por pares, buscando maior credibilidade acadêmica.

Até o momento, a Deepmind não detalhou planos de disponibilizar o AlphaProof Nexus ao público nem informou sobre possíveis aplicações comerciais. O foco imediato parece ser a validação científica e a exploração de novos problemas matemáticos.