Para encontrar uma solução, o AlphaProof Nexus utiliza um modelo de linguagem capaz de gerar diferentes hipóteses matemáticas.
Em vez de apenas fornecer uma resposta, o sistema explora diversos caminhos possíveis para chegar a uma demonstração.
O DeepMind apresentou uma escala maior de resultados, com nove problemas resolvidos e 44 conjecturas abertas da Enciclopédia Online de Sequências de Inteiros demonstradas.
Foto: Pexels
Como uma I.A. conseguiu resolver problemas matemáticos que ficaram anos sem solução?
A inteligência artificial (I.A.) conseguiu resolver problemas matemáticos que permaneceram décadas sem resposta porque passou a combinar duas capacidades que raramente coexistiam nos sistemas anteriores: a geração de novas ideias e a verificação rigorosa de cada passo lógico.
Foi exatamente isso que permitiu ao AlphaProof Nexus, desenvolvido pelo Google DeepMind, solucionar nove problemas abertos de Erdős, alguns deles que estavam sem resposta há 56 anos. O resultado representa um avanço importante porque esses desafios exigem muito mais do que cálculos rápidos.
Eles dependem da construção de provas matemáticas completas, algo tradicionalmente associado ao trabalho de pesquisadores especializados.
Os chamados problemas de Erdős fazem parte de um conjunto de desafios propostos pelo matemático húngaro Paul Erdős ao longo do século 20. Muitos deles envolvem áreas como combinatória e teoria dos grafos e são conhecidos pela dificuldade extrema.
Para encontrar uma solução, o AlphaProof Nexus utiliza um modelo de linguagem capaz de gerar diferentes hipóteses matemáticas. Em vez de apenas fornecer uma resposta, o sistema explora diversos caminhos possíveis para chegar a uma demonstração, de acordo com o Arxiv.
Esse processo se aproxima do que um pesquisador faz ao testar ideias, descartar possibilidades e refinar argumentos até encontrar uma solução consistente.
O papel do Lean na validação das respostas
Siga o Times | CNBC no Google e receba as principais notícias do Brasil e do Mundo.
O grande diferencial está na segunda etapa do processo. Depois de gerar uma possível prova, a IA envia o resultado para o Lean, uma plataforma de verificação formal de demonstrações matemáticas.
O sistema analisa cada etapa da argumentação e confirma se a lógica está correta. Caso encontre inconsistências, a inteligência artificial reformula a prova e tenta novamente.
Graças a esse ciclo contínuo de tentativa, verificação e correção, o AlphaProof Nexus consegue produzir demonstrações matematicamente certificadas, e não apenas respostas plausíveis.
O anúncio do Google ocorreu um dia após a OpenAI divulgar que sua I.A. havia refutado uma conjectura de Erdős que existia há 80 anos.
No entanto, o DeepMind apresentou uma escala maior de resultados, com nove problemas resolvidos e 44 conjecturas abertas da Enciclopédia Online de Sequências de Inteiros demonstradas.
Mais do que uma disputa tecnológica, esses avanços indicam uma mudança importante. Ao combinar criatividade computacional com validação formal, a I.A. começa a atuar como uma ferramenta capaz de auxiliar matemáticos e acelerar descobertas científicas em áreas que permanecem desafiadoras há décadas.
Apple ultrapassa a Nvidia e encerra o dia como a empresa mais valiosa do mundo 
