YTGET

YouTube · Facebook · X · TikTok · Instagram · Threads

兩家 AI 公司宣稱推翻 ETH 猜想,影片用開關謎題拆解證明進度與尚未確認的部分

YouTube 影片筆記

兩家 AI 公司宣稱推翻 ETH 猜想,影片用開關謎題拆解證明進度與尚未確認的部分

原片標題:EP450 - 兩家 AI 公司同時推翻電腦科學的大猜想:這代表什麼?

原片說明
十月底,OpenAI 和 Anthropic 各自公布一份論文,結論一樣:電腦科學裡一個被相信了二十幾年的猜想(ETH)被推翻了,而且證明是 AI 找出來的。這一集用開關謎題的比喻,講這個猜想在猜什麼、為什麼有人在乎、AI 做了什麼、還有哪些事沒確定,以及這件事對一般人的意義。 ⏱ 章節 00:00 兩家公司,同一個結論 00:25 一、難題:開關謎題 01:50 二、地基:為什麼有人在乎 02:38 三、AI 做了什麼 03:13 四、還沒確定的事 03:58 五、意義:這對我們代表什麼 📄 一手來源 ・OpenAI|The Exponential Time Hypothesis is False(論文):https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf ・OpenAI|openai/math 更新紀錄(獨立專家小組):https://github.com/openai/math/blob/main/history.md ・Anthropic|A 2^o(n) Time Algorithm for 3-SAT(論文):https://github.com/anthropics/formal-math/tree/main/eth ・Scott Aaronson|Shtetl-Optimized(10/26 貼文與留言):https://scottaaronson.blog/?p=10239 🎬 參考影片 ・Wes Roth|OpenAI just broke physics...:https://www.youtube.com/watch?v=lskEzJ7ixw0 ・TheAIGRID|OpenAI Just Made a Discovery Nobody Thought Was Possible:https://www.youtube.com/watch?v=3uoStyWxO5M ・Adem B10|800 Papers Assume This. OpenAI and Claude Say It's False.:https://www.youtube.com/watch?v=r0Vy7OvWh1Y ・Dr. Samuel Allen Alexander|ETH conjecture disproved by OpenAI AND Anthropic on the same day?!:https://www.youtube.com/watch?v=ZbxC0412cys ・HexaValuation|OpenAI's 3 Huge Claims, Checked:https://www.youtube.com/watch?v=YHfSZtGXGx0 ・TCS Proofs|The Exponential Time Hypothesis Is False? OpenAI's Claimed Subexponential #SAT Algorithm, Explained:https://www.youtube.com/watch?v=YmU4XTfCV84 歡迎請我喝杯咖啡,幫助我繼續把節目做得更好唷~! 👉 https://buymeacoffee.com/ailanrenbao

兩個 AI 公司同一天說「那個猜想錯了」,我第一個反應是:這種事不是該發在數學期刊嗎,怎麼會是兩家做產品的公司搶著發?而且還是 AI 自己找出來的證明。這集懶人報用開關謎題當比喻,把 ETH 在猜什麼、為什麼學界把它當地基、AI 到底做了哪一段、還有哪些沒確認,一路講到這件事對一般人的意義。

用一排開關比喻整道謎題
用一排開關比喻整道謎題00:34

影片時間軸

  1. 00:34用一排開關和規則表,說明什麼叫「找出讓所有規則同時通過的開法」
  2. 00:51每多一個開關,要試的開法就多一倍,300 個開關就超過宇宙原子數
  3. 01:18把「工作量降不到一」寫成猜想 ETH,並強調它跟以太幣無關
  4. 01:40兩家論文都說有更慢的成長做法,但開關要多到天文數字才划算
  5. 01:58這個猜想被當成地基,很多證明都寫著「如果 ETH 是對的」
  6. 02:25Aaronson 用一英尺矮籬笆和帝國大廈高牆,區分這次跨過的和沒跨過的
  7. 02:47Anthropic 說 Claude 研究模型在沒人給提示下自己找到核心做法
  8. 03:34正式審查還沒完成,也還沒有人公開指出錯誤
  9. 04:41懶人報自己的看法:想出答案變快了,確認答案沒有變快
  10. 05:31收尾:人類蓋了二十幾年的牆,新工具推開其中一塊石頭
矮籬笆被跨過,高牆還在
矮籬笆被跨過,高牆還在02:25

兩家公司的證明是怎麼被確認的

這段是整集最該看清楚的地方。兩家都另外用專門檢查數學證明的軟體,一步一步確認推理站得住,OpenAI 還邀了三位外部專家來讀,其中兩位正是當初提出這個猜想的人。但軟體只能確認寫進去的那句話有被證明,那句話有沒有忠實描述原本的問題,還是得靠人看。專家小組自己也聲明,參與不等於認證。所以現在的狀態是:一部分檢查過了,正式的審查還沒完成,也還沒有人公開指出錯誤。

用專門軟體驗證證明推理
用專門軟體驗證證明推理03:03

標題之外,真正的進度到哪裡

「AI 打破物理」「幾千篇論文全部作廢」「密碼學要完蛋了」,這幾句在影片裡被直接點名可以先放慢。ETH 只是一個猜想,不是物理定律;論文沒有說要把舊結果全部作廢;兩份論文也都沒有宣稱能破解任何加密。比較準確的說法是:一條很窄的新捷徑,已經有人檢查過一部分,剩下的還在檢查。懶人報自己的判斷是,這件事值得認真看,但也還在被檢查,專家要幾個星期甚至幾個月才會有結論。

值得下載嗎:值得,十幾分鐘就能把一個容易被誇大的新聞搞懂來龍去脈,還附了論文連結可以自己追。但它不會給你什麼實用技巧,想找操作教學的話可以跳過。

覺得這篇筆記有幫助嗎?
YTGet 編輯室|看完影片整理的筆記,細節以原片為準。

連線中

影片封面

擷取畫面

輸入時間點,例如 3:20、3.20 或 200

影片皆已含音訊。檔案越大準備時間越久,完成前請保持頁面開啟。