AlphaGeometry
AlphaGeometry is an artificial intelligence (AI) program that can solve hard problems in Euclidean geometry. It was developed by DeepMind, a subsidiary of Google. The program solved 25 geometry problems out of 30 from the International Mathematical Olympiad (IMO) under competition time limits--a performance almost as good as the average human gold medallist. For comparison, the previous AI program, called Wu's method, managed to solve only 10 problems.[1]
DeepMind published a paper about the program in the peer-reviewed journal Nature on 17 January 2024. [2]
References
- ^ "AlphaGeometry: An Olympiad-level AI system for geometry". Deepmind. Retrieved 26 January 2024.
- ^ "Solving olympiad geometry without human demonstrations". Nature. Retrieved 26 January 2024.