この動画は、国際数学オリンピック（IMO）の問題をAIがどのように克服してきたかの歴史と、2025年に最後までAIの壁として立ちはだかった「問題6」について解説しています。かつては1問も解けなかったAIが、わずか数年で全問正解に至るまでの進化の過程を振り返りつつ、人間にとっても最難関とされる数学的思考の本質に迫ります。

背景

AIと数学の関係は急速に変化しています。2024年以前、AIはIMOレベルの問題に全く回答できませんでした。しかし、2024年にGoogle Deepmindが6問中4問を解くモデルを開発したことで状況が一変します。翌2025年には、Deepmind、OpenAI、Harmonic、Bytedanceといった複数の組織が、最終問題である「問題6」を除くすべての問題を解くモデルを提示しました。この「問題6」は、世界トップクラスの学生603名のうち、わずか6名しか満点を取れなかったほどの超難問であり、AIにとっても最大の難所となっていました。

この動画の要点

1. AIによるIMO問題解決の急速な進展。2024年にDeepmindが4/6を正解し、2025年には複数の組織が「問題6」以外の全問を解くまでに至りました。

2. 2025年の「問題6」の特殊性。この問題は、2025x2025のグリッドを特定の条件（各行・各列に1つだけ未カバーのマスを残す）でタイル貼りする際の最小タイル数を求めるものです。

3. 数学オリンピックにおける「解答」の定義。単に数値を出すだけでなく、他のすべての可能性を排除する厳密な証明が求められる点が、AIにとっての大きな挑戦でした。

4. 2026年におけるブレイクスルー。一般公開された推論モデル（reasoning models）へのプロンプティングにより、ついに全6問の解決が可能になったことが示されています。

なぜ重要か

この動画が示す最も重要な点は、AIの進化が単なる計算能力の向上ではなく、「推論（reasoning）」の領域に深く踏み込んでいることです。2025年時点でトップ企業が苦戦した「問題6」が、翌年には一般利用可能なモデルで解けるようになったという事実は、技術の普及速度の凄まじさを物語っています。また、数学的直感と厳密な証明という、人間特有と思われていた高度な知的作業をAIが代替し始めている現状は、教育や研究の在り方に一石を投じるものです。

こんな人におすすめ

AIの推論能力の進化に興味があるエンジニア、数学教育に携わる方、あるいは最新のAI技術がどこまで到達しているかを知りたいビジネスパーソンに最適です。