OpenAI 表示已解決 Navier–Stokes 方程式。結論：NEEDS REVIEW。

本影片重點

• OpenAI：Navier–Stokes 爆破，約 10,000 個代理，88 小時，130B 輸出標記，經 Lean 驗證
• Buckmaster 和 Alpöge：在同一方法上花費一年時間，一個謠言，以及一個帶有兩個提議的週日電話
• Terence Tao：「即使是有人正在解決一個問題的謠言，也會引發大量的 AI 驅動工作來解決它」
• Jacob Coxon 辭職 Anthropic：兩個實驗室都在「直接衝向自我改進的超級智能」
• Meta 推出 Muse：一個在其自己的雲端虛擬機上運行的個人代理，在 WhatsApp 中，僅限美國

翻譯文字稿

譯自英文原版旁白。可用的音訊和字幕由 YouTube 控制。

0:00 昨天，OpenAI 宣布其 AI 解決了一個千禧年大獎難題， 九十年懸而未決，一百萬美元，歷時八十八小時， 而兩位在同一問題上花費一年的數學家則在 一個週日電話中得知，據其中一人所述，電話內容包括：你為什麼要毀掉你的 職業生涯？那是一個漫長的週一。 黎明時分，一位紐約大學教授發布了 一份四頁聲明；在 Hacker News 上獲得一千六百點讚。 下午，OpenAI 發布了證明。

0:26 晚上，Terence Tao 表示開放問題 現在正像不可再生資源一樣被開採， 隔夜，一位 Anthropic 研究員在 X 上辭職， 四千四百萬次觀看，因為這兩個實驗室，引述， 正在拿我們的生命冒險。 此外，Meta 推出了一個個人代理，它在 WhatsApp 中運行，並擁有自己的 電腦。在這段影片中：證明、電話、註腳， 以及 Terence Tao 希望這些實驗室聽到的話。

0:49 今天是 9 月 9 日星期三，這是 The Daily Diff。 首先是數學。 Navier–Stokes 描述流體如何運動，自 1934 年以來，沒有人知道一個 平滑的 3D 流體是否會達到奇點：速度在有限時間內達到無限。 OpenAI 的系統說會。 從靜止開始，施加一個平滑的力，保持能量有限， 一個渦旋會像義大利麵一樣向內螺旋，直到速度爆破。 Clay 表述的 C 和 D 聲明，在 Lean 中，

1:16 Astra 花費十七小時驗證。 所以流體會爆發，任何在 MacBook 上潑灑咖啡的人都知道， 但現在它在 Lean 中得到了證明。 如何做到：OpenAI 有一個新的內部模型，他們稱其能力顯著超越 Astra，9 月 1 日，他們聽到謠言說兩個千禧年難題已經 被解決了，所以他們讓它解決每一個開放的問題。 Navier–Stokes 小組：約一萬個並行代理， 一百三十億個輸出標記；所有問題總共三百億個。以 Astra 的

1:42 標價計算，價值一千五百萬美元的標記用於一個 一百萬美元的獎金，OpenAI 說他們不會領取，以那個利潤率， 誰會領。另一方。 紐約大學的 Tristan Buckmaster 和 Anthropic 的 Levent Alpöge， 花了一年時間用 Claude 和 Codex 推進 Córdoba 和 Martínez-Zoroa 的方法， 用 Buckmaster 自己的研究資金支付 OpenAI。 8 月 15 日，他們得到了歐拉方程的爆破；Buckmaster 稱這是他讀過 最糟糕的 LLM 證明，

2:10 並於 8 月 22 日在 Lean 中得到驗證。 然後謠言傳開，9 月 3 日他發電子郵件給 OpenAI：是我們， 這是私事，我們很快就會發布。 週日 12:45，OpenAI 要求今天隨時會面， Sébastien Bubeck 也加入了。 Buckmaster 被告知該模型幾乎沒有人工輸入就證明了受迫 Navier–Stokes， 在通話中，這變成了一個完整的團隊， 先解決簡單問題，一個由 Codex 編寫的提示，以及大量的

