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