2025年の国際数学オリンピック（IMO）で、当時の主要なAIモデルが唯一解けなかった「問題6」を題材に、数学におけるAIの進化と人間の「理解」の本質を考察します。DeepMindやOpenAIなどのモデルが全問正解を達成する直前の、AIにとっての最後の壁となったこの問題の解法を、視覚的な直感と数学的定理を組み合わせて丁寧に解説します。

背景

2021年頃、AIはゲームや言語処理で成果を上げていましたが、数学オリンピックは創造性が必要な課題とされていました。2024年にDeepMindのAlphaProofが4問を解き、2025年にはDeepMind、OpenAI、Harmonic、Bytedanceのモデルが問題6以外の全問を解決。2026年には公衆利用可能な推論モデルが全問正解に至るという、数学におけるAIの急速な進歩が背景にあります。

この動画の要点

1. 2025年IMOの問題6は、AIが最後まで苦戦した難問です。Google DeepMindのThang Luong氏は、当時のAIには「忍耐強く問題の感触を掴む時間」や「問題を解こうとしない時間」が欠けていたと指摘しています。

2. 問題の核心は、特定の条件下でグリッドをタイル張りする最小枚数を求めることです。最適な構成を見つけるには、立方体の切断パズルのような視覚的な直感と、対称性の活用が鍵となります。

3. 証明には「エルデシュ・セケレシュの定理」が用いられます。これは順列の中に必ず一定の長さの単調増加または減少の部分列が存在することを示すもので、タイル張りの効率性と密接に関係しています。

4. 数学の真の価値は「証明」そのものよりも、その背後にある「人間の理解」にあります。AIが証明を生成できても、人間が納得できる『動機付けられた説明』の重要性は変わりません。

なぜ重要か

本動画は、AIが数学の難問を次々と突破していく現状において、人間が数学を行う意義を問い直しています。AIは膨大な探索空間を高速に処理できますが、問題の『美しさ』を感じたり、忍耐強く『感触』を確かめたりすることは苦手です。数学者たちが指摘するように、数学の目的は単なる正解の提示ではなく、概念の深い理解にあります。AI時代における人間の役割は、AIが生成した証明を『理解』の体系へと組み込み、新たな知見を工学などの実社会へ橋渡しすることにあると言えるでしょう。

こんな人におすすめ

AIの推論能力の進化に興味があるエンジニアや、数学的な思考プロセスを学びたい学生。AIが数学研究をどう変えるか、その限界と可能性を知ることができます。