Google DeepMind: sistema de IA resolve nove problemas matemáticos de Erdős há décadas sem solução
Um sistema da Google DeepMind, combinando agentes Gemini, o AlphaProof e o verificador de provas Lean, testou 353 problemas matemáticos em aberto deixados por Paul Erdős e resolveu nove deles, segundo estudo publicado na Science a 8 de outubro.
O sistema, designado AlphaProof Nexus e associado a Swarat Chaudhuri (DeepMind, Londres), foi testado contra problemas catalogados no site de Thomas Bloom (Universidade de Manchester). Muitas das provas geradas foram verificadas por matemáticos humanos.
Uma configuração mais simples, com agentes Gemini independentes, também resolveu os mesmos nove problemas. Em paralelo, a OpenAI divulgou 722 manuscritos matemáticos gerados por um modelo ainda não lançado publicamente, ignorando o aviso de um grupo consultivo independente.
Um preprint de 6 de outubro identificou incoerências entre a prova escrita da OpenAI para as equações de Navier–Stokes e a sua versão em Lean — sem provar que a prova escrita esteja errada, mas mostrando que uma prova Lean válida não garante, por si só, a validade do artigo gerado por IA.
Perguntas frequentes
As provas geradas por IA são automaticamente válidas?
Não necessariamente. Um preprint de outubro de 2026 encontrou incoerências entre a versão escrita e a versão formal (Lean) de uma prova da OpenAI.
Fontes
- Science News www.sciencenews.org
Resumo editorial em português feito com apoio de inteligência artificial a partir das fontes indicadas. Como fazemos o Boletim IA.