OpenAIは2026年9月21日、数学とAIをめぐる独立助言組織「Advisory Group on Mathematics and Artificial Intelligence（AGMAI）」の設立を発表しました。
驚くべき核心は、委員会そのものだけではありません。OpenAIは、8月28日に訓練を始めた新しい内部モデルが、Navier–Stokesのミレニアム懸賞問題に加え、数学のほぼ全領域で「100件を超える長年の未解決問題を解決した」と主張しています。
これはまだ、100件すべてが学界で独立検証され、定説になったという意味ではありません。むしろ今回の重要点は、AI企業が「難問を解く」段階から、「大量の成果を誰が、どの順番で、どの基準で検証し公開するか」を設計する段階へ進んだことです。
発表日と、出来事の日を分ける
OpenAIの公表資料を時系列で整理すると、進展の速さが見えます。
- 8月28日：新しい内部モデルの訓練を開始
- 9月1日：未解決問題群への大規模探索を開始
- 9月5日：Navier–Stokes問題の解法に到達したとOpenAIが説明
- 9月6日：Leanによる形式化と検証が完了したと説明
- 9月8日：論文とLean形式証明を公開
- 9月21日：100件超の主張と、AGMAIの設置を発表
9月8日のOpenAI発表では、内部モデルが「有限時間で特異点が生じる」構成を示し、公式問題設定のCとDを成立させた、としています。解析的な証明だけでなく、Leanによる形式証明も公開されました。
一方で、2026年9月28日時点のClay Mathematics Institute公式ページでは、Navier–Stokesは「Active problems」に掲載されています。OpenAI自身も賞金を請求する意図はないと述べています。
ここは大切です。OpenAIが解決を主張したこと、形式証明があること、学界が最終的に受け入れたことは、同じ状態ではありません。
約1万のAIエージェントが、研究チームのように動いた
今回もっともワクワクする技術面は、単一のAIに長いプロンプトを与えた話ではないことです。
OpenAIによると、Navier–Stokesの探索には約1万の同時エージェントが関わりました。各グループは問題の異なる変形や方針を探索し、途中でCodexが有望な中間結果を集約。別グループへ知見を渡し、探索を更新しました。
全問題を通じた公表値は、490万メッセージ、約3,000億出力トークン。Navier–Stokesだけでも270万メッセージ、約1,300億出力トークンに達します。解法到達まで約88時間、その後のLean形式化と検証にGPT‑6 Astraで17時間かかったと説明されています。
重要なのは、モデルの能力だけでなく、役割分担・並列探索・中間結果の共有・形式検証を一つの研究工程にした点です。
MORIの文脈で言えば、これは複数AI協働のスケールが「数体の相談」から「研究組織の構築」へ飛んだ例です。記事制作や商品化でも、今後は一つのAIに全部任せるより、探索、批判、統合、検証、公開を分ける設計がますます重要になります。
なぜ独立助言組織が必要になったのか
AGMAIにはTimothy Gowers、Martin Hairer、Edward Wittenら9人の数学者が参加し、Institute for Advanced Studyが支援しています。組織はOpenAIから独立し、メンバーは報酬を受け取らず、助言を公開できると説明しています。
役割は、新しい結果の重要性評価、公開順序、研究上の規範、数学教育や研究支援のあり方への助言です。ただし決定権はAI企業側に残り、内部の研究速度を調整する権限もありません。
つまり「外部委員会があるから安全」ではありません。独立性と透明性の窓口はできましたが、企業の意思決定を拘束する仕組みではないのです。
MORIにとって重要な理由
このニュースは、数学の話だけではありません。
第一に、複数AI協働が、人間のチームを補助する段階から、巨大な探索空間を分担して未知の成果を生む段階へ進んでいます。
第二に、AIの出力を検証する仕事が後付けではなく、最初からシステム設計の一部になります。Leanのような形式検証は強力ですが、問題設定、前提、形式化の範囲、独立した専門家の評価まで含めてはじめて「確定」に近づきます。
第三に、成果が多すぎる時代には、公開順序と信用の設計がボトルネックになります。記事制作でも、AIが大量に下書きを作れるほど、事実確認、重複防止、出典、改訂履歴が価値になります。
まとめ
OpenAIは、内部モデルがNavier–Stokes問題と100件超の未解決問題を解決したと主張し、約1万の協働エージェントと形式検証を使った研究工程を公開しました。これは、複数AI協働が未知の研究成果を生む可能性を示す大きな転換です。
同時に、2026年9月28日時点でClay Mathematics InstituteはNavier–Stokesを「Active problems」に掲載しています。大発見の可能性と、独立検証済みの確定事項は分ける必要があります。
いよいよ「AIは難問を解けるか」だけでなく、「AIが大量に解いた成果を、人間社会はどう検証し、帰属し、公開するか」が本題になってきました。
出典
- OpenAI「Advisory Group on Mathematics and Artificial Intelligence」（2026年9月21日）
https://openai.com/index/advisory-group-on-mathematics-and-ai/ - OpenAI「On the Navier–Stokes Millennium Prize Problem」（2026年9月8日、9月10日更新）
https://openai.com/index/navier-stokes-solution/ - Advisory Group on Mathematics and Artificial Intelligence 公式サイト
https://agmai.org/ - Clay Mathematics Institute「The Millennium Prize Problems」（2026年9月28日確認）
https://www.claymath.org/millennium-problems/ - Martin Hairer「Why I agreed to join AGMAI」（2026年9月22日）
https://proofsandprompts.com/2026/09/22/why-i-agreed-to-join-agmai/