AIはすでに人類最难の数学問題を解けるほど強くなり、私たちを全滅させることもできる。
この言葉を言ったのは、『ウォール・ストリート・ジャーナル』のコラムニスト、ベン・コーエンである。
9月11日、彼はAIと数学に関するコラムを執筆した。
コーエンはナビエ–ストークス方程式を理解していないと認めたが、彼は、OpenAIが今回達成したと主張するブレークスルーの意味を理解するには、数学を一切理解する必要はないと考えている：
AIの進歩は加速しており、その加速は恐ろしい。
数学界のハードコアなニュースが、すべての人類の運命にかかわる問題に変わった。
同じ日、陶哲軒を含む25人のフィールズ賞受賞者が共同で声明を発表した。『数学におけるAIの深刻な不一致』（A Severe Misalignment of AI in Mathematics）
彼らが言う「不一致」とは、AI企業と数学者が求めるものが一致していないことを意味します。数学者は新しい方法や新たな理解を求め、AI企業は有名な問題をモデルに解かせてスコアを上げることを望んでいます。
一方ではコラムニストが終末を叫び、他方ではトップの数学者が不一致について語っている。
この一週間の出来事を並べて見れば、彼らが落ち着けない理由がわかるだろう：
9月3日、GPT-6 Astraがリリースされ、FrontierMath Tier 4で97.6%を獲得。
9月5日、OpenAIが未発表の内部モデルを用いて、エージェントの初期起動から約88時間後にナビエ–ストークス問題の解のセットを導出した。
9月8日、OpenAIが結果を公開したが、その当日にNYUの数学者によって「先走り」だと非難され、「Anthropicの従業員を論文の著者に含めない」という著者権の問題が発生した；
9月10日、Epoch AIはFrontierMath Tier 4が満杯になったことを発表しました；
9月11日、25人のフィールズ賞受賞者が共同で声明を発表した。その夜、ウォール・ストリート・ジャーナルは数学の突破とAIの絶滅リスクを同じタイトルに掲載した。
7日間、5つの出来事はすべて、AIが知識を生成する速度、人類が知識を確認する速度、そしてルールを調整する速度の間に深刻なズレがあることを示している。
14か月で、AIが最難の数学ベンチマークを突破
FrontierMath Tier 4は、Epoch AIが設計した、最強モデルをテストすることを目的とした研究レベルの数学問題セットです。
この問題は非常に異常で、一部の問題は最高峰の研究者でも解くのに数日かかることがあります。
2025年7月、Tier 4がリリースされた当初、最強モデルでもわずか5％程度の精度しか出せず、ほぼ白紙同然だった。
14か月も経たないうちに、Epochは発表した：すべてのTier 4問題が少なくとも1回はAIによって解かれたことを。
その中で、最後の問題はGPT-6 Astraが解答し、出題者は数学者Jay Pantoneです。
エポックはさらに、過去の数学者たちはモデルが自ら精心して設計した問題を「偶然の近道」で回避することに不満を述べていたが、この最後の問題については近道を取らなかったと指摘した。
その後、エポックは冷酷な結論を出した：この基準は既に飽和している。
試験用紙は受験生に追いつけなくなってきた。試験用紙を変更するべきだ。
エポックはすでに戦場を、真のオープンな問題へと移行させ、AI評価体系は人間自身も答えを知らない盲点へとシフトし始めている。
AIの能力の成長速度は、私たちがそれを測定する方法をすでに上回っている。
エポックのグレッグ・バーンハムが嘆くように、一つの時代が終わり、新たな時代が幕を開ける。
88時間、AIが初めて研究所のように動作した
FrontierMathが「基準がモデルに追いつかなくなる」ことを証明したとするならば、ナビエ–ストークス事件が示すのは、さらに破壊的な光景である：
AIは問題を解くだけでなく、すでに巨大な研究機関のように動作し始めている。
これは単独の戦いではなく、最大1万のエージェントによる「大規模な集団戦」です。
それらは異なるグループに分けられ、一部は証明を行い、一部は反証を行い、互いに通信して中間的な結論を共有し、途中で最新バージョンのモデルにシームレスに切り替えることもあります。
スマートエージェントの最初のグループが起動から約88時間後に、100ページに及ぶ最終証明を提出しました。
OpenAIが発表したナビエ–ストークス特異点のメカニズムの概要：流体が内側に渦を巻き（inward spiral）、軸方向に引き伸ばされる（axial stretching）。オレンジは高速回転領域、シアンは低速領域を示す。渦の中心は次第に速く収縮し、速度は無限大になるが、総エネルギーは有限である。
この一連のプロセスは、人類の最高レベルの研究機関の運営モデルを完璧に再現しています。
機械が88時間で生成した結果を人間が確認するには年単位の時間がかかる
人間の世界では、ナビエ–ストークスの状態は「未解決」のままです。
ミレニアム賞の規則によると、解答は適格なチャネルで公開された後、最低でも2年間待たなければならず、国際的な数学コミュニティから広く受け入れられた場合にのみ、Clay研究所は正式な審査を開始します。
クレイ主席のマーティン・ブリドソンはAFPに対し、評価プロセスは「意図的に急がなかった」とし、「絶対に厳格でなければならない」と述べた。OpenAI自身も、この100万ドルを申請するつもりはないとしている。
したがって、この出来事について最も正確な表現は、OpenAIがミレニアム懸賞問題の解法を発表し、Leanによる形式的検証を完了したと主張しているが、数学界からの独立した確認は得られていないということである。
機械生成結果：88時間。人間確認結果：少なくとも2年。これは今週のAI数学における最も目立つ対比だろう。
これは人間の検証が遅いという話ではない。問題は、機械が「発見」を数百倍速めたのに対し、人間の「理解」はそれに追いついていないということだ。
したがって、真の問題は、機械が「数日で大きな成果を量産」するペースで知識を生み出した後、数年、あるいは数十年にわたる読解、検証、解釈、簡略化、吸収を誰が行うのかということです。
署名制度が最初に壁に突き当たる
ナビエ–ストークスの結果が公開された当日、数学界は大騒ぎになった。
ニューヨーク大学の数学者トリスタン・バックラマスターとAnthropicで働くレヴェント・アルポーゲは、8月全体を通じて関連する流体方程式を研究し続けていた。
『ニューヨーク・タイムズ』の再現によると、この二人の働き方は以下の通りである：
バックマスターが質問を提起し、アルポゲはその質問をAnthropicの内部モデルに投げた。モデルが結果を生成した後、二人は出力をもとに質問を調整し、再びデータをフィードバックした。
バックマスターの説明によると、事後、OpenAIは複数の和解案を提示した：彼に自身の結果を先に公開させること、彼をOpenAIの論文の第一著者にすること、そして彼が研究を継続できるよう計算リソースを提供すること。
しかし、最大の障壁は：OpenAIがLeventを論文に掲載したくないということです。
黒板には、バックマスターとアルペーゲが8月全体の進捗タイムラインを示しています：オイラー方程式は8月15日、Lean形式化は8月22日、8月31日……そしてフィガリやハイアーなどの同業者の名前も記されています。
商売は商売として、OpenAIが多額の資金を投入した内部プロジェクトに、なぜ競合他社Anthropicの従業員の名前を付ける必要があるのか？
その後、話はさらに敏感な別の話題へと拡がった。バックマスターは過去数か月、Codexを使ってAIが生成した数学の下書きを整理してきた。
では、彼がCodexを入力したがまだ公開されていない独創的な研究アイデアが、秘匿されたデータパイプラインを通じて、OpenAI自身のモデル研究の糧となった可能性はあるでしょうか？
バックマスターは証拠がないことを認めているが、彼の見解では、事件のタイムラインとOpenAIの証明の流れが、それを示唆している。
OpenAIは9月10日に緊急公告を発表し、内部調査の結果、Buckmasterが過去2か月間に使用したCodexのプロンプトは、訓練やその他のいかなる方法でもこの内部モデルに影響を与えることは絶対にあり得ないと明かしました。
誰が正しくて誰が間違っているかは、ここではまだはっきりしていないが、それが真正に露わにしているのは、これまで誰も真剣に答えられなかった一連の問題である。
個人のプライベートプロンプトは、保護された研究資料と見なされるのか？
企業内の資金投入型研究プロジェクトで、競合他社の従業員の名前を署名できるか？
モデルが膨大な公開資料を参照している場合、新たな貢献と既存の作業との境界はどのように定義されるべきでしょうか？
プリンストン高等研究院のピーター・サナックは『ニューヨーク・タイムズ』に、「このような交渉は、私の人生で聞いたことがない。」と語った。
数学界数百年にわたって蓄積された学術的ルールは、このような暴走する機械の生産速度のために衝突防止策を設計したことはない。
25位のフィールズ賞受賞者が真に懸念していること
たった1日後、25人のフィールズ賞受賞者が共同で衝撃的な声明を発表した。
陶哲軒、ピーター・ショルツェ、ジェームズ・メイナード、マリナ・ビヤゾフスカ……数学界の最高峰の頭脳がほぼ全員動員された。
この声明は、何の「反AI宣言」でもありません。
実際、陶哲軒本人は常にAIを活用して数学の研究を支援しようと非常に積極的に取り組んでいます。
また、声明はAIが真の数学的理解を加速する可能性があることを認めています。
彼らが真正に嫌悪しているのは、「問題を解く」ことを数学と直接同一視することである。現在のAI業界の熱狂の中で、AI企業は株価と宣伝のために、有名な問題を解くことを最優先目標としている。
彼らの目には、ミレニアム懸賞問題はモデルの優秀さを証明するためのスコアリングツールに過ぎないように見える。
しかし、数学の真の価値は、退屈な問題解決の過程で新しい方法や概念が生み出され、最終的に人類の共通の知識体系として蓄積されることにあります。
現在、AI企業は頻繁に衝撃的な成果を発表し、その速さに誰も対応しきれていない。この数千年にわたって続いてきた鎖は、いつ切れてもおかしくない。
連名の手紙は、結果が速やかに発表されたため、どのアイデアが新規であり、どのアイデアが前人の成果を踏まえたものかを明確に区別する時間が十分に確保されず、必然的に署名と帰属の混乱を招くと指摘している。
なぜ数学の突破が「終末の警告」と結びつくのか？
一般の人々が本当に関心しているのは、「AIが数学者を上回った」ということではない。
機械が知識を生み出す速度が、初めて人間が知識を確認し、帰属させ、吸収する速度を圧倒した。
これは脅しではなく、GPT-6 Astraシステムのカーソル記録によると、これはOpenAIがExploitBenchで100%の得点を獲得した最初のモデルであり、ネットワークセキュリティの「Critical」閾値に達しました。
千年問題を解くための組織力、ゼロデイ脆弱性の攻撃能力、より見づらい推論——この3つの能力が同じモデルに同時に備わっている。
OpenAIはナビエ–ストークスの公告の最後の段落に、もう一文を記している：
次に、彼らはこの新しいモデルを十分に理解した上で、どのくらいの速さで進むかを決定する必要があり、進捗速度についてより慎重な選択が必要になる可能性があります。
はい、ミレニアム問題の解答を提出したばかりのAI企業が、自ら減速を語っている。
コーエンはコラムの最後にもう一つのことを言及した。
先月、OpenAIはトップレベルの数学者たちをサンフランシスコのオフィスに招き、閉門会を開催し、AIが最終的に数学において人間を上回ると仮定した上で、教育や研究協力、論文発表、次世代の数学者の育成について議論した。
一日話したが、答えは得られなかった。
この問題は、Leanに打包して自動検証することもできません。
これは人間自身でしか解けません。
参考資料：
https://www.wsj.com/tech/ai/ai-math-millennium-prize-safety-openai-anthropic-05179825
https://epoch.ai/benchmarks/frontiermath-tier-4-v2?view=graph&tab=release-date
https://www.nytimes.com/2026/09/10/science/tristan-buckmaster-openai-math-navier-stokes.html?utm_source=chatgpt.com
https://www.daniellitt.com/blog/2026/8/11/the-end-of-mathematics/
本文は微信公众号「新智元」より、著者：ASI启示録