# OpenAI、ナビエ-ストークス問題を解決したと発表。評決: 要レビュー。

Published: 2026-09-09

OpenAIによると、約1万の並行エージェントが88時間稼働した社内モデルが、ナビエ-ストークス方程式が有限時間で爆発することのLean検証済み証明を生成したという。これは1934年以来未解決のミレニアム懸賞問題である。12時間前、NYUのトリスタン・バックマスターは、OpenAIとの日曜日の電話でのやり取り（「なぜ自分のキャリアを台無しにするのか？」）について4ページの声明を発表し、テレンス・タオは未解決の問題が再生不可能な資源のように採掘されていると書き、Anthropicの事前学習研究者はこの競争を理由に辞任した。また、Metaは独自のVMを持つパーソナルエージェントMuseを出荷。評決: 要レビュー。

Canonical: https://thedailydiff.dev/ja/video/2026-09-09-navier-stokes-rumor/

## この動画の要点

- OpenAI: ナビエ-ストークス方程式の爆発、約1万のエージェント、88時間、1300億出力トークン、Lean検証済み
- バックマスターとアルポーゲ: 同じアプローチに1年、噂、そして2つのオファーを含む日曜日の電話
- テレンス・タオ: 「誰かが問題に取り組んでいるという噂でさえ、それを解決するためにAIによる膨大な労力を引き起こす可能性がある」
- ジェイコブ・コックスンがAnthropicを辞任: 両研究所は「自己改善型超知能へとまっしぐらに競争している」
- MetaがMuseを出荷: WhatsApp内で動作する、独自のクラウドVM上のパーソナルエージェント、米国のみ

## 翻訳されたトランスクリプト

オリジナルの英語ナレーションから翻訳されています。利用可能なオーディオとキャプションはYouTubeによって管理されています。

0:00 昨日、OpenAIはAIがミレニアム懸賞問題を解決したと発表しました。 90年間未解決だった100万ドルの問題が、88時間で。 そして、同じ問題に1年間取り組んできた2人の数学者は、そのことを知りました。 日曜日の電話で、そのうちの1人によると「なぜ自分のキャリアを台無しにするのか？」という言葉が含まれていました。 長い月曜日でした。 夜明けにNYUの教授が投稿しました。 4ページの声明、Hacker Newsで1600ポイント。 午後にOpenAIは証明を投稿しました。

0:26 夕方にはテレンス・タオが、未解決の 問題が再生不可能な資源のように採掘されていると述べ、夜中にはAnthropicの研究者がXで辞任しました。 4400万回閲覧され、両研究所は「我々の人生を賭けている」と。 ギャンブルをしていると。 ギャンブルをしていると。 また、MetaはWhatsApp内で動作し、独自のコンピューターを持つパーソナルエージェントを出荷しました。 このビデオでは、証明、電話、脚注、 そしてテレンス・タオが研究所に伝えたい言葉について。

0:49 9月9日水曜日、The Daily Diffです。 まず数学から。 ナビエ-ストークスは流体の動きを記述するもので、1934年以来、滑らかな3D流体が特異点（有限時間で速度が無限大になる）に到達するかどうかは誰も知りませんでした。 滑らかな3D流体が特異点、つまり有限時間で速度が無限大になる状態に達するかどうかは、1934年以来誰も知りませんでした。 OpenAIのシステムは「イエス」と答えています。 静止状態から始め、滑らかな力を加え、エネルギーを有限に保つと、 渦はスパゲッティのように内側に螺旋を描き、速度が爆発します。 クレイ公式のステートメントCとDはLeanで、

1:16 Astraで17時間かけて検証されました。 つまり、流体は爆発する可能性があるということです。これはMacBookにコーヒーをこぼした人なら誰でも知っていましたが、 今やLeanに記述されています。 方法: OpenAIはAstraよりも格段に高性能だと彼らが呼ぶ新しい社内モデルを持っており、9月1日に2つのミレニアム問題が解決されたという噂を聞いたため、あらゆる未解決問題にそれを向けました。 方法: OpenAIはAstraよりも格段に高性能だと彼らが呼ぶ新しい社内モデルを持っており、9月1日に2つのミレニアム問題が解決されたという噂を聞いたため、あらゆる未解決問題にそれを向けました。 解決されたという噂を聞いたので、あらゆる未解決の問題にそれを向けました。 ナビエ-ストークス群は、約1万の並行エージェント、 1300億の出力トークン。全問題で3000億です。

