OpenAIが「解いた」というナビエ・ストークス方程式、なぜフィールズ賞受賞者25人が抗議したのか。中身を確かめる

まず初めに

*「AIが人類の未解決問題を解いた」――見出しだけ見れば胸熱の快挙だが、蓋を開けてみれば、隣の研究室で同じ問題に取り組んでいた人たちとの間で、ちょっとした揉め事に発展している。*100万ドルの懸賞金は辞退するという殊勝な態度を見せつつ、1万体のAIエージェントと88時間、270万件のやり取りをつぎ込んだというのだから、規模だけは懸賞金級である。数学界の最高峰であるフィールズ賞受賞者たちがこぞって声明を出す事態にまで発展しているあたり、「AIが数学を解けるかどうか」より「AIに解かせた成果を、誰の手柄としてどう発表するか」の方が、よほど頭の痛い問題らしい。※個人の感想です

何が起きているのか

米OpenAIは2026年9月8日、公式ブログで、流体の運動を記述する偏微分方程式「ナビエ・ストークス方程式なびえすとーくすほうていしき」の3次元版について、有限の時間内に解が特異点(物理量が無限大に発散するような状態)に達する具体例を示したとする証明を発表しました。OpenAIの説明によると、この証明は、公開済みの「GPT-6 Astra」よりもさらに高性能な内部の未公開モデルを使い、最大1万体のAIエージェントを並列に動かして得られたものです。エージェント群が証明にたどり着くまでに要した時間は約88時間で、その間に送受信されたメッセージは270万件、出力されたトークン数はおよそ1,300億に上ったとされています。証明の正しさをコンピューター上で機械的に検証する「形式検証けいしきけんしょう(Formal Verification)」の作業には、証明支援システム「Lean」が使われ、GPT-6 Astraがこの検証に17時間を要したとしています。

ナビエ・ストークス方程式の解の存在と滑らかさに関する問題は、米クレイ数学研究所が100万ドルの賞金を懸けた7つの「ミレニアム懸賞問題みれにあむけんしょうもんだい」の一つとして知られています。OpenAIは今回の結果について、懸賞問題の完全な解決を主張するものではなく、また賞金を請求する意図もないとした上で、AIによる数学研究の能力を示す事例として発表したとしています。

この発表を巡っては、その直前に別の動きがありました。米ニューヨーク大学の数学者トリスタン・バックマスター氏は、Anthropicに所属する数学者レヴェント・アルポーグ氏とともに、ナビエ・ストークス方程式に関連する未発表の研究を進めていたところ、2026年9月上旬にその内容についての情報がOpenAI側に伝わっていたのではないかとの疑問を示しました。OpenAIは、9月1日にある噂を耳にしたことがきっかけで自社のプロジェクトを開始し、後にその噂がバックマスター氏とアルポーグ氏の研究に関するものだったと認識したと説明しています。その上でOpenAIは、両氏の研究における優先権を認める形で、共同での発表を持ちかけたとしています。

この経緯を受けて、2026年9月11日、フィールズ賞受賞者のテレンス・タオ氏やピーター・ショルツ氏を含む数学者25人が、「A Severe Misalignment of AI in Mathematics(数学におけるAIの深刻な整合性のズレ)」と題する共同声明を発表しました。声明では、AI企業が数学の未解決問題を「解いた」と性急に発表する近年の動きについて、査読や論文執筆といった、成果を数学コミュニティ全体の共有知識にしていく従来のプロセスを飛び越えてしまっていること、また、成果に関わった研究者への功績の帰属が不透明になりがちであることに、懸念を示しています。

なぜ重要なのか

今回の一件が注目されるのは、AIが数学の未解決問題に挑む事例として過去最大級の計算資源が投じられた点に加え、その成果の発表のあり方そのものが、数学コミュニティから疑問を呈された点です。フィールズ賞受賞者らの声明は、OpenAIによる今回の証明が正しいかどうかそのものを否定するものではなく、AI企業が「何問解いたか」という数の競争に走ることで、成果を検証・共有していく数学本来のプロセスや、関わった研究者への功績の帰属が置き去りにされかねないという、業界慣行そのものへの懸念を示している点が特徴です。

また、今回のバックマスター氏とアルポーグ氏の件のように、AI企業が独自に研究を進める中で、外部の研究者が未発表の状態で進めていた研究の情報に触れる機会が生じ得るという構図も、AIによる研究開発が加速する中で新たに浮かび上がった論点だといえます。OpenAIは今回、両氏の優先権を認める形で共同発表を持ちかけたと説明していますが、こうした申し出のタイミングや進め方自体が、今回の声明につながる懸念の一因になったとみられます。

私たちへの影響

今回の証明自体は高度に専門的な数学の話題であり、一般の利用者が直接その内容を検証したり、日常生活で影響を受けたりするものではありません。今回参照した情報源の範囲では、日本の研究機関がこの件に関与しているという情報もありません。

一方で、AI企業が研究成果を発表する際のスピードと、既存の研究者コミュニティが積み重ねてきた検証・功績帰属のプロセスとの間に摩擦が生じているという構図は、数学に限らず、AIが研究活動そのものに深く関わっていく今後の様々な分野でも起こり得る問題です。AIが生成した「成果」をどう評価し、誰の功績として扱うかというルール作りが、今後の課題になっていくとみられます。

初心者が知っておくべきこと

「ミレニアム懸賞問題」とは、米クレイ数学研究所が2000年に発表した、数学における7つの重要な未解決問題のことです。1問につき100万ドルの懸賞金が懸けられており、これまでに正式に解決が認められたのは「ポアンカレ予想」の1問のみです。今回話題になったナビエ・ストークス方程式の問題は、残る6問のうちの一つです。

「形式検証」とは、証明や設計が正しいかどうかを、人間の目視ではなく、コンピューター上で数学的・機械的に検証する手法です。Leanのような証明支援システムを使うことで、長大で複雑な証明であっても、論理的な誤りがないかを機械的にチェックできます。ただし、形式検証が通ったからといって、その証明が数学コミュニティにおいて正式に受理・評価されたことを意味するわけではない点には注意が必要です。

IT Postの見方――「解けたかどうか」より「解いた後の振る舞い」が問われている

IT Postでは、AIが大規模な計算資源を使って未解決問題に挑戦すること自体は、技術の到達点を示す前向きな取り組みだと考えます。

ただし、100万ドルの賞金は辞退しますと殊勝な顔をしておきながら、その裏で他の研究者の未発表の研究情報がどこかから伝わっていたかもしれない、というのは、なんとも据わりが悪い話である。優先権を認める共同発表を持ちかけたというOpenAIの説明が事実だとしても、フィールズ賞受賞者25人がわざわざ共同声明を出してまで異議を唱えている以上、少なくとも数学コミュニティの側からは「後出しで筋を通されても納得しがたい」と映ったということだろう。IT Postでは、AI企業が今後も同様の「AIが未解決問題を解いた」という発表を続けていくのであれば、成果を急いで公表する前に、関連する分野の研究者コミュニティとどう向き合うかについて、業界全体で共通のルールを整えていく必要があると考えます。※個人の感想です

今後どうなりそうか

OpenAIが発表した証明については、今回参照した情報源の範囲では、数学コミュニティによる独立した検証はまだ完了していません。また、フィールズ賞受賞者らの声明は、今後も新たな署名を受け付ける形で公開が続けられています。IT Postでは、証明の検証結果や、OpenAIとバックマスター氏・アルポーグ氏との間の優先権を巡るその後の経緯について、新しい情報が確認され次第あらためて取り上げます。