Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 AlphaGeometry2 (AG2) surpasses IMO gold medalists in solving Olympiad geometry problems by expanding its problem domain, enhancing symbolic reasoning, and integrating a stronger language model. Problem:

→ View original post on X — @askalphaxiv