【geek-terminalニュース】OpenAIのNavier-Stokes証明に「理解」への疑義、正しさと理解は別物か

以前お伝えしたOpenAIのNavier-Stokes証明と、10月8日の数学原稿722本公開の続報です。今回の焦点は証明が正しいかどうかではありません。「証明を出したAI側は、それを理解しているのか」「理解を伴わない証明に数学的な価値はあるのか」という問いです。

最初にお断りします。今回は指定ソース3件(The Decoder、Reddit、Terry Tance名義のブログ)の本文を取得できていません。The DecoderのURLスラッグから、数学者がOpenAIは自社の証明を理解していないと指摘していることは読み取れます。しかし、誰が何を根拠に言っているのかは未確認です。以下では、公式・大手メディアで確認できた事実と、コミュニティで語られている話を分けて整理します。

【事象の全貌と背景】

まず確認できた事実です。The VergeやWiredなどによると、OpenAIは2026年9月8日、約90年間未解決とされたNavier-Stokes問題について、解を見つけたと発表しました。7つあるミレニアム懸賞問題の1つです。OpenAIの説明では、新たに公開されたGPT-6 Astraより強力な社内モデルと、1万の並列エージェントを使って発見したとされています。証明は、流体運動を記述するNavier-Stokes方程式で有限時間に特異性が生じ得ることを示すもので、Leanでの形式化も公開されたとのことです。

その後の展開は穏やかではありませんでした。Wiredによれば、ニューヨーク大学の数学者が、Anthropicと関係のある研究者と共同で取り組んでいたところ、進捗を知ったOpenAIに先を越されたと非難し、論争を呼びました。さらにOpenAIなどが数百件の未解決問題の解を発表し、分野に一種の危機を引き起こしています。The Vergeは、722本の原稿(372の結果ファミリー)の公開が数学界に感銘と動揺の両方を与えたと伝えました。同誌は、画期的な成果を出す一方で発表の仕方に大きな失敗を重ねている、と批判的に論じています。一部の数学者はAI利用の制限を求め、問題を解く過程は最終的な答えと同じくらい有益だと警告しているそうです。今回の「理解」論争は、この流れの延長にあります。

【技術的ディープダイブ】

技術面で押さえるべき点は3つあります。

1つ目は問題設定です。OpenAIの研究者Ven Chandrasekaran氏は、今回の成果を「滑らかな外力の場合」のミレニアム懸賞問題の解決で、有限時間特異性を示したものだと説明しています。arXivの論文も、滑らかな外力を伴う3次元Navier-Stokes方程式での有限時間特異性の形成について、AI生成の解析的議論とLean形式化を報告したと記しています。クレイ数学研究所はこの問題を事実上解決済みと見られると述べる一方、その評価に留保も付けているようです。ただし判断の詳細は確認できていないため、賞金問題として正式に認定されたかどうかは、ここでは断定しません。

2つ目はLean形式化の意味です。形式化された証明は、述べられた命題が機械的に検証されるため、正しさの保証には強力です。しかし、人間がその証明から何を学べるかは別の話です。この「正しさ」と「理解」の乖離こそ、今回の疑義の核心にあたります。

3つ目はモデルの挙動です。Chandrasekaran氏によれば、モデルは依頼されなくても流体の数値シミュレーションを自発的に行い、計算や提案の妥当性を確認していたといいます。またOpenAIのページには、発表前の2か月間にBuckmaster氏が社内のCodexに与えた指示が、訓練を含めいかなる形でもシステムに影響し得なかったことを調査で確認した、という趣旨の記述があります。これらはOpenAI側の説明であり、第三者による検証結果ではありません。

重要な注意点があります。今回渡された範囲では、証明そのものの技術的な誤りを指摘する発言は確認できませんでした。論点は、理解の欠如、非公開モデルによる検証不能性、権力集中、数学者の役割の4つに集約されます。

【コミュニティの生々しい熱量と議論】

ここからは、真偽の確認できないものを含むコミュニティの声です。

r/aiwarsでは「OpenAIの証明は数学者にとって(今のところ)何の価値ももたらさず、今後もそうだろう。実際の学びが生まれていない。Terrence Taoの主張だ」という投稿が見られます。なお、Taoの発言として伝わる「AIは我々を証明の洪水で溺れさせるが、証明を発見する過程から得られる理解は育たない」という趣旨の言葉は、原文を確認できていません。真偽のほどは定かではない点に留意してください。

対するr/accelerateは数学者側の反応を「論理的誤謬」だと批判する立場です。「数学を理解することは、我々が完全に愚かにならないために大切だ。誰かがTerence TaoにOpenAIの数学成果の人間向け解釈を見せるべきだ」との声があります。

Hacker Newsの「Sharing AI progress in mathematics」スレッドは、Navier-Stokes単独のスレッドではありません。それでも温度感がよく表れています。jboggan氏は、Barnette予想に24年間向き合ってきたと語ります。予想が証明されたと知り、「遠い昔の元恋人の訃報を聞いたような悲しさ」を覚えたそうです。一方nilkn氏は、AI数学は止まらないとしつつ、進歩が一部のラボの非公開モデルに集中し、誰にも再現できないことが不安の根源だと指摘します。これに対しomnicognate氏は、数学者の助言グループ自身が声明の冒頭で、非公開モデルでの高度な数学問題の検証を支持せず、やめるよう求めていると反論しました。bluecalm氏は「数学は学者のものではない。価値の置き場は問題を解くことから、理解可能にすることへ移る」と述べています。madaxe_again氏は、パズルクラブが楽しいだけなら科学の進歩を妨げるなと、過激な口調で切り捨てています。

なお、Redditのスレッドには物理学者の実感を扱うものがあるようです。ただし本文は未確認なので、内容には触れません。

【今後の展望とエコシステムへの影響】

ここから先は、現時点で語られている見方と私たちの整理です。未来の出来事を保証するものではありません。

第一に、「証明の正しさ=数学の成果」という前提が揺らぎます。Lean形式化が整えば正しさは安価に担保できるようになります。そのとき価値の置き場は、人間が納得できる説明や、新しい概念を生むことへ移るかもしれません。bluecalm氏の言う「理解可能にする仕事」はその一例です。

第二に、検証の透明性が争点になります。非公開モデルが成果を出し、再現できるのが一握りのチームだけという構図は、科学の再現性という原則と衝突します。助言グループが非公開モデルでの検証の停止を求めているという話は、その緊張を示しています。

第三に、論文の査読や評価の仕組みが問われます。722本の原稿を人間が読み切れるのか、という素朴な疑問が出ています。

結局のところ、今回の論争はAIの数学力そのものを疑うものではありません。AIが答えを出せることを前提に、人間は何のために数学をするのか、という問いです。The Decoderの記事本文とTaoのものとされる論考の中身を確認でき次第、続報でお伝えします。それまでは、噂と事実を分けて見守るのが賢明でしょう。