#AlphaGeometry 2

研究拡散指数 39

AlphaProofとAlphaGeometry 2、国際数学五輪で銀メダル相当の成績を達成

強化学習と形式言語を組み合わせたAlphaProofとAlphaGeometry 2が発表された。2024年の国際数学オリンピック（IMO）で6問中4問を解き、合計28点を獲得して初の銀メダル水準に到達。大会最難関の問題も解いており、数学的推論能力の大きな前進を示した。