Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2502.03544/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTGold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 — mentioned by falcor84https://news.ycombinator.com/item?id=43968579urn:hackerpapers:mention:2502.03544:43968579Tue, 13 May 2025 00:02:34 GMT<p>There are a ton of big examples of advances across all subfields of AI over the last year, but the first one that came to my mind was AlphaGeometry2 [0], which combines Gemini with a symbolic agent to solve (offer proofs for) the vast majority of IMO geometry problems. I believe that this sort of approach can be applied to many other types of problems. [0] https://arxiv.org/abs/2502.03544</p><p><a href="https://hackerpaper.kaipfister.de/p/2502.03544/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.AIGold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 — HN submissionhttps://news.ycombinator.com/item?id=42969892urn:hackerpapers:submission:2502.03544:42969892Fri, 07 Feb 2025 06:02:14 GMT<p>Gold-Medalist Performance in Solving Olympiad Geometry with AlphaGeometry2</p><p></p><p>64 points; 5 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2502.03544/">Paper and source history</a>. A submission is not an endorsement.</p>cs.AI