O Google revelou dois sistemas de inteligência artificial, AlphaProof e AlphaGeometry 2, que mostram avanços significativos na solução de problemas matemáticos complexos. Os sistemas resolveram com sucesso quatro dos seis problemas da Olimpíada Internacional de Matemática 2024, uma competição global líder para alunos do ensino médio. Esses resultados são os melhores alcançados por um sistema de IA na história da competição, o que representa um marco no desenvolvimento da inteligência artificial.
Esses avanços foram detalhados em uma publicação no blog da DeepMind, a unidade de IA do Google. Um problema foi resolvido em minutos, enquanto outros levaram até três dias, excedendo o limite de tempo da competição. Apesar disso, os resultados são impressionantes, destacando a capacidade dos novos modelos de lidar com problemas que exigem raciocínio profundo.
O AlphaProof combina uma versão do modelo de linguagem Gemini com o AlphaZero, outro sistema de IA que venceu os humanos em jogos de tabuleiro, como o xadrez. Esse sistema resolveu três problemas na competição, incluindo o mais difícil, que só foi resolvido por cinco dos mais de 600 participantes humanos. Essa capacidade de raciocínio é um passo à frente na inteligência artificial, aproximando-a da compreensão e da solução de problemas complexos.
O AlphaGeometry 2, por sua vez, resolveu um problema adicional, demonstrando sua capacidade de lidar com desafios geométricos. Esses avanços em IA não apenas aprimoram a competência acadêmica, mas também têm o potencial de revolucionar campos como a pesquisa científica e a engenharia. A precisão e a velocidade com que esses sistemas podem operar destacam seu potencial em aplicações do mundo real.
A OpenAI, apoiada pela Microsoft, também está trabalhando na tecnologia de raciocínio com o codinome "Strawberry". Essa competição tecnológica entre gigantes da IA ressalta a importância e o impacto potencial desses avanços na inteligência artificial e na educação matemática, marcando uma nova era na solução de problemas abstratos e complexos.
