数学の世界で新しい時代が始まりました。世界最高難度の数学コンテスト「国際数学オリンピック（IMO）」で、AI モデルが人間と並ぶ実績を初めて達成しました。

満点達成の背景

2026 年 7 月に開催された IMO で、中国テック大手 Huawei の「Celia」と Xiaohongshuo の「dots-note-3.0」が 42/42 点の満点を獲得。同コンテストで AI が人間と同等のスコアを取得したのは初となります。

IMO とは何か

IMO は国際数学オリンピックの略称で、高校数学の最高峰大会です。参加資格は 20 歳未満に限定され、世界中の優秀な数学少年少女が集結します。2026 年は 666 名が参加、満点（42 点）を獲得した人間参加者はわずか 7 名でした。

出題される問題は、暗記や計算力では解けない「創意工夫」が求められます。AIが単純な計算や予め学習したパターンで対応できるレベルではなく、未知の問題に対して新しい解法を構成する思考が必要。その IMO で満点を取ったことの重みは、予想以上に大きいのです。

Frontier モデルも追従

興味深いことに、米国の frontier モデル 4 社も同じく 42/42 点を達成しています。投資家 Deedy Das による分析では、OpenAI、Anthropic、Axiom Math、Moonshot AI の各モデルがすべて完全スコアを記録しました。

つまり、国籍や企業を問わず、最先端の AI 数学推論モデルが同一水準に到達しているという状況です。

進化のペース

過去の記録をみれば、進化速度の加速が明白です。

2024 年時点では Google のモデルが IMO 問題の 4 問中 4 問を解くにとどまり、銀メダル相当のレベルでした。わずか 2 年で、複数企業のモデルが満点域に到達した。

何を意味するのか

数学は「AI が得意な領域」として認識されてきました。計算、パターン認識、論理推論——AI の強みそのものです。ただし、IMO の問題は「この強みを最大限に引き出せるか」を試すものでもあります。

今回の満点達成は、以下のシグナルを送っています：

  1. 基礎数学領域では AI が人間を超えた — 少なくとも問題解法能力の面では、最先端 AI は高校数学の枠組みではもはや限界にぶつかっていない
  2. 企業間の競争が激化している — Huawei や Xiaohongshuo といった中国企業が、米国企業と並ぶレベルで AI 数学能力を実装
  3. 次のボトルネックへの関心がシフト — 単に「問題を解く」から「複雑な推論」「未知領域への応用」へ

ただし課題も残る

一方で、IMO は「一点物の問題セット」です。本当に一般化した数学推論能力があるのか、それとも特定の problem set に過適応しているのか、という疑問は残ります。

大学レベルの数学、あるいは研究領域の新規な数学的問題に対して、AI がどの程度の成果を示すか。そこが次の試金石になるでしょう。

研究への波及

この進展は基礎科学にも影響を与えるはずです。複雑な計算や証明が必要な物理学、化学、生物学の研究では、AI が「共同研究者」として機能するシーンが増えるでしょう。

IMO での満点は、単なる競技での勝利ではなく、AI が「知的な問題解決」にどこまで肉薄できるかを示す、新しい証拠です。