AI最新情報読了 7 分

「なぜキャリアを棒に振るのか」――OpenAIの数学証明、著者外しを迫られた数学者の告発

Shiritomo編集部 @shiritomoAI_jp 2026年9月9日更新

AIエージェント1万体、稼働時間88時間。
OpenAIが2026年9月8日に発表したのは、90年近く誰も解けなかった数式の答えでした。
3次元のナビエ・ストークス方程式で、有限時間のうちに解が発散する「特異点」が起こりうることを示す証明で、クレイ数学研究所のミレニアム賞問題（2000年選定の7つの数学の超難問。
解けば懸賞金がつく）の1つに関わります。

ところが直後にXで最も拡散したのは、証明そのものではありませんでした。
研究者の告発を伝えた投稿が、公式発表を上回るいいねを集めています。
AIが人間の研究成果とどう向き合っているのか、読者にも他人事ではないはずです。

先に結論をまとめると：
– OpenAIの内部モデルがAIエージェント1万体を88時間動かし、ナビエ・ストークス方程式に関する証明とLean形式化を発表しました
– 数学者のTristan Buckmaster氏は、共同研究者Levent Alpöge氏を著者から外すよう迫られたとOpenAIを告発しています
– OpenAIは私的なやり取りを見ていないと否定していますが、双方の主張は食い違ったままです

AIエージェント1万体が88時間で出した答え

OpenAIによると、発表したのは「GPT-6 Astraより大幅に高性能」とされる内部モデルです。
人間の目視だけに頼らず、コンピュータが1行ずつ論理を検証できる「Lean形式化」（証明を形式言語に書き直し、機械的に誤りを確かめる仕組み）も添えて公開しました。
その様子を伝えたのが、公式アカウントの投稿です。
「解は渦——スパゲッティのようにねじれながら内側に巻き込み、細長くなっていく」と、証明が導いた解の姿を英語で説明しています。

The group produced an analytical proof and Lean formalization that via Navier-Stokes dynamics a fluid can develop a singularity in finite time.

The solution is a vortex, a spinning swirl of fluid, that spirals inward and gets increasingly elongated, like spaghetti.…
— OpenAI (@OpenAI) 2026年9月8日

ただ、この証明の中身だけでは、なぜここまで拡散したのか説明がつきません。
そこで一次情報を確かめてみました。

著者外しを巡る対立の中身

Buckmaster氏は何を告発しているのか？

Buckmaster氏と、Anthropicに所属するLevent Alpöge氏は、私的なCodex（AIとの対話でコードを検討できる環境）を使い、ナビエ・ストークス方程式に近いオイラー方程式などで特異点を示す証明を独自に進めていました。
OpenAIの発表前夜、2人はその成果を先に公開しています。

Buckmaster氏は「進捗に関する情報がOpenAIに伝わっていた」と主張しました。
OpenAIの数学チームを率いるSébastien Bubeck氏との電話では、Alpöge氏がAnthropic所属であることを理由に、彼を著者から外せば単独著者の功績を認めると持ちかけられたと告発しています。
公表しようとすると、Bubeck氏は「なぜキャリアを棒に振るのか」と返したとされています。

この告発を紹介し、7,700件超のいいねを集めた投稿は、英語でこう綴っています。
「もし本当なら、フロンティア研究所から出てきたものの中で一番醜いものを読んだ。
数学の話ではない。
OpenAIが、自分たちを出し抜きそうな2人に気づいた後、何をしたかという話だ」。

tristan buckmaster just published a statement that is, if accurate, one of the ugliest things i’ve read out of a frontier lab.

not because of the math. because of what happened after openai found out two people were about to beat them to the punch.

buckmaster and levent alpöge… https://t.co/9dEoLrEHbS pic.twitter.com/l0tnw8fgvS
— Ryan Orhan (@rynorhn) 2026年9月8日

OpenAIはどう反論しているのか？

OpenAIは「私たちは、彼らが公開するまで彼らの研究を一切見ていません」と述べ、私的なやり取りを見た事実を否定しました。
Bubeck氏も、著者を意図的に外そうとしたという説明は「事実と異なり扇動的だ」と反論。
一方で「キャリアを棒に振る」という言い回し自体は使ったと認め、不適切だったと謝罪し撤回したとも伝えられています。

もっとも、学習データにBuckmaster氏らの私的なやり取りが含まれていたかという疑念には、明確に答えていないようです。

この証明は本当に「ミレニアム賞問題を解いた」と言えるのか？

見落としがちな点があります。
ミレニアム賞問題は「外力を加えない」方程式が対象ですが、今回証明されたのは「外力を加えた」バージョンで、賞の対象そのものとは厳密には別物です。

一方で数学コミュニティが注目したのは、Lean形式化が本当に添えられていたという事実でした。
数学者Alex Kontorovich氏は「Lean形式化があってよかった。
大規模な数式ライブラリなしにここまで自動形式化を進めるのは極めて難しいと思っていたが、その予想は外れたようだ」と英語で反応しています。

Good, there’s a Lean formalization! At least I wasn’t wrong about that continuing to be important.

It seems I *was* wrong that without large well-managed libraries, it would be extraordinarily difficult to chain autoformalization far past the Mathlib halo – FLT proved that… https://t.co/90gGdzBm9k
— Alex Kontorovich (@AlexKontorovich) 2026年9月8日

証明の技術的な正しさは、外部の数学者による本格的な査読がこれからです。
現時点では「AIが解いたと発表した」段階で、コミュニティ全体の検証を経た結論ではありません。

Shiritomo編集部の考察：拡散したのは「証明」ではなく「言葉」

OpenAI公式の証明発表は4,164いいね、対立を伝えた投稿は7,761いいねでした。
技術的な達成そのものよりも、「なぜキャリアを棒に振るのか」という人間くさい一言のほうが、約2倍近く拡散したことになります。
SNSでAI関連ニュースが伸びるかどうかは、成果の大きさだけでは決まりません。
読み手が感情移入できる対立構造や生々しい発言が乗ったとき、拡散力は跳ね上がるようです。

AI企業が研究成果を発表する場面は今後も増えるでしょう。
個人研究者との著者クレジットや利益相反がどう扱われるかは、AI企業と学術コミュニティの信頼を左右する論点として繰り返し話題になりそうです。
今回の対立は一度きりではなく、AIが研究の現場に深く入り込むほど起こりやすくなる構造だと捉えておくとよいのではないでしょうか。