Google、数学の難問を解くAI「AlphaProof」「AlphaGeometry 2」を発表　国際数学オリンピックで「銀メダル」レベルに到達

2024年のIMOにおけるAlphaProofやAlphaGeometry 2を組み合わせたAIシステムと競技参加者とのパフォーマンス比較。42ポイント中、28ポイントを獲得して銀メダリストと同等のレベルを達成したという（提供：Google DeepMind）