Google DeepMindのAIシステムAlphaProofとAlphaGeometry2が国際数学オリンピックで銀メダルを獲得し、数学問題解決における驚くべき能力を披露しました。AlphaGeometry2は19秒で幾何学の問題を解き、その速度と正確さはトップクラスの数学者を凌駕します。この成果は数学界の伝説的人物からも高く評価され、AIの数学分野における応用範囲を広げると考えられています。陶哲軒は、AIの発展が数学研究に役立つと指摘しています。

Google DeepMindの数学人工知能モデルが、今年の国際数学オリンピック（IMO）で画期的な進歩を遂げました。公式発表によると、形式的数学推論モデルAlphaProofと改良版幾何学問題解決モデルAlphaGeometry2が、今大会の6問中4問を解き、初めて人間の銀メダリストと同等のレベルに達しました。

先日終了した国際数学オリンピックで、Google DeepMindのAIシステムAlphaProofとAlphaGeometry2が驚異的な解法能力を披露しました。僅差で優勝を逃しましたが、速度と正確性において人間の選手を凌駕しました。AIシステムは4問で満点を取り、1問では19秒という驚異的な速度で解法を導き出しました。その解法過程は数学コンテストの基準に合致し、厳密で明瞭です。今回のコンテストは、AIの数学分野における潜在能力の高さを示しただけでなく、複雑な問題を迅速に解決できることも示しました。