Google DeepMindが、形式的な数学推論のための新たな強化学習ベースのシステムとして「AlphaProof」および幾何学を解くシステムとして「AlphaGeometry 2」を発表しました。これら2つのシステムを組み合わせることで、国際数学オリンピック(IMO)において銀メダルレベルのスコアを獲得できたと述べられています。
数学オリンピックの問題で銀メダルレベルのスコアを残すAIを開発したとGoogle DeepMindが発表
仕事に役立つIT関連の最新ニュース
Google DeepMindが、形式的な数学推論のための新たな強化学習ベースのシステムとして「AlphaProof」および幾何学を解くシステムとして「AlphaGeometry 2」を発表しました。これら2つのシステムを組み合わせることで、国際数学オリンピック(IMO)において銀メダルレベルのスコアを獲得できたと述べられています。