Google DeepMindが、形式的な数学推論のための新たな強化学習ベースのシステムとして「AlphaProof」および幾何学を解くシステムとして「AlphaGeometry 2」を発表しました。これら2つのシステムを組み合わせることで、国際数学オリンピック(IMO)において銀メダルレベルのスコアを獲得できたと述べられています。続きを読む……
このサイトの記事を見る
Google DeepMindが、形式的な数学推論のための新たな強化学習ベースのシステムとして「AlphaProof」および幾何学を解くシステムとして「AlphaGeometry 2」を発表しました。これら2つのシステムを組み合わせることで、国際数学オリンピック(IMO)において銀メダルレベルのスコアを獲得できたと述べられています。続きを読む……
このサイトの記事を見る