What is AlphaGeometry and when was it released?
DeepMind released an artificial intelligence program named AlphaGeometry in 2024. This system combines two distinct technologies to solve Euclidean geometry problems.
DeepMind released an artificial intelligence program named AlphaGeometry in 2024. This system combines two distinct technologies to solve Euclidean geometry problems.
The program solved 25 out of 30 International Mathematical Olympiad geometry problems within competition time limits. This performance level is almost as good as the average human gold medallist.
DeepMind published a paper about AlphaGeometry in the peer-reviewed journal Nature on the 17th of January 2024. The research detailed the architecture and performance of the system.
An improved version named AlphaGeometry 2 was published on the 5th of February 2025. Developers added more features to the representation language to describe complex geometry problems including movements of objects and linear equations involving angles.
A data-driven large language model works alongside a rule-based symbolic engine called Deductive Database Arithmetic Reasoning. When the engine fails to find a formal proof, it solicits suggestions for geometric constructs from the large language model.