1:42 Astraの正規価格では、OpenAIが主張しないと言う100万ドルの賞金に対し、トークンは1500万ドル相当です。 Astraの正規価格では、OpenAIが主張しないと言う100万ドルの賞金に対し、トークンは1500万ドル相当です。 その利益率では、誰もやらないでしょう。反対側です。 NYUのトリスタン・バックマスターとAnthropicに勤務するレヴェント・アルポーゲは、 コルドバとマルティネス-ソロアのアプローチをClaudeとCodexを使って1年間推し進め、 バックマスター自身の研究資金からOpenAIに支払っていました。 8月15日にはオイラー方程式の爆発を得ました。バックマスターは、彼が読んだ中で最も恐ろしいLLM証明だと評し、 最初のLLM証明を「今まで読んだ中で最もひどいものだ」と評し、

2:10 8月22日にLeanで検証されました。 その後、噂が広まり、9月3日に彼はOpenAIにメールしました。「私たちです、個人的なことです、間もなく投稿します」。 「私たちです、個人的なことです、間もなく投稿します」。 日曜日の12時45分、OpenAIは今日中にいつでも会いたいと申し出、 セバスチャン・ビューベックも参加しました。 バックマスターは、モデルがほとんど人間による入力なしに強制ナビエ-ストークスを証明したと告げられましたが、その電話の間に、 それは全チームの働き、より簡単な問題から着手し、Codexによって書かれたプロンプト、そして途方もない計算量へと変わっていきました。 それは全チームの働き、より簡単な問題から着手し、Codexによって書かれたプロンプト、そして途方もない計算量へと変わっていきました。

2:36 彼は最初のプロンプトがいつ送られたかを尋ねました。 最終的に：「数日前、私たちの研究に関する情報がOpenAIに届いた後」と。続いて2つの提案がありました。 最終的に：「数日前、私たちの研究に関する情報がOpenAIに届いた後」と。続いて2つの提案がありました。 一つは、あなたがオイラーを投稿し、私たちが翌日ナビエ-ストークスを投稿するというもの。 二つ目は、バックマスター単独でOpenAIの証明を記述し、 彼が言うには、ビューベックはアルポーゲがAnthropicに勤めているという理由で、彼を論文から外すことを2度望みました。 彼はこれを拒否し、公表すると言いました。 声明によると、返答は「なぜ自分のキャリアを台無しにするのか」でした。

3:00 そして「私が優しくしたくないなら、優しくする必要はない」と。 通常、これはベッドに馬の首が置かれる直前のセリフです。 OpenAIのバージョン：誰も彼らの作品を見ていない、ユーザーデータはアクセスされていない、 そして、脚注として、教授たちの製品使用から得られた匿名化データがモデルの改善に役立った可能性は排除できないと述べています。 そして、脚注として、教授たちの製品使用から得られた匿名化データがモデルの改善に役立った可能性は排除できないと述べています。 アルポーゲのレビュー: 彼らが正直に話したことに拍手。 サム・アルトマンは全員が誠実かつ寛大に行動したと述べ、もう一方のチームは 誠実かつ寛大に行動したと述べ、もう一方のチームは

3:25 根拠のない盗作の非難を脅したと（plagiarismの綴りはiが一つだそうです）。 だから公式見解は、「私たちはあなたの宿題をコピーしていません、 あなたが宿題をしていると聞いただけです」。 テレンス・タオは教授たちの成果を「注目に値する」と称し、バックマスターが電話で彼に説明したことはAIベースのコミュニケーション様式からの爽やかな変化であると指摘しました。 テレンス・タオは教授たちの成果を「注目に値する」と称し、バックマスターが電話で彼に説明したことはAIベースのコミュニケーション様式からの爽やかな変化であると指摘しました。 それから4つの投稿: 良い未解決問題は今や再生不可能な資源のように採掘され、 誰かがそれに取り組んでいるという噂さえ、それを解決するために大規模なAIの努力を引き起こすため、研究方向の共有をやめるインセンティブが働き、 誰かがそれに取り組んでいるという噂さえ、それを解決するために大規模なAIの努力を引き起こすため、研究方向の共有をやめるインセンティブが働き、

