AlphaGeometry é um sistema de IA para problemas de geometria que supera os métodos existentes. Combinando a capacidade preditiva de modelos de linguagem neural com um mecanismo de raciocínio baseado em regras, ele consegue resolver problemas geométricos complexos. O sistema emprega um método neuro-simbólico, composto por um modelo de linguagem neural e um mecanismo de raciocínio simbólico, que trabalham em conjunto para encontrar provas de teoremas geométricos complexos. Gerando 1 bilhão de gráficos de objetos geométricos aleatórios e derivando todas as relações, obteve-se 100 milhões de exemplos de treinamento exclusivos, dos quais 9 milhões incluem construções adicionais. O modelo de linguagem do AlphaGeometry consegue oferecer boas sugestões ao lidar com problemas de geometria da Olimpíada Internacional de Matemática. O sistema se tornou o primeiro modelo de IA do mundo capaz de atingir o nível de uma medalha de bronze na Olimpíada Internacional de Matemática.