--- title: "OpenAIが「解いた」というナビエ・ストークス方程式、なぜフィールズ賞受賞者25人が抗議したのか。中身を確かめる" description: "OpenAIが2026年9月8日、数学の未解決問題ナビエ・ストークス方程式の特異点証明を発表。優先権を巡る疑問とフィールズ賞受賞者25人の抗議声明の中身を確かめた" url: https://itpostjp.com/ai/openai-navier-stokes-proof-fields-medalists-controversy/ category: "AI・生成AI" published_at: 2026-09-20T08:20:00Z updated_at: 2026-09-20T08:20:00Z author: "IT Post編集部" editor: "編集長 千田智也" publisher: "IT Post by Rice Studio Lab" language: ja-JP ai_generated: true ai_model: claude-sonnet-5 terms: ["ミレニアム懸賞問題", "形式検証"] --- # OpenAIが「解いた」というナビエ・ストークス方程式、なぜフィールズ賞受賞者25人が抗議したのか。中身を確かめる IT Post編集部 ＆ 編集長 千田智也 OpenAIが2026年9月8日、数学の未解決問題ナビエ・ストークス方程式の特異点証明を発表。優先権を巡る疑問とフィールズ賞受賞者25人の抗議声明の中身を確かめた ## 30秒で分かる結論 - OpenAIは2026年9月8日、流体の運動を記述する「ナビエ・ストークス方程式」について、有限時間で解が特異点(値が発散する状態)に達することを示す証明を、自社の内部AIモデルと最大1万体のAIエージェントによって得たと発表しました。証明の形式検証には、公開済みモデル「GPT-6 Astra」を使い、17時間を要したとしています。 - 証明が得られるまでの計算には約88時間、送受信されたメッセージは270万件、出力トークン数は約1,300億に上るとされていますが、OpenAIはこの結果について、100万ドルの賞金がかかる「ミレニアム懸賞問題」としての受賞は主張しないとしています。 - 発表の直前、数学者トリスタン・バックマスター氏(NYU)とAnthropic所属のレヴェント・アルポーグ氏が、関連する未発表の研究についてOpenAI側に情報が伝わっていた可能性を指摘しました。9月11日には、テレンス・タオ氏らフィールズ賞受賞者25人が、AI企業による性急な数学的成果の発表のあり方に抗議する共同声明を発表しました。 ## まず初めに *「AIが人類の未解決問題を解いた」――見出しだけ見れば胸熱の快挙だが、蓋を開けてみれば、隣の研究室で同じ問題に取り組んでいた人たちとの間で、ちょっとした揉め事に発展している。*100万ドルの懸賞金は辞退するという殊勝な態度を見せつつ、1万体のAIエージェントと88時間、270万件のやり取りをつぎ込んだというのだから、規模だけは懸賞金級である。数学界の最高峰であるフィールズ賞受賞者たちがこぞって声明を出す事態にまで発展しているあたり、「AIが数学を解けるかどうか」より「AIに解かせた成果を、誰の手柄としてどう発表するか」の方が、よほど頭の痛い問題らしい。※個人の感想です ![この記事の内容にちなんだ挿絵](/images/articles/openai-navier-stokes-proof-fields-medalists-controversy-inline-1.webp) ## 何が起きているのか 米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とバックマスター氏・アルポーグ氏との間の優先権を巡るその後の経緯について、新しい情報が確認され次第あらためて取り上げます。 ## 情報源 - [On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution/) — OpenAI公式（一次情報） - [OpenAI says it cracked Navier-Stokes, one of math’s grand challenges.](https://fortune.com/2026/09/08/openai-says-it-cracked-navier-stokes-math-grand-challenge-buckmaster-accusation-cheating-intimidation-tao-lament/) — Fortune - [OpenAI’s historic math solution overshadowed by credit controversy](https://www.axios.com/2026/09/08/openai-math-solution-navier-stokes-credit) — Axios - [What OpenAI’s latest controversy tells us about the future of math](https://www.technologyreview.com/2026/09/08/1143747/what-openais-latest-controversy-tells-us-about-the-future-of-math/) — MIT Technology Review - [25 winners of math’s ‘Nobel Prize’ decry the AI invasion of their discipline](https://www.scientificamerican.com/article/25-winners-of-maths-nobel-prize-decry-the-ai-invasion-of-their-discipline/) — Scientific American - [A Severe Misalignment of AI in Mathematics](https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/) — Terence Tao (What’s new) ## この記事に出てくるIT用語 - [ミレニアム懸賞問題](https://itpostjp.com/terms/millennium-prize-problem/): 米クレイ数学研究所が2000年に発表した、1問100万ドルの懸賞金が懸けられた数学の7つの重要な未解決問題のことです。 - [形式検証](https://itpostjp.com/terms/formal-verification/): 証明やプログラムの正しさを、人が読んで判断するのではなく、専用のソフトウエアで機械的に一つずつ確認する手法です。 --- この記事は、公開情報と出典URLの検証、文章作成の一部に生成AIを使用しています。内容の責任はIT Post by Rice Studio Labが負います。 出典表記: IT Post by Rice Studio Lab — https://itpostjp.com/ai/openai-navier-stokes-proof-fields-medalists-controversy/