A Google DeepMind acaba de apresentar o AlphaGeometry2, uma nova versão de seu modelo de inteligência artificial (IA) com foco em matemática que resolveu 84% dos problemas de geometria da Olimpíada Internacional de Matemática dos últimos 25 anos – superando o desempenho médio de um medalhista de ouro.
PUBLICIDADE
Detalhes da novidade
- O sistema combina um modelo Gemini com um motor simbólico para lidar com problemas complexos de geometria que exigem provas rigorosas e raciocínio dedutivo.
- O AlphaGeometry2 resolveu 42 de 50 problemas para ultrapassar a pontuação média de um medalhista de ouro de 40,9, uma melhoria maciça em relação à taxa de resolução de 54% de seu antecessor.
- O modelo gerou mais de 300 milhões de teoremas sintéticos e provas de dificuldade crescente para treinamento, apresentando um conjunto maior e mais diversificado do que o AG1.
Por que isso é importante
A matemática tem sido tipicamente uma das áreas com as quais os modelos de linguagem parecem ter dificuldades. Ainda assim, a DeepMind está rapidamente decifrando o código para desbloquear sistemas que lidam com problemas complexos. Isso também pode desempenhar um papel fundamental na aceleração de outras áreas científicas com muita matemática, como a física.
Leia também:
