O laboratório de IA da Google, DeepMind, lançou o AlphaGeometry, um sistema projetado para resolver problemas geométricos. Afirmam que este sistema pode superar medalhistas da Olimpíada Internacional de Matemática.
A DeepMind destaca a geometria como fundamental para desenvolver raciocínio matemático profundo, crucial para sistemas de Inteligência Artificial mais avançados. A capacidade de provar teoremas matemáticos exige raciocínio e escolha entre várias etapas possíveis para uma solução.
Desafios Únicos na Resolução de Problemas Geométricos por IA
A criação do AlphaGeometry enfrentou desafios únicos, incluindo a escassez de dados de treino de geometria. Muitos modelos avançados de IA atualmente não conseguem raciocinar logicamente através de teoremas, tornando o treino para resolver problemas geométricos muito difícil.
Projeto e Funcionamento do DeepMind AlphaGeometry
O AlphaGeometry combina um modelo de linguagem neural com um mecanismo de dedução simbólica, onde as regras matemáticas se usam para inferir soluções. Assim, utilizando dados sintéticos gerados pela própria DeepMind, a base de treino era inexistente, o modelo neural orienta o mecanismo de dedução através de respostas possíveis. Além disso, supera as limitações de rigidez e lentidão associadas a motores simbólicos.
Resultados
Os resultados do AlphaGeometry foram publicados num estudo na revista Nature, alimentando o debate sobre a construção de sistemas de IA baseados na manipulação de símbolos versus redes neurais. Este sistema híbrido sugere que combinar as abordagens simbólica e neural pode ser o caminho ideal para alcançar a Inteligência Artificial de uso mais generalizado.
Os cientistas da Google AI afirmam que o objetivo a longo prazo é o uso generalizado de IA em campos matemáticos contribuindo para o avanço do conhecimento humano. O AlphaGeometry pode moldar o futuro da descoberta de conhecimento, não apenas em matemática, mas muito mais além.
