智能新闻 AlphaGeometry AI Solves Geometry Problems at Olympiad Level 2024年9月5日 AlphaGeometry: An Olympiad-Level AI System for Geometry – …