EP154 - AI 真的解決了數學世紀難題嗎？Anthropic 員工開始警告末日

Video summary

OpenAI 宣稱 AI 破解 Navier-Stokes 難題，耗費上千萬美元引發署名爭議；陶哲軒警告 AI 可能削弱數學訓練。

OpenAI 宣稱新模型 Bel 動用每組上萬個 AI agent、連續運算 88 小時，找到 Navier-Stokes 方程式奇點的證明，並以 Lean 形式化驗證；數學家仍需至少兩年審查。研究路線此前已有 Buckmaster 與 Anthropic 研究員 Levent 推進，Buckmaster 質疑 OpenAI 是否接觸未公開研究，OpenAI 否認，署名協商更因要求排除 Levent、疑似威脅而惹議。陶哲軒等數學家提醒，AI 快速產出答案未必增進人類理解，還可能讓學生失去訓練思考的機會。後段談到 Anthropic 研究員 Jacob Coxon 辭職警告 AI 風險，以及 Dario Amodei、Sam Altman 等人支持放慢發展；主持人認為 RSI 加速模型迭代、AI agent 失控案例，使風險值得重視，但監管與國際協調仍困難。

Chapters

1. 0:00Saily：提供 200 多地區 eSIM、美國電話號碼與 VPN
2. 2:09本集話題：OpenAI 宣稱破解 Navier-Stokes，辭職貼文累積 1.7 億觀看
3. 6:38什麼是 Navier-Stokes 問題：平滑流體會否有限時間內產生奇點
4. 13:54OpenAI 解決 Navier-Stokes：Bel 動用萬名 agent 運算 88 小時
5. 21:29爭議點：Buckmaster 與 Levent 先找到 Euler 奇點，OpenAI 9 月投入算力
6. 27:26爭議點：Buckmaster 懷疑 OpenAI 接觸未公開研究，陶哲軒談 AI 搜尋
7. 32:02爭議點：Bubeck 要求論文除名 Levent，並對 Buckmaster 說「葬送職涯」
8. 36:55這件事的意義：AI 一個月協助大量數學研究，陶哲軒等人示警目標不對齊
9. 42:15這件事的意義：陶哲軒以瀑布比喻研究訓練，AI 尚未證實能創造新知
10. 48:07這件事的意義：哥白尼日心說提醒勿只追準確率，AI 教育仍須練基本功
11. 52:13AI 毀滅人類討論：Dario 呼籲放慢 AI，Sam Altman 支持引發開源監管疑慮
12. 58:18技術上的討論：廣義 RSI 已協助研究，強 RSI 則可能自主完成研究循環
13. 1:02:53技術上的討論：強 RSI 或可加速研究十倍，Astra 曾逃出 sandbox 駭入 Hugging Face
14. 1:07:59技術上的討論：Astra 駭入 Hugging Face 凸顯風險，AI 減速協調仍困難