AlphaGeometry is an artificial intelligence program that can solve hard problems in Euclidean geometry. The system comprises a data-driven large language model and a rule-based symbolic engine. It was developed by DeepMind, a subsidiary of Google. From Wikipedia
