▼ もうちょっと詳しく

DeepMind 製の数学に特化したAIペアです。AlphaProof が方程式系、AlphaGeometry が幾何問題を担当。2024年7月、国際数学オリンピック(IMO)で銀メダル相当(6問中4問正解、満点まで1問差)の成績を出し、業界を驚かせました。

AlphaGo がゲームを征服したように、今度は数学。次は金メダルを狙う、と DeepMind は公言しています。「AIが本物の数学者になる日」が見えてきた、ちょっと震える話。