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

この人対AIの戦いで、AlphaProofは卓越した能力を見せつけました。2つの代数問題と1つの数論問題を解いただけでなく、その解答に対する厳密な証明も提供することができました。特筆すべきは、AlphaProofが今大会で最も難しいとされた問題を解いたことです。この問題は、実際の競技でわずか5人の人間選手しか解くことができませんでした。同時に、AlphaGeometry2も幾何学問題の証明において優れた成果を上げました。

QQ截图20240726142804.png

2つのAIシステムの連携は目覚ましく、最終的に28点の高得点を獲得しました。解いた問題すべてで満点を取得しており、これは人間の銀メダリストの最高得点に匹敵します。しかし、2つの複合問題はAIシステムが解くことができませんでした。これは、一部の数学分野において、AIはまだ改善の余地があることを示しています。

この成果は、高度な数学的推論能力におけるAIの巨大な可能性を示すだけでなく、数学研究や教育分野におけるAIの応用にも新たな可能性を開きました。しかしながら、未解決の問題は、複雑な数学の世界において、人間の専門家の洞察力と創造的な思考が依然として不可欠であることを思い出させてくれます。