図：ナビエ−ストークス方程式を巡って（ChatGPTによる）
この10日間の動きを調べます。この10日間で大きく動きました。要点を先に：クレイ研究所が公式声明を出して「どうやら決着したらしい」と認めた一方で、フィールズ賞受賞者25人が連名でAI企業のやり方を批判する宣言を出した——この2つが同じ9月11日に起きています。
① クレイ数学研究所の公式声明（9月11日）── 最大の変化
前回お伝えした時点では「受理せず、未解決のまま掲載」でしたが、9月11日にCMIが正式な声明「Navier-Stokes Announcement」を出しました。要点は3つ。
- CMIは「ナビエ・ストークス問題がどうやら決着したという発表」に世界の数学界とともに興奮を共有すると述べ、この仕事の背後にある革新が分析され問いただされることで「人間の新しい理解の波」が解き放たれることを期待する、としています。
- 賞の規則が「何が達成されたかを評価し、功績を割り当てる」手続きを定めており、そのプロセスは「意図的に急がない」が、随時アップデートを出すとしています。
- また、近年この分野周辺の進展（一部はクレイ研究賞で顕彰）によって問題が間もなく解決されるかもしれないという期待が高まっており、新技術が数学研究を加速する能力の向上がその期待をさらに強めた、とも書いています。
**重要な読み方**：この声明は**OpenAIの名を一度も挙げていません**。「apparently been settled（どうやら決着した）」という受動態で、主語は伏せられている。しかも規則が定めるのは「評価」と「**功績の割り当て**（assigning credit）」の両方だと明示しており、これは優先権争いを正面から視野に入れた書き方です。そして問題ページ自体は今も「**Active**」のタグのままです。
つまり **「解かれたらしい」とは認めたが、「誰が解いたか」も「本当に正しいか」もまだ何も決めていない**、というのが9月11日の到達点です。規則上、査読誌掲載＋2年の一般受容期間が必要なので、公式決着は早くても2028年以降になります。
② フィールズ賞受賞者25名の共同宣言（9月11日）── 最大の余波
同じ日に、mathandai.org で「**A Severe Misalignment of AI in Mathematics**（数学におけるAIの深刻なミスアライメント）」という宣言が公開されました。Terence Taoが自身のMastodonとブログで公表し、Leiden宣言と同様に追加署名を受け付けています。Taoによれば、この声明は受賞者たちの前週の議論から生まれ、緊急性が高いと判断して急いで公開されたとのことです。
**署名者（初期25名）**にはTao、Scholze、Villani、Deligne、Kontsevich、Bhargava、Viazovska、Hairer、Figalli、Maynard、Huh、Ngô Bảo Châu、そして**森重文**（1990年）が並びます。注目すべきは **Pierre-Louis Lions（1994年）** の名前があること——彼自身が圧縮性ナビエ・ストークスの弱解理論の構築者であり、まさに当事者領域の人です。最古参のDeligne（1978年）から今年受賞のYu Deng（2026年）までが並んでいます。
**宣言の論旨**（要約すると）：
1. LLMの数学能力は劇的に向上し、多くの分野で主要な未解決問題を解けるところまで来た。しかし**AI企業が数学の問題をベンチマークとして解こうとする動きは、数学という科学と数学コミュニティにとって有害**であり、両者の目標は深刻にずれている。
2. 有名問題は**灯台や標識**として機能してきた。解けたこと自体より、そこで生まれた新しい洞察と手法が、講演・議論・簡略化という長く骨の折れる過程を経てコミュニティに吸収され、最終的に教科書になることに意味がある。
3. **問題を解くことは、概念的理解という本来の目標の道具・代理にすぎない**。「真／偽」の言明をどんどん速く大量生産することは、新しいアイデアに息を吹き込むどころか、肥沃な土壌を破壊しかねない。
4. 急いで発表されるため、きちんとした書き上げ、新手法の抽出、**他者の先行研究の引用**の時間がない。これは他の創造的職業と同様、**深刻な帰属・剽窃の問題**を引き起こす。
5. AIが生んだアイデアの世話をし数学の正典に統合する人間がいなければ、そのアイデアは本当には生きず、**数学者どうしの人間的な継承の連鎖**が失われる。
6. ただし**AI反対の宣言ではない**。AIには本物の数学的研究と理解を高め加速する潜在力がある、と明記しています。決定的なのは、この技術を制御する人間の選択だ、と。
**押さえるべきニュアンス**：宣言はOpenAIの証明が間違っているとは一言も言っておらず、企業名も挙げていません。争点は**正しさではなく、プロセス・帰属・人間の理解**です。この区別を外すと議論が噛み合わなくなります。
背景記事として、Taoは宣言と併せてEconomist誌の記事「Top mathematicians are outraged by OpenAI's methods」を挙げています。
③ 引用漏れ問題 ── 宣言の主張を裏書きする実例
これは小さいようで象徴的な出来事です。OpenAIの当初の論文は、CórdobaとMartínez-Zoroaの論文も、AlpögeとBuckmasterの仕事も引用していませんでした。EPFLのGonzalo Cao-Laboraが参考文献の乏しさを指摘した後、9月8日中に更新版でCórdobaらの論文が追加されました。改訂後のPDFは166ページになり、歴史的経緯の記述が拡張されて、Córdoba–Martínez-Zoroaの先行構成、Zhengとの関連研究、古典的な波の不安定性研究への言及が加わりました。主定理と周期版の系は変わっていません。
つまり宣言が言う「急いだ発表による引用の欠落」が、まさに引き金となった事例そのものに起きていた。数時間で直ったとはいえ、**外部の数学者に指摘されるまで気づかれなかった**という事実が残ります。
④ 検証の現状 ── 今どこまで確かめられているか
前回の時点で「誰も証明を見ていない」という報道がありましたが、これは現在は誤りです。公開されているものを整理します。
｜公開物―――｜内容―――――――――――｜
｜NS論文 ｜166ページ（改訂後）｜
｜Euler論文 ｜別立ての57ページの原稿。外力なし・滑らかな初期データからの全空間での爆発を主張｜
｜Lean形式化｜github.com/openai/NavierStokesAndEuler。Lean 4.34.0-rc2 + Mathlib。リポジトリの指示はキャッシュ取得と `lake build` の実行。外部チェッカーで再検証する手順の文書も別途付属｜
誰でもクローンして数分でビルドでき、`sorry`（未証明の穴）の有無も自分で監査できる状態です。
しかし、これで終わりではないという点が繰り返し強調されています。Lean証明書が保証するのは「Leanとその読み込むライブラリの中で、形式的な定義から形式的な言明が導かれる」ことだけで、それらの定義が数学者の読むClay問題そのものであることは保証しないし、専門家が166ページの本文を読む作業の代わりにもならない。
現時点での判定：
・誤りの指摘は公には出ていません。
・Clay問題との対応については、問題文の原著者（Fefferman）から励ましになる予備的評価は得られているが、コミュニティの独立した受容はまだ。
・Palasekが指摘した障害は、あくまで「この構成から外力を取り除くルート」に対するものであり、Clayの仮定を満たす外力付きNSの結果を反証するものでも、あらゆる外力なしのアプローチを封じるものでもない。
⑤ 論争のその後 ── NYT報道などで出た新事実
ニューヨーク・タイムズ（Kenneth Chang記者）の取材で、いくつか新しい情報が出ています。
・OpenAI側にPDEの専門家がいなかった。Bubeckは、数学者のチームはいるが誰も偏微分方程式の専門家ではないと認めています。「問題文を与えただけで数日で到達する方向ではない」というBuckmasterの論点に対しては、これは有利にも不利にも読めます（内部に土地勘がなかったからこそ噂の方向づけが効いた、とも、専門家抜きでこれを出したのはモデルの力だ、とも）。
・提示された条件の全容。Bubeckが提示したのは、Buckmasterが先に結果を出してよい、OpenAI論文の筆頭著者になってよい、潤沢な計算資源を提供する、さらにBuckmasterらこそ100万ドルに値すると表明する、という内容だったと報じられています。決裂の核心は「Leventを著者に入れたくない」という一点だった。
・数学界の反応。プリンストン高等研究所のPeter Sarnakは、この種の駆け引きは聞いたことがない、彼が数学者らしく振る舞ったことを称賛すると述べています。
・Wikipedia に独立項目が立った。「Navier–Stokes priority controversy」という専用記事ができ、ミレニアム問題やナビエ・ストークスの各記事も「クレイ研究所にも独立した数学コミュニティにも未検証で、優先権争いの対象」と記述されています。歴史的事件として整理され始めた、ということです。
⑥ まだ起きていないこと（＝今後の注目点）
10日経って、動いていないことの方がむしろ重要かもしれません。
(1) 証明の誤りは見つかっていない。同時に、専門家による本格的な読解結果もまだ公表されていません。166ページ＋57ページ＋Leanコードを読み切るには数ヶ月単位がかかります。
(2) データアクセス問題は未決着。OpenAIは9月10日の調査結果追記でBuckmasterのCodexプロンプトの影響を否定しましたが、非識別化データの寄与は排除できないという留保はそのままです。第三者による検証の道はありません。
(3) 外力を消す問題（A/B）は完全に未着手。ここが本丸であることは変わっていません。
(4) 2つ目のミレニアム問題の噂が流れていますが（Hodge予想やBSD予想の名が挙がる）、確認された情報ではありません。現時点では噂として扱うべきです。
(5) CMI（クレイ数学研究所）の次のアップデートがいつ出るか。声明は「随時アップデートする」とだけ書いています。
⑦ブログにまとめるなら
前回申し上げた3つの軸（C/D vs A/B、アイデアの出所は人間、答えと理解の脱結合）は、この10日でむしろ公式に裏書きされた形です。特に：
・「答えと理解の脱結合」というTaoの言葉は、25人のフィールズ賞受賞者の連名宣言という形で制度化されました。宣言の「有名問題は灯台であって、ベンチマークではない」「問題を解くことは理解という目的の代理にすぎない」という論理は、日本語圏でもそのまま通用する強い主張です。
・「アイデアの出所は人間」は、引用漏れとその即日修正という具体的な出来事として現れました。
・一方で「AIは何も生み出していない」式の論も同様に不正確で、Clayが「どうやら決着した」と書いた事実、Lean形式化が誰でもビルド可能な状態で公開されている事実は動きません。
（注：Claudeが）個人的に面白いと思うのは、CMIの声明とフィールズ賞宣言が同じ日に出て、正反対の温度を持っていることです。制度の側（CMI）は「規則に従って粛々と、功績の割り当ても含めて評価する」と落ち着いて構え、研究者の側は「このままでは職業としての数学が壊れる」と警鐘を鳴らした。この温度差そのものが、今回の事件の本質を映しているように思います。
出典：
［１］Navier-Stokes Announcement — Clay Mathematics Institute
［２］A Severe Misalignment of AI in Mathematics — mathandai.org
［４］25 Fields Medalists Say AI Math Race Harms Mathematics — Implicator.ai
［５］Navier–Stokes priority controversy — Wikipedia
［６］OpenAI's Navier–Stokes Proof Claim: Evidence and Dispute — kingy.ai
［７］Navier-Stokes: OpenAI's 10,000-Agent Proof and the Dispute — cellcog.ai
［８］OpenAI Navier–Stokes: Proof Dispute — lilting.ch
［９］The Navier-Stokes controversy — Singham NYT報道の引用
［10］How an AI math breakthrough ignited a controversy — Science
0 件のコメント:
コメントを投稿