GoogleのAI(人工知能)部門であるGoogle DeepMindは2024年7月25日(米国時間)、数学の難問を解くために構築されたAIシステム「AlphaProof」「AlphaGeometry 2」を発表した。 Google DeepMindによると、これらのAIシステムを組み合わせることで、2024年に開催された国際数学オリンピック(IMO)で出題された6つの問題の内、4つを解き、「AIシステムが銀メダル水準のレベルに初めて到達した」としている。 Google DeepMindは「AlphaProofは、2024年のIMOで出題された2つの代数問題と1つの整数論の問題を解いた。これらにはわずか5人しか解けなかった難問も含まれていた。AlphaGeometry 2は幾何学の問題を証明したが、2つの組み合わせ論の問題は解けなかった」と述べている。 Google DeepMindによ
![Google、数学の難問を解くAI「AlphaProof」「AlphaGeometry 2」を発表 国際数学オリンピックで「銀メダル」レベルに到達](https://cdn-ak-scissors.b.st-hatena.com/image/square/73a2939594004ca25ee512fc667729962e30aa65/height=288;version=1;width=512/https%3A%2F%2Fimage.itmedia.co.jp%2Fait%2Farticles%2F2408%2F17%2Fcover_news027.jpg)