2:36 計算。他問第一個提示是什麼時候發送的。 最終：在過去的幾天裡，在我們工作的資訊到達 OpenAI 之後。隨後提出了兩個提議。 OpenAI。隨後提出了兩個提議。 一：你發布歐拉，我們第二天發布 Navier–Stokes。 二：由 Buckmaster 獨自寫出 OpenAI 的證明，並且， 他說，Bubeck 兩次要求 Alpöge 不加入論文，因為他在 Anthropic 工作。 他拒絕了，並表示他會公開。 根據聲明，回覆是：你為什麼要毀掉你的職業生涯，

3:00 然後：如果你不想我好，我就不必對你好。 通常這句話就是馬頭出現在床上之前的那句話。 OpenAI 的版本：沒有人看到他們的工作，沒有用戶數據被訪問， 而且，註腳，他們不能排除來自教授們使用他們產品的去識別化數據 幫助改進了模型。 Alpöge 的評論：他們直言不諱值得稱讚。 Sam Altman 說所有人都表現出 誠信和慷慨，而另一支團隊

3:25 威脅要提出毫無根據的抄襲指控，抄襲拼寫為一個 i。 所以官方立場是：我們沒有抄襲你的作業， 我們聽說你正在寫作業。 Terence Tao 稱教授們的結果非凡，並指出 Buckmaster 透過電話向他解釋，這是與基於 AI 的溝通方式的耳目一新改變。 溝通方式的耳目一新改變。然後，四篇文章：好的開放問題現在被開採 就像不可再生資源一樣，即使是有人正在解決這個問題的謠言，也會引發 大量的 AI 努力來解決它，所以這樣做的動機是停止分享研究

3:55 方向，這將逆轉數百年來的開放科學。 三個團隊在一個週末內發布了流體爆破；下一篇論文可能是一個保密協議。 這就是 Jacob Coxon 辭職時的心情： 在 OpenAI 進行了三年的預訓練，然後是 Anthropic； 他說，兩家公司都沒有負責任地行事， 兩者都在競相開發自我改進的超級智能， 而最終結局不應該從一家私人公司的 Slack 發起。 四千四百萬次觀看，在那一天，一個實驗室將一萬個代理投入到一個謠言中，

4:21 所以該討論串附帶了一個現場演示。 同時，Meta 推出了 Muse：一個在其自己的雲端虛擬機上運行的個人代理，擁有自己的 瀏覽器，你可以透過 WhatsApp 與它交流。 僅限美國，大部分功能免費。 Meta 承諾在今年稍晚推出一個連 Meta 也無法讀取的版本， 這是一種非常特殊的描述今年的方式。 Hacker News 熱門評論：我不想這樣與 Meta 分享我的生活。 第二條：它一直想賣我嬰兒車。

4:45 如果你寧願閱讀這篇文章而不是聽我說，The Daily Diff 每天早上都會發送到你的收件箱 — 在 thedailydiff.dev 免費訂閱，連結在下方。 所以 — 今天的結論：NEEDS REVIEW。 證明編譯成功；故事卻沒有。 一萬個代理在一個週末內解決一個九十年懸而未決的 問題是今年的能力結果； 透過週日電話告知你從中聽說這件事的兩個人，這可不是。 這可不是。

5:07 這就是今天的不同。 我是 Axrisi 的 Niko。 謹慎合併。

來源

1. OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
2. OpenAI Lean formalizationgithub.com
3. Tristan Buckmaster, statement (PDF)cims.nyu.edu
4. HN: Buckmaster statementnews.ycombinator.com
5. HN: OpenAI postnews.ycombinator.com
6. Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
7. Terence Tao: open problems mined non-renewablymathstodon.xyz
8. HN: Tao threadnews.ycombinator.com
9. Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
10. GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
11. Jacob Coxon's resignation threadx.com
12. HN: I resigned from Anthropic todaynews.ycombinator.com
13. Meta: Introducing Museabout.fb.com
14. Museai.meta.com
15. HN: Musenews.ycombinator.com