Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 (JMLR, 2026)