A Google DeepMind, uma divisão de pesquisa em inteligência artificial (IA) da Google, lançou uma nova IA chamada AlphaGeometry que tem surpreendido especialistas em todo o mundo. Esta IA, especificamente treinada para resolver problemas de geometria, superou os melhores alunos mundiais nas Olimpíadas da Matemática Internacional, uma competição que reúne os melhores estudantes secundários de todo o mundo.
De acordo com a Google DeepMind, AlphaGeometry conseguiu resolver 25 dos 30 problemas das Olimpíadas da Matemática Internacional que ocorreu entre 2000 e 2022. Este feito não é insignificante, uma vez que os participantes da competição são os melhores estudantes de matemática do mundo. Este resultado coloca a AlphaGeometry à frente de muitos estudantes secundários e muito perto dos que ganharam a medalha de ouro na competição.
Mas qual é a chave para o sucesso da AlphaGeometry? A resposta reside no seu foco híbrido, que combina um modelo de linguagem com um motor de dedução simbólica especializado em raciocínio algébrico e geométrico. Isto permite à AlphaGeometry não só prever construções úteis, mas também explicar e validar as suas decisões.
No entanto, é importante notar que a AlphaGeometry foi concebida e desenvolvida especificamente para passar neste exame e ser boa em geometria. Portanto, não estamos a falar de um ChatBot mais generalista como o GPT-4, Claude ou o próprio Google Bard.
Os desenvolvedores da AlphaGeometry foram Trieu H. Trinh, um investigador da Universidade de Nova Iorque e outrora medalhado nestas Olimpíadas, e Evan Chen. Ambos afirmam que os dados fornecidos pela AlphaGeometry são impressionantes: não só as soluções são corretas, mas também seguem raciocínios claros e humanos.
A AlphaGeometry faz parte de um projeto mais amplo da DeepMind para melhorar a capacidade de raciocínio dos modelos de linguagem. Ao gerar 100 milhões de provas de geometria sintéticas, a AlphaGeometry é treinada para abordar problemas complexos de forma criativa e eficaz; neste teste resolveu 25 de 30 problemas. Esta IA está pensada especificamente para superar este tipo de provas e para isso, foi-lhe adicionado um motor de dedução simbólica.
O sucesso da AlphaGeometry é um marco significativo para a Google DeepMind e para o campo da IA em geral. Este feito demonstra o poder da IA quando combinada com o raciocínio humano. Além disso, o facto de a AlphaGeometry ter sido treinada para abordar problemas complexos de uma maneira criativa e eficaz é encorajador para o futuro da IA.
Fonte: MIT
