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強化学習アルゴリズムと、事前トレーニング済みの言語モデルを結合したものだ。

　Google DeepMindは、2つのモデルを統合したAIシステムにIMOが提供した競技問題を解かせ、IMOの金メダリストでフィールズ賞受賞者のティモシー・ガワーズ教授と、金メダルを2回獲得したジョセフ・マイヤーズ博士に採点してもらった。

　問題は、システムが理解できるように手動で翻訳した。1つの問題は数分以内に解いたが、他の問題を解くのに最大3日かかった。以下は数分で解いた問題だ。

　IMOでは6つの問題が出され、最高得点は42ポイント。DeepMindのシステムのスコアは28ポイントで、これは銀メダルの最高点に相当するとしている。

　金メダルの基準は29ポイント以上で、公式大会では609人の参加者中、58人がこのポイントを獲得した。日本からも6人が出場し、2人が金メダルを獲得している。

関連記事

• 

  Google DeepMind、タンパク質予測モデル「AlphaFold 3」発表　医薬品開発を促進

• 

  Google系列のDeepMind、AIシステム「AlphaFold」で「タンパク質折りたたみ問題」で大飛躍　新薬開発への重要な一歩

• 

  DeepMindの「AlphaStar」、「スタークラフト2」のプロトップゲーマーに圧勝

• 

  「AlphaGo」から進化　将棋とチェスでも世界最強「AlphaZero」