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によ