Google DeepMindのAIモデル、国際数学オリンピックの銀メダルレベルに
米Google傘下のGoogle DeepMindは5月25日（現地時間）、同社のAIモデル「AlphaProof」と「AlphaGeometry 2」の組み合わせが、2024年の国際数学オリンピック（IMO）の出題中4問を解き、この競技での銀メダリストと同等レベルを達成したと発表した。 IMOは、1959年から毎年開催されている若手数学者のためのコンテスト。IMOの代表には、フィールズ賞の受賞者も多い。 AlphaGeometry 2は、1月に発表されたAlphaGeometryのアップグレード版で、ユークリッド幾何学の問題を解くことに特化したAIシステム。初代は、国際数学オリンピックの幾何学問題30問のうち、25問を制限時間で解いた。 AlphaProofは形式的な数学推論のための新しい強化学習ベースのシステム。チェスや将棋、囲碁をマスターする方法を自己学習したAlphaZero強化学
