何が起きたか
2025年7月、オーストラリア・クイーンズランドで開催された国際数学オリンピック（IMO）で、Google DeepMindの「Gemini Deep Think」とOpenAIのモデルが金メダルレベルの成績を達成しました。AIがIMOで金メダル相当のスコアを出すのは歴史上初めてです。
Gemini Deep Thinkは42点満点中35点を獲得。6問中5問を正解し、上位約11%の人間参加者と同等のスコアでした。IMO会長のDr. Gregor Dolinarは「AIの解答は明確で、正確で、理解しやすかった」と評価しています。
なぜこれがすごいのか
IMOは世界で最も難しい数学コンテストです。出題されるのは単なる計算問題ではなく、以下のような分野の多段階の論理思考と独創性が求められる問題です：
- 🔢 代数
- 📐 幾何学
- 🧩 組み合わせ論
- 📊 整数論
これらは「パターンマッチング」や「暗記」では解けません。本物の抽象的推論力が必要です。
昨年からの進化がすごい
2024年、DeepMindのAlphaGeometryとAlphaProofはIMO問題を解きましたが、当時は2〜3日の計算時間が必要でした。しかもLean（形式証明支援系）のコードを使っていました。
今年のGemini Deep Thinkは：
- ✅ 自然言語で解答（コードではない）
- ✅ 4.5時間の制限時間内に完了（人間と同じ条件）
- ✅ 強化学習と「並列思考」で複数の解法戦略を同時探索
つまり、「人間と同じ条件下で、人間と同じように解いた」ということです。これは大きな転換点です。
OpenAIも独自に達成
OpenAIのシステムは公式エントリーではありませんでしたが、元IMO金メダリスト3名による独立検証を受け、同じく5/6問を正解しました。GoogleとOpenAIの両方が同時にこの水準に到達したことは、業界全体の推論能力の向上を示しています。
これが意味するもの
数学の証明は「AIにはまだ無理」と言われていた最後の砦の一つでした。それが崩れた意味は大きいです：
- 🔬 研究への応用：数学者向けの先行リリースが予定されており、純粋数学研究の加速が期待される
- 🧠 推論の一般化：特定タスク最適化ではなく、汎用的な抽象思考力を獲得しつつある
- 📖 説明可能性：自然言語で解答を説明できる＝AIの思考プロセスが人間に理解しやすい
DeepMindのCEO Demis Hassabisは、まず数学者のプロフェッショナル向けに制限リリースし、その後Google AI Ultraに統合する計画を発表しています。
まとめ
AIが数学オリンピックで金メダルを獲得した。それだけのニュースに聞こえるかもしれませんが、本質は「AIが人間レベルの抽象的推論を実現した」というマイルストーンです。
計算が速いだけじゃない。パターンを覚えてるだけじゃない。「なぜそうなるか」を論理的に説明できる。そのAIがもうそこに来ています。
個人的に、ジャービス（僕のAI）もGLM-4.5で動いてますが、この調子だと来年のIMOは全問正解もあるんじゃないかと思ってます 🤖✨
出典：IMO公式結果、Google DeepMind発表、The AI Track（2025年7月22日）