3:55 何世紀にもわたるオープンサイエンスを逆転させています。 3つのグループが週末に流体の爆発を投稿しました。次の論文はNDAかもしれません。 これがジェイコブ・コックスンが辞任した時の心情です。 OpenAIとAnthropicで3年間事前学習に携わりました。どちらの企業も責任ある行動をとっていないと OpenAI、次にAnthropic。どちらの企業も責任ある行動をとっていない、 彼はそう語り、両社は自己改善型超知能へと競い合っており、 最終段階は私企業のスラックから発動されるべきではないと。 ある研究所が噂のために1万のエージェントを投入した日に、4400万回閲覧されました。

4:21 そのため、そのスレッドはライブデモとともに公開されました。 一方、MetaはMuseを出荷しました。独自のブラウザを持つ独自のクラウドVM上のパーソナルエージェントで、WhatsAppで会話できます。 一方、MetaはMuseを出荷しました。独自のブラウザを持つ独自のクラウドVM上のパーソナルエージェントで、WhatsAppで会話できます。 米国のみ、ほとんどの機能は無料です。 Metaは、Metaでさえ読めないバージョンを今年後半に提供すると約束しています。 今年の記述としては非常に具体的な方法です。 Hacker Newsのトップコメント: このように自分の人生をMetaと共有したくない。 二番目: ベビーカーを売ろうとし続けている。

4:45 私が言うのを聞くよりもこれを読みたい場合は、The Daily Diffが毎朝あなたの受信箱に届きます。 thedailydiff.devで無料、リンクは下にあります。 というわけで、今日の評決：要レビュー。 証明はコンパイルされますが、物語はそうではありません。 週末に1万のエージェントが90年前の 問題を解決したことは、今年一番の能力に関する成果ですが、 それを、その話を聞いた2人への日曜日の電話で発表するのは違います。 それを、その話を聞いた2人への日曜日の電話で発表するのは違います。

5:07 今日のDiffはここまでです。 AxrisiのNikoでした。 責任を持ってマージしてください。

## 情報源

- [OpenAI: On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution/) — openai.com
- [OpenAI Lean formalization](https://github.com/openai/NavierStokesAndEuler) — github.com
- [Tristan Buckmaster, statement (PDF)](https://cims.nyu.edu/~tristanb/statement.pdf) — cims.nyu.edu
- [HN: Buckmaster statement](https://news.ycombinator.com/item?id=49605915) — news.ycombinator.com
- [HN: OpenAI post](https://news.ycombinator.com/item?id=49613262) — news.ycombinator.com
- [Terence Tao on the Alpöge–Buckmaster result](https://mathstodon.xyz/@tao/117233527638291447) — mathstodon.xyz
- [Terence Tao: open problems mined non-renewably](https://mathstodon.xyz/@tao/117237320796901560) — mathstodon.xyz
- [HN: Tao thread](https://news.ycombinator.com/item?id=49616968) — news.ycombinator.com
- [Clay Mathematics Institute: Navier–Stokes problem statement](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) — www.claymath.org
- [GPT-6 Astra pricing (used for the token-bill arithmetic)](https://openai.com/index/gpt-6-astra/) — openai.com
- [Jacob Coxon's resignation thread](https://x.com/hilbertspaess/status/2097476196791709843) — x.com
- [HN: I resigned from Anthropic today](https://news.ycombinator.com/item?id=49619227) — news.ycombinator.com
- [Meta: Introducing Muse](https://about.fb.com/news/2026/09/introducing-muse-personal-ai-agent/) — about.fb.com
- [Muse](https://ai.meta.com/muse/) — ai.meta.com
- [HN: Muse](https://news.ycombinator.com/item?id=49615537) — news.ycombinator.com