AlphaGeometry est un système d'IA pour résoudre les problèmes de géométrie qui surpasse les technologies existantes. En combinant les capacités prédictives des modèles linguistiques neuronaux et un moteur d'inférence basé sur des règles, il est capable de résoudre des problèmes de géométrie complexes. Ce système utilise une approche neurosymbolique, composé d'un modèle linguistique neuronal et d'un moteur d'inférence symbolique travaillant de concert pour trouver des démonstrations de théorèmes géométriques complexes. En générant un milliard d'objets géométriques aléatoires et en en déduisant toutes les relations, il a obtenu 100 millions d'exemples d'entraînement uniques, dont 9 millions incluant des constructions supplémentaires. Le modèle linguistique d'AlphaGeometry est capable de proposer de bonnes solutions aux problèmes de géométrie des Olympiades Internationales de Mathématiques. Ce système est devenu le premier modèle d'IA au monde capable d'atteindre le niveau d'une médaille de bronze aux Olympiades Internationales de Mathématiques.