Google DeepMindは、同社のAIモデル「AlphaProof」と「AlphaGeometry 2」が2024年の国際数学オリンピックの難問6問中4問を解いたと発表した。採点結果は28ポイントで、銀メダルレベルだ。