A DeepMind, empresa de inteligência artificial do Google, anunciou que seus sistemas AlphaProof e AlphaGeometry 2 resolveram quatro dos seis problemas apresentados na Olimpíada Internacional de Matemática (IMO) de 2024, realizada no Reino Unido. Esse desempenho corresponde ao nível de um medalhista de prata, representando um avanço significativo nas capacidades de raciocínio matemático da IA.
AlphaProof resolveu dois problemas de álgebra e um de aritmética, enquanto AlphaGeometry 2 solucionou um problema de geometria. A IMO é uma competição anual que reúne estudantes do ensino médio de diversos países para resolver problemas complexos em áreas como álgebra, combinatória, geometria e teoria dos números.
Esses resultados abrem novas perspectivas no campo do raciocínio matemático e têm o potencial de impulsionar avanços em ciência e tecnologia. A primeira versão do AlphaGeometry já havia resolvido 25 problemas de geometria apresentados em edições anteriores da IMO, de um total de 30 exercícios propostos, conforme informado em janeiro pela revista científica Nature.
Esses avanços destacam o potencial crescente da inteligência artificial em resolver problemas matemáticos complexos, sinalizando um futuro promissor para a aplicação de tecnologias avançadas na educação e na pesquisa matemática.