OpenAI 稱已解決 Navier–Stokes 方程。判決：NEEDS REVIEW。

本影片涵蓋的內容

• OpenAI：Navier–Stokes 爆破，約 10,000 個代理，88 小時，130B 輸出代幣，Lean 驗證
• Buckmaster 和 Alpöge：採用相同方法一年，一個傳聞，以及週日打來的兩個提議的電話
• 陶哲軒：「即使是關於有人正在研究某個問題的傳聞，也可能引發大量的 AI 驅動努力來解決它」
• Jacob Coxon 辭去 Anthropic 職務：兩間實驗室都「徑直衝向自我改進的超級智能」
• Meta 推出了 Muse：一個在 WhatsApp 中擁有自己雲端虛擬機器的個人代理，僅限美國

翻譯的文字記錄

從英文原文旁白翻譯。可用的音頻和字幕由 YouTube 控制。

0:00 昨天，OpenAI 宣佈其 AI 解決了一個千禧年大獎難題， 九十年未解，一百萬美元獎金，歷時八十八小時， 而兩位花了整整一年時間研究這個問題的數學家卻是 在週日的一個電話會議上得知的，據其中一人說，會議內容包括：你為什麼要毀掉你的 事業？這是一個漫長的星期一。 黎明時分，紐約大學的一位教授發佈了 一份四頁的聲明；在 Hacker News 上獲得了一千六百個讚。下午，OpenAI 發佈了證明。 Hacker News。下午，OpenAI 發佈了證明。

0:26 晚上，陶哲軒表示開放問題 現在就像不可再生資源一樣被開採，而一夜之間，Anthropic 的一位研究員在 X 上辭職， 資源，而一夜之間，Anthropic 的一位研究員在 X 上辭職， 四千四百萬次瀏覽，因為這兩間實驗室，引用他的話說， 正在拿我們的生命賭博。 此外，Meta 推出了一個個人代理，它運行在 WhatsApp 中，並擁有自己的 電腦。在這段影片中：證明、電話會議、註釋， 以及陶哲軒希望這些實驗室聽到的那句話。

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

1:16 Astra 花了十七小時來驗證。 所以流體可能會爆破，任何在 MacBook 上潑過咖啡的人都知道這一點， 但現在它已在 Lean 中得到證明。 如何辦到的：OpenAI 有一個新的內部模型，他們稱其能力顯著優於 Astra，而 9 月 1 日他們聽到傳聞說有兩個千禧年問題已經 被解決了，所以他們把這個模型指向了每一個未解的問題。 Navier–Stokes 小組：大約一萬個並行代理， 一千三百億個輸出代幣；所有問題總計三千億個。以 Astra 的標價計算，

1:42 問題。以 Astra 的標價計算，一千五百萬美元的代幣對於一個 一百萬美元的獎金，OpenAI 說他們不會領取，以這種利潤率， 誰會領。另一邊。 紐約大學的 Tristan Buckmaster 和 Anthropic 的 Levent Alpöge， 花了整整一年時間，使用 Claude 和 Codex，推動 Córdoba 和 Martínez-Zoroa 的方法， 從 Buckmaster 自己的研究基金中支付 OpenAI 的費用。 8 月 15 日，他們得到了歐拉方程的爆破；Buckmaster 稱第一個大型語言模型證明是他讀過最糟糕的， 第一個大型語言模型證明是他讀過最糟糕的，

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 威脅要提出毫無根據的抄襲指控，抄襲（plagiarism）只用了一個 i。 所以官方立場是：我們沒有抄襲你的功課， 我們只是聽說你在寫功課。 陶哲軒稱這些教授的成果非凡，並指出 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 免費訂閱，連結如下。 每天早上都會發送到您的收件箱— —在 thedailydiff.dev 免費訂閱，連結如下。 所以——今天的判決：NEEDS REVIEW。 證明是可編譯的；故事則不然。 一萬個代理在一個週末解決一個九十年未解的 問題是年度的技術成就；然而，透過一個週日的電話會議， 問題是年度的技術成就；然而，透過一個週日的電話會議， 通知你從中聽說這個消息的兩個人，這就不是了。

5:07 這就是今天的 The Daily Diff。 我是 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