- DeepMind apresenta AlfaGeometria 2, um sistema de IA que éupera aos medalhistas de ouro da Olimpíada Internacional de Matemática (IMO).
- O modelo combina um mecanismo simbólico e um grande modelo de linguagem para resolver problemas complexos de geometria.
- O AlphaGeometry 2 resolveu 84% dos problemas de geometria dos últimos 25 anos da IMO.
- A DeepMind está explorando o uso dessa tecnologia em outras áreas científicas e matemáticas.
A DeepMind deu um novo passo no desenvolvimento da inteligência artificial aplicada à matemática com o AlphaGeometry 2. Este sistema avançado de IA conseguiu superar a média dos medalhistas de ouro na Olimpíada Internacional de Matemática (IMO), uma conquista sem precedentes na resolução automatizada de problemas matemáticos.
A versão melhorada do AlphaGeometry já está mostrando um progresso significativo. Em testes recentes, a IA conseguiu resolver o problema 84% dos problemas geométricos que surgiram na OMI nos últimos anos Anos 25, comparado com o 54% que foi alcançado pelo seu antecessor.
Uma abordagem híbrida para resolução
O AlphaGeometry 2 combina diferentes sistemas para atingir seu alto desempenho. Ele se baseia em um mecanismo simbólico responsável por manipular regras matemáticas juntamente com um modelo de linguagem baseado na família de modelos Gemini do Google. Esta combinação permite gerar soluções que pode ser verificado automaticamente.
Um dos pontos-chave deste sistema é sua capacidade de raciocinar movendo objetos geométricos em um plano. Ao se mover pontos ao longo de linhas ou modificando a altura de triângulos, o AlphaGeometry 2 consegue explorar diferentes abordagens de resolução com maior eficiência.
Resultados e limitações
Os resultados do AlphaGeometry 2 foram surpreendentes, mas ainda há desafios a serem superados. Embora a IA tenha se mostrado capaz de resolver a maioria dos problemas de geometria da OMI, ela ainda luta com problemas que envolvem desigualdade y equações não lineares.
Em testes posteriores, a IA resolveu 42 dos 50 problemas selecionados da IMO, superando o medalhista de ouro humano médio. No entanto, em uma segunda rodada de testes com mais problemas complexo proposto por especialistas, sua taxa de sucesso foi menor.
aplicações futuras
A DeepMind não vai parar na geometria olímpica, pois o AlphaGeometry 2 tem muito mais potencial do que isso. A empresa já está explorando como estender essa tecnologia para áreas como otimização de estruturas matemáticas, a engenharia avançada ou mesmo o criptografia.
Além disso, a combinação de modelos simbólicos e redes neurais pode lançar as bases para uma nova geração de inteligência artificial. Esta abordagem híbrida facilita a criação de sistemas que não só imitam o pensamento humano, mas também alcançam explicar y validar suas próprias soluções logicamente.
O avanço do AlphaGeometry 2 representa um marco na inteligência artificial aplicada à matemática. Sua capacidade de resolver problemas complexos com precisão abre novas possibilidades de colaboração entre humanos e inteligência artificial, abrindo portas para futuras inovações em diversas disciplinas científicas e técnicas.