AlphaGeometry is an artificial intelligence program that can solve hard problems in Euclidean geometry. It was developed by DeepMind, a subsidiary of Google.
