AlphaGeometry 2 is an improved version of AlphaGeometry, published on February 5, 2025. They added more features to the representation language to describe more geometry problems that involve movements of objects, and problems containing linear equations of angles, ratios, and distances. They targeted IMO geometry questions from 2000 to 2024. The expanded representation language allowed them to cover 88% of the questions.678
It uses Gemini finetuned on a synthetically generated dataset of problems and solutions in the representation language. The model is used for making auxiliary constructions like lines and points, to help the tree search. It is also used for autoformalization, i.e. converting a problem in English to a problem in the representation language.9
"AlphaGeometry: An Olympiad-level AI system for geometry". Deepmind. Retrieved 26 January 2024. https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/ ↩
Roberts, Siobhan (17 January 2024). "A.I.'s Latest Challenge: the Math Olympics". The New York Times. Retrieved 26 January 2024. https://www.nytimes.com/2024/01/17/science/ai-computers-mathematics-olympiad.html ↩
Trinh, Trieu H.; Wu, Yuhuai; Le, Quoc V.; He, He; Luong, Thang (2024). "Solving olympiad geometry without human demonstrations". Nature. 625 (7995): 476–482. Bibcode:2024Natur.625..476T. doi:10.1038/s41586-023-06747-5. PMC 10794143. PMID 38233616. https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10794143 ↩
"Google DeepMind's new AI system can solve complex geometry problems". MIT Technology Review. Retrieved 26 January 2024. https://www.technologyreview.com/2024/01/17/1086722/google-deepmind-alphageometry/ ↩
Zia, Tehseen (January 24, 2024). "AlphaGeometry: DeepMind's AI Masters Geometry Problems at Olympiad Levels". Unite.ai. Retrieved 2024-05-03. https://www.unite.ai/alphageometry-how-deepminds-ai-masters-geometry-problems-at-olympian-levels/ ↩
"AI achieves silver-medal standard solving International Mathematical Olympiad problems". Deepmind. Retrieved 15 August 2024. https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ ↩
Castelvecchi, Davide (2025-02-07). "DeepMind AI crushes tough maths problems on par with top human solvers". Nature. 638 (8051): 589. Bibcode:2025Natur.638..589C. doi:10.1038/d41586-025-00406-7. ISSN 1476-4687. https://www.nature.com/articles/d41586-025-00406-7 ↩
Chervonyi, Yuri; Trinh, Trieu H.; Olšák, Miroslav; Yang, Xiaomeng; Nguyen, Hoang; Menegali, Marcelo; Jung, Junehyuk; Verma, Vikas; Le, Quoc V.; Luong, Thang (2025). "Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2". arXiv:2502.03544 [cs.AI]. /wiki/ArXiv_(identifier) ↩