A DeepMind, subsidiária da Alphabet, apresentou um novo avanço na inteligência artificial (IA) com o AlphaGeometry2. Esse sistema superou medalhistas de ouro da Olimpíada Internacional de Matemática (IMO) ao resolver problemas avançados de geometria. O AlphaGeometry2 solucionou 84% das questões da IMO entre 2000 e 2024, ultrapassando a marca de seu antecessor, que havia resolvido apenas 54%. Esse desempenho coloca a IA à frente de alguns dos matemáticos mais talentosos do mundo.
Como funciona o AlphaGeometry2
O AlphaGeometry2 combina dois elementos principais: um modelo de linguagem baseado na arquitetura Gemini e um mecanismo simbólico chamado DDAR (Deductive Database Arithmetic Reasoning). O modelo de linguagem sugere etapas e construções para resolver problemas, enquanto o DDAR avalia a lógica e deduz novos fatos a partir dessas sugestões. Dessa forma, a IA consegue simular o raciocínio matemático humano, identificando relações geométricas complexas.
O sistema usa um processo iterativo. Ele gera possíveis soluções, testa sua validade e ajusta o caminho para encontrar a resposta correta. Além disso, um algoritmo inovador chamado SKEST (Shared Knowledge Ensemble of Search Trees) permite que múltiplas estratégias de busca trabalhem simultaneamente, compartilhando informações úteis entre si. Essa abordagem torna o AlphaGeometry2 altamente eficiente.
AlphaGeometry2 versus matemáticos olímpicos
A comparação entre o AlphaGeometry2 e os medalhistas olímpicos de matemática revelou resultados impressionantes. Em um teste com 50 problemas formais da IMO, a IA resolveu 42, enquanto um campeão olímpico médio costuma resolver cerca de 40. Isso demonstra que a IA já rivaliza com os melhores talentos humanos na resolução de problemas matemáticos.
O professor Timothy Gowers, matemático premiado com a Medalha Fields, conduziu um experimento para avaliar a IA em um cenário competitivo. O AlphaGeometry2, em conjunto com outro sistema chamado AlphaProof, obteve uma pontuação de 28 em 42 possíveis, o suficiente para uma medalha de prata na IMO, ficando a apenas um ponto da medalha de ouro. No entanto, enquanto os estudantes humanos têm nove horas para resolver seis problemas, a IA levou até três dias para encontrar soluções para algumas questões, embora tenha resolvido outras em poucos segundos.
O impacto do AlphaGeometry2 na matemática
Os avanços do AlphaGeometry2 indicam um novo patamar no uso da IA para resolver problemas matemáticos complexos. Essa tecnologia pode ser aplicada na educação, ajudando estudantes a compreender conceitos avançados. Além disso, pode contribuir para descobertas científicas ao solucionar questões que exigem raciocínio lógico avançado.
Apesar de seu desempenho superior, a IA ainda apresenta desafios. Ela não tem a intuição e criatividade humana, que são essenciais para a resolução de problemas inéditos. No entanto, seu potencial para auxiliar matemáticos e cientistas no desenvolvimento de novas teorias é inegável.
Com esse avanço, a DeepMind reforça o papel da inteligência artificial na pesquisa matemática e científica. O AlphaGeometry2 demonstra que as máquinas podem não apenas igualar, mas até superar a capacidade humana em tarefas altamente especializadas.
Fonte: The Decoder
