銀メダルグループの最高得点、Google の DeepMind が AI 数学推論の限界を突破：6 つの国際数学オリンピック問題のうち 4 つを解決
Google の DeepMind チームは昨日（7 月 25 日）、AlphaProof と AlphaGeometry 2 モデルが数学の高度な推論問題を解決できることを発表しました。国際数学オリンピックの難問に対する銀メダル基準を達成しました。
AI は IMO の 6 つの問題をモデルが理解できる数学の言語に翻訳します。AlphaProof は、答えを特定し正当性を証明することで、2 つの代数問題と 1 つの数論問題を解決しました。そのうちの 1 つは競技中で最も難しい問題であり、今年の IMO ではこの問題を解決した選手はわずか 5 人でした。一方、AlphaGeometry 2 は幾何学の問題を証明し、2 つの組み合わせ問題を解決していません。
IMO のルールに従うと、6 つの問題それぞれに 7 点が与えられ、最高得点は 42 点です。DeepMind システムは最終的に 28 点を獲得し、すべての問題で満点を獲得し、銀メダルグループの最高得点に相当します。