OpenAIのナビエ–ストークス主張は、なぜ数学界の反発を招いたのか

OpenAIが2026年9月8日に公表した内容は、数学における最重要級の未解決問題の一つに進展があったという主張だった。そのため大きな注目を集めた一方で、直ちに論争にもなった。企業が「証明した」と発表することと、数学界が証明を独立に精査し、正しい解決として受け入れることは同じではないからだ。

OpenAIは何を主張したのか

OpenAIは、未公開の社内システムが解析的な証明と、定理証明支援系Leanによる形式化を生成したと説明した。その内容は、当初は滑らかな静止流体であっても、3次元ナビエ–ストークス方程式の時間発展で有限時間内に特異点を生じ得る、というものだ。取り組みには、およそ1万の並行エージェントが関わったとしている。2

この結果が査読・検証に耐え、公式の問題設定にも適合するなら、「滑らかな解が常に将来にわたり滑らかであり続けるとは限らない」という形で、存在と滑らかさの問題に否定的な答えを与えることになる。Clay数学研究所（CMI）はこの問題を、3次元ユークリッド空間におけるナビエ–ストークス解の存在と滑らかさに関する問題だと説明している。18

なぜナビエ–ストークス問題は重要なのか

ナビエ–ストークス方程式は流体の運動を記述する。流体力学の数学的基礎をなす方程式だが、19世紀に書き下されたにもかかわらず、3次元の場合に解が一般にどう振る舞うかについての理解はなお限定的だ。30

この問題は、CMIが選定した「ミレニアム懸賞問題」の一つでもある。公式の問題文は、滑らかで物理的に妥当な解が大域的に存在することを証明するか、または指定された条件を満たす別の解決を与えるよう求めている。1721

つまりこれは単なるAI性能の指標ではない。正しい解決なら、解析学と流体力学の中核に触れる成果になる。しかし、重要性が高いからといって、検証の基準が下がるわけではない。

なぜ発表直後に「解決」と認められなかったのか

CMIは9月11日、問題が「どうやら解決された」可能性を検討していると発表した。同時に、評価と功績の帰属に関する手続きは意図的に急がないものだと強調している。18

CMIの賞の規則では、提案された解答を検討する前に、適格な媒体で公表されていること、公表から少なくとも2年が経過していること、そして世界の数学コミュニティで一般的な受容を得ていることが必要となる。27 さらに、提案された解答が公式の問題文に適切に答えていることも求められる。20

Leanは、符号化された定義と仮定のもとで、形式化された命題の連鎖が正しく導かれるかを検査できる。これは非常に強力な検証手段である。しかし数学者にはなお、形式化された定理の内容、置かれた仮定、そして非形式的な問題から形式化への翻訳が、本当に意図された問いを解決しているかを評価する役割がある。

したがって現時点を最も正確に表すなら、状態は**「主張され、精査中」**であり、普遍的に受容済みでも、賞として認定済みでもない。

優先権と功績をめぐる対立

発表の前後には、ニューヨーク大学の数学者トリスタン・バックマスターと、Anthropicに所属する数学者レヴェント・アルポゲをめぐる対立も起きた。報道によれば、両者は関連する問題に取り組んでおり、バックマスターはOpenAIがこの問題に着手した経緯について懸念を示した。953

バックマスターはさらに、功績の表示や共同研究をめぐる協議で不適切な行為があったと主張した。OpenAIはより広い範囲の主張を否定し、自社の研究者とエージェントは、両氏の研究が公表される前にそれを見ておらず、この問題の解決のために特定のユーザーデータへアクセスしたこともないと述べた。53

これらは確定した事実ではなく、相反する当事者の説明である。明らかなのは、この技術的な発表が、AI研究所と研究者が同じ最前線に近接して取り組む場合、誰にどのように功績を帰すべきかという問題へ発展したことだ。

データ利用の問題が重く受け止められた理由

特に敏感な争点は、AI製品に入力された研究内容が、その後の研究に使われたモデルの能力向上へ影響していた可能性だった。OpenAIは、ナビエ–ストークス研究のために両研究者の特定のユーザーデータへアクセスしていないと説明した一方、製品利用から得られた非識別化データがモデル改善に寄与した可能性を完全には排除できないと付け加えた。59

この区別には技術的な意味があり得る。しかし研究者の側には、未発表の仕事をAIシステムに扱わせる際、データの由来、同意、監査可能性についてどこまで保証されるべきか、という統治上の問いが残る。

研究者にとってこの論争は、草稿、予想、コードなどの機微な研究資料をAIツールへ入力する前に、製品のデータ利用方針を理解する必要性を示している。

フィールズ賞受賞者らの警告

9月11日、テレンス・タオは「数学におけるAIの深刻な不整合（A Severe Misalignment of AI in Mathematics）」と題する声明を公表した。声明には、当初の署名者として25人のフィールズ賞受賞者が名を連ねた。43

この声明の背景には、企業が有名な未解決問題を、共同で進める知的営みではなく、公開ベンチマークや宣伝競争として扱うことへの懸念がある。批判する側は、性急な発表、不十分な解説、弱い功績表示、「先取り」への強い誘因が、研究者に初期段階のアイデア共有をためらわせるおそれがあると考えている。

警告の趣旨は、AIを数学から排除すべきだというものではない。AIの能力が高まるほど、公開の精査、丁寧な説明、適切な功績表示、研究者間の対話といった、数学の発展を支える規範を守る必要がある、というものだ。

AI支援数学に求められる実務上の基準

今回の論争は、並外れて大きなAI研究成果を主張する際の実務的な基準を示している。

• 公開され検査可能な証明資料：厳密な論文原稿に加え、可能であれば機械検証可能な形式化を提示する。
• 独立した審査：形式検証と専門家による数学的評価は役割が異なる。重大な主張には両方が必要だ。
• 明確な功績の帰属：関連する先行研究、人間の貢献者、システムが担った役割の限界を記録する。
• データの来歴の明確化：研究者が、自身の利用データがモデル改善に使われ得るかを理解できる、明瞭な約束が必要だ。
• 熟慮のための時間：大問題を解くことは、真偽の出力を一つ得るだけではない。何が証明され、なぜ正しく、その成果が分野の中で何を意味するかを確立する過程でもある。

結論

OpenAIの発表は、AI支援による数学研究における画期的な出来事になる可能性がある。しかし、発表当日にすべてが決着したわけではない。決定的なのは、主張された証明が、数学コミュニティとCMIが定める基準のもとで、時間をかけた独立の受容を得るかどうかである。1827

今回の反発は、その手続きがなぜ重要かを示した。AIが高い利害のある研究領域に入るほど、信頼を左右するのはシステムが何を発見できるかだけではない。その発見が検証され、説明され、そして公正に功績として認められるかが問われる。