AlphaProof Nexus, sistema de IA do Google, resolve nove problemas matemáticos abertos, incluindo dois de 56 anos, com provas formalmente certificadas.
A inteligência artificial da Google DeepMind alcançou um marco histórico ao resolver nove problemas matemáticos abertos, até então insolúveis há décadas. Esses problemas fazem parte dos desafios propostos pelo matemático húngaro Paul Erdős durante o século 20.
O sistema AlphaProof Nexus combina uma poderosa linguagem de modelo de IA e o verificador formal Lean, garantindo que as soluções sejam matematicamente válidas e rigorosas. Essa conquista acontece logo após a OpenAI anunciar a refutação de uma conjectura de Erdős com 80 anos.
A seguir, entenda o que são os problemas de Erdős e como a tecnologia da Google DeepMind está mudando o cenário da matemática com inteligência artificial.
Consagração da inteligência artificial na resolução de problemas matemáticos
Os problemas matemáticos conhecidos como desafios de Erdős são reconhecidos pela complexidade, abrangendo áreas como combinatória e teoria dos grafos. Muitos desses problemas permanecem sem solução por décadas, o que os torna uma referência de alta dificuldade na matemática pura.
Conforme divulgado pelo timesbrasil, o sistema AlphaProof Nexus, desenvolvido pelo Google DeepMind, resolveu nove desses problemas. Entre eles, dois estavam em aberto há 56 anos, demonstrando a eficiência e o potencial da inteligência artificial em superar limitações humanas.
Esse avanço foi divulgado em artigo científico submetido em 21 de maio ao repositório arXiv, marcando um feito importante na história da aplicação da IA em áreas científicas tradicionais.
Como funciona o AlphaProof Nexus
O AlphaProof Nexus utiliza um modelo de linguagem de grande escala combinado ao software Lean, um assistente de verificação formal de provas matemáticas. Diferente de simples cálculos, o Lean confere a cada passo da demonstração rigor lógico e validade matemática.
O processo do AlphaProof gera a prova inicial, que é então verificada formalmente pelo Lean. Caso algum detalhe não esteja correto, o sistema repete o procedimento até obter uma evidência matematicamente aceita e certificada.
Essa abordagem assegura que as soluções não são apenas plausíveis, mas sim legítimas, comprometendo o avanço das pesquisas matemáticas com garantias formais.
Google DeepMind x OpenAI na corrida pela IA em matemática
Na semana anterior ao anúncio do Google, a OpenAI divulgou que seu modelo de IA refutou uma conjectura de Erdős com 80 anos de existência. O CEO da OpenAI, Sam Altman, descreveu o feito como “um marco importante”.
No entanto, o Google respondeu com um resultado mais abrangente, resolvendo nove problemas contra um e apresentando provas formalmente verificadas, método que garante maior confiabilidade e rigor.
Essa disputa evidencia o rápido progresso da inteligência artificial em campos acadêmicos, expandindo as fronteiras do que máquinas podem alcançar em tarefas consideradas exclusivamente humanas.
Aplicações futuras da IA em matemática e outras áreas
O sistema AlphaProof Nexus já está sendo implementado em pesquisas diversificadas, incluindo combinatória, otimização, teoria dos grafos, geometria algébrica e até óptica quântica. Esse cruzamento de tecnologia e ciência promete acelerar descobertas complexas em diversos campos.
Cada problema resolvido custou apenas algumas centenas de dólares, indicando eficiência e viabilidade financeira para aplicação ampla de soluções baseadas em IA.
Esses avanços refletem como a inteligência artificial, aliada a verificações formais rigorosas, pode revolucionar a produção de conhecimento e apoiar pesquisadores com ferramentas poderosas para enfrentar os problemas mais difíceis da matemática.
Com informações de timesbrasil
Aviso legal
Este conteúdo foi produzido com o apoio de ferramentas de Inteligência Artificial, sendo posteriormente revisado, validado e aprimorado por Lc Palauro . Em conformidade com os critérios definidos em nossa Política Editorial , garantindo precisão, clareza e confiabilidade nas informações apresentadas.
