【AIが数学の未解決問題を解く】
数学者の相棒になるAI
「AIが本当に数学者を超える日なんて来るの？」
そんな問いに、もはや「来るかどうか」ではなく「どこまで来たか」を語る時代になりました。
2023年末から2026年にかけて、AIが数10年〜60年以上未解決だった数学の難問を次々と打ち破る事例が報告されています。
そこで本記事では、世界を驚かせた代表的な事例を時系列で整理し、その意義と限界を率直にまとめます。
なぜ「AI×数学」なのか
数学界における転換点は、2025年夏でした。
2025年7月、複数のAIモデルが「国際数学オリンピック（IMO）」の6問中5問を解き、世界に衝撃を与えます。2026年初頭には、驚きが「畏敬の念」へと変わり、研究レベルの問題の半数以上をAIが解くようになりました。
「2026年レベルのAIは、適切に使えば数学の信頼できる共著者になる」
と予言しましたが、その予言は概ね的中しています。
【FunSearch】「未知の数学的事実」を発見した瞬間（2023年12月）
Google DeepMindが開発したFunSearchは、組合せ論の重要問題「キャップセット問題（cap set problem）」で、これまで知られていなかった大きなキャップセット構造を発見しました。
- 問題内容：「グラフ用紙にいくつドットを置けば、3点が決して直線上に並ばないか」という問題
- 手法：大規模言語モデル「Codey」に Pythonコードの空白を埋めさせ、誤答を排除しつつ最良案を反復
- 意義：DeepMindのPushmeet Kohli副社長は「訓練データに存在しない、未知の情報」と明言
テレンス・タオも、
「私のお気に入りの未解決問題のひとつ」
とブログで言及していた問題で、AIが解への新たな道を切り開いた歴史的事例です。
【AlphaProof & AlphaGeometry 2】IMOで銀メダル級（2024年7月）
DeepMindの「AlphaProofとAlphaGeometry 2」は、国際数学オリンピック（IMO）2024で6問中4問を解き、合計28点（銀メダル上位相当）を獲得しました。
| システム | 解いた問題 | 技術的特徴 |
| AlphaProof | 代数2問 + 整数論1問 | 形式言語 Lean + AlphaZero型強化学習 |
| AlphaGeometry 2 | 幾何1問 | Geminiベースのニューロ・シンボリック・ハイブリッド、シンボリックエンジンが先代の100倍高速 |
「自然言語の数学問題をLeanに自動翻訳し、強化学習で証明を探索する」という発想は、数学界全体に大きなインパクトを与えました。
【AlphaEvolve】67問中23問で人類記録を更新（2025年）
2025年初頭、テレンス・タオとブラウン大学のハビエル・ゴメス・セラーノは、DeepMindの研究者と共に「AlphaEvolve」を起動しました。
- 試した問題数：数学の様々な分野で67問
- 成果：そのうち 23問で既存の最良解を改善
- 時間スケール：人間の数学者が数ヶ月かかる作業を1〜2日で実行
これは「ピンポイントで一問を解く」のではなく、「広範な問題群に対して人類の最良記録を体系的に更新する」という、まったく新しい数学研究のスタイルを示したと言えます。
GPT-5 が42年来の最適化問題を解明（2025年秋）
UCLA/OpenAIのアーネスト・K・リュー教授は、GPT-5を共同研究者として活用し、1983年に数学者ユーリ・ネステロフが提唱した「Nesterov加速勾配法（NAG）」に関する42年来の理論的問題を解きました。
なぜNAGは「速いのに不安定にならない」のか？
この長年の謎に対し、GPT-5は数式の再構成案を提示。そのアイデア自体は不完全だったものの、リューが構造的特徴を見抜き、厳密な証明へと昇華させました。通常数日かかる探索が数時間に短縮されたといいます。
「AIは新しい道具を発明したのではなく、既存の道具を異分野から器用に持ち込む達人だった」
とOpenAIは表現しています。
素人がChatGPTで60年来のErdős問題を解いた（2025年）
数学者ではない23歳のリアム・プライスが、ChatGPT Pro（GPT-5.4 Pro）へのプロンプトだけで、60年間誰も解けなかった「エルデシュ（Erdős）問題」を解いてしまったのです。
- 問題：「原始集合（primitive sets）」のErdős和は、集合内の数が無限大に近づくと最大値がちょうど1に収束するか？
- AIの貢献：関連分野ではよく知られていたが、この問題には誰も適用しようとしなかった公式を持ち込んだ
テレンス・タオは「大きな数とその構造についての新しい考え方を発見した」と評価。これまで研究者が陥っていた「思い込みのブロック」を、AIが軽々と打ち破った瞬間でした。
Bruhat間隔の隠れた構造発見（2025年10月）
ウィスコンシン大学のジョーダン・エレンバーグらはAlphaEvolveを使い、順列群のBruhat間隔の構造を解析し、これまで誰も気づかなかった「ハイパーキューブ（高次元立方体）」構造が浮かび上がりました。
これは「AIがパターン発見器として機能し、数学者がそれを定理化する」という新しい共同研究モデルの典型例です。
Flag varietiesの一般証明（2026年1月）
スタンフォード大学のRavi Vakilらは、GeminiベースのDeepThink / FullProofを用いて、球体が「フラッグ多様体（flag varieties）」にどう埋め込まれるかという一般ケースの証明をAIに完成させました。
数学者がスケッチを与え、AIが詳細を埋めるという「指揮者と楽団」のような役割分担が機能した好例です。
Aletheiaが4つのErdős問題を「自律的に」解決
Google DeepMindの「Aletheia」は、トマス・ブルームのErdős予想データベースから4つの未解決問題を自律的に解決したと報告されています。テレンス・タオも自身のMastodonで、Erdős問題の728番が解決されたマイルストーンを称賛しました。
本当に「AIが数学を解いた」のか？
率直に言えば、過剰な期待には注意が必要です。
2025年10月、OpenAIの研究者がGPT-5の「未解決問題解決」を発表しましたが、後に「既知の結果をモデルが知らずに再発見しただけ」と判明した事例もありました。
2026年2月のPhys.org記事は、「AIはコンテスト形式は得意だが、独創的な深さと直感が足りない」と指摘。
FunSearchが「キャップセット問題を解いた」と報じられたが、実際には下界を改善しただけで、問題自体は依然として未解決。
つまり、「AIが解いた」と「AIが手助けした」は別物。報道の見出しに惑わされず、原典をたどることが大切ですね。
数学者の「相棒」としてのAI
- アイデア生成器：GPT-5がNAG問題で構造提案
- 異分野翻訳者：ChatGPTがErdős問題に他分野の公式を持ち込む
- パターン発見器：AlphaEvolveがBruhat間隔の隠れ構造を発見
- 証明補助者：DeepThinkがflag varietiesの詳細を埋める
- 形式検証者：AlphaProofがLeanで厳密な証明を構築
AIは、人間の創造性を10倍速にする触媒として機能し始めています。「AIに何をどう任せ、人間が何を判断するか」という視点は、数学に限らずあらゆる創造活動の核になります。
「ペンと紙の数学が革命される」 テレンス・タオ
革命は、もう始まっています。
私たちにできるのは、怖がらず、鵜呑みにもせず、賢く付き合うことですね。
関連記事
閲覧ありがとうございました。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
中年独身男のお役立ち情報局
Friends-Accept by 尾河吉満
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
