about
Gold-Medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 (arxiv.org)
64 points by hnhn34 on Feb 7, 2025 | hide | past | pdf | 5 comments on HN

In plain words: A geometry solver pairs a rule-based reasoning engine with a language model that guides its search, and now handles moving objects and angle or length equations. It solved 84% of Olympiad geometry problems over 25 years, up from 54%, beating an average gold medalist.

Abstract · Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2

We present AlphaGeometry2 (AG2), a significantly improved version of AlphaGeometry introduced in (Trinh et al., 2024), which has now surpassed an average gold medalist in solving Olympiad geometry problems. To achieve this, we first extend the original AlphaGeometry language to tackle problems involving movements of objects, and problems containing linear equations of angles, ratios, and distances. This, together with support for non-constructive problems, has markedly improved the coverage rate of the AlphaGeometry language on International Math Olympiads (IMO) 2000-2024 geometry problems from 66% to 88%. The search process of AG2 has also been greatly improved through the use of Gemini architecture for better language modeling, and a novel knowledge-sharing mechanism that enables effective communication between search trees. Together with further enhancements to the symbolic engine and synthetic data generation, we have significantly boosted the overall solving rate of AG to 84% on all geometry problems over the last 25 years, compared to 54% previously. AG2 was also part of the system that achieved the silver-medal standard at IMO 2024 https://deepmind.google/blog/ai-solves-imo-problems-at-silver-medal-level/. Finally, we report progress towards using AG2 as a part of a fully automated system that reliably solves geometry problems from natural language input. Code: https://github.com/google-deepmind/alphageometry2.

Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, Xiaomeng Yang, Hoang Nguyen, Marcelo Menegali, Junehyuk Jung, Junsu Kim, Vikas Verma, Quoc V. Le, Thang Luong
arXiv:2502.03544 · cs.AI, cs.LG · submitted Feb 5, 2025 · updated Dec 8, 2025
abstract · pdf · html · 28 pages, 16 figures. V2: Clarified abstract, rewritten introduction, updated results on diagram generation, added acknowledgement section. V3: Added clarifications and a new section "Inequality rules", re-organized sections, added code link, now 34 pages

add comment on HN

> All changes described in this section improve the AG domain language coverage from 66 to 88% on all 2000-2024 IMO geometry problems. The remaining 12% contain 3D geometry, inequalities, non-linear equations, and countably many points (i.e. problems that have points where is an arbitrary positive integer). All problems (covered and not covered) by AG1 and AG2 can be found on Figure 8. Not covered are referred as "Not attempted".

The above explanation on page 5 was really interesting to me - so it's not that AlphaGeometry2 failed on these 12% of problems, but rather that it literally didn't have the words to tackle them.

the savvy researcher knows when to publish an exciting but limited result, enabling themselves to deliver a juicy follow-up
Before people lose their minds on AlphaGeometry, I thought I'd share this gem the r/math subreddit lending some insight into how the original AlphaGeometry appears to work from the perspective of someone far more literate in math than the rest of us.

https://www.reddit.com/r/math/comments/19fg9rx/some_perspect...

The tldr is that a lot of the heavy lifting was done by an algorithm used called Deductive Database + Algebraic Relations.

I must stress that the results were still impressive, at the time scoring a silver in Olympiad Geometry was seen as something out of reach for AI, and it's impressive that they were able to do this with a mostly deterministic approach. The point is that you really didn't need that much AI to actually score a silver.

> The tldr is that a lot of the heavy lifting was done by an algorithm used called Deductive Database + Algebraic Relations.

Let me make sure I understood this correctly. Author from reddit formed his opinion based on "examining the Nature article more carefully"?

thanks for sharing that insightful reddit thread.