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
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.
Como a Disney usa o esporte para conquistar uma nova geração de fãs; veja a estratégia
Por Joyce Canelle
Quer comprar um imóvel em 10 anos? Veja quanto guardar por mês para chegar a R$ 300 milQuer comprar um imóvel em 10 anos? Veja quanto guardar por mês para chegar a R$ 300 mil
Por André Amadeus
Bitcoin e criptos entram em fase mais madura; veja o que está mudando no setor
Por Nathalia Gimenes
OpenAI escolhe Singapura para seu primeiro laboratório de IA fora dos EUA; entenda o motivo
Por Naty Falla
O que é CET e por que ele pode encarecer seu financiamento
Por Naty Falla
Bastidor financeiro: por que a Estrela entrou em recuperação judicial?
Por André Amadeus
📌 ONDE ASSISTIR AO MAIOR CANAL DE NEGÓCIOS DO MUNDO NO BRASIL:
🔷 Canal 562 ClaroTV+ | Canal 562 Sky | Canal 592 Vivo | Canal 187 Oi | Operadoras regionais
🔷 TV SINAL ABERTO: parabólicas canal 562
🔷 ONLINE: www.timesbrasil.com.br | YouTube
🔷 FAST Channels: Samsung TV Plus, LG Channels, TCL Channels, Pluto TV, Roku, Soul TV, Zapping | Novos Streamings
Nvidia e SK devem anunciar parceria enquanto Huang alerta para escassez prolongada de chips 
