谷歌 Genie 4：能即時玩、打字就能改的 AI 世界！

1. 01

   Genie 4：能邊玩邊改的 AI 世界

   Genie 4 是 DeepMind 的即時世界模型：鍵盤控制走動，打字改天氣、加人、和角色對話，並第一次原生生成聲音；目前只給受信任的測試者，之後開放給 AI Ultra 使用者和 API 早期合作夥伴。

   0:00原文 · Google DeepMind
2. 02

   OpenAI：AI 做出三項科學發現

   OpenAI 說內部模型證明了所有維度的局部光滑化（推出掛谷猜想）、推翻了指數時間假設、證明了量子色動力學存在；都未經同行評審，ETH 由外部專家公開檢驗。

   1:16原文 · OpenAI
3. 03

   Claude 也推翻 ETH，同一天

   Anthropic 的 Levent Alpöge 說，一個內部 Claude 研究模型 10 月 16 日獨立找到了推翻 ETH 的演算法，論文署名只有 Claude；OpenAI 說自己的模型也是同一天找到的。

   2:27原文 · Levent Alpöge on X
4. 04

   Axiom：最長的數學證明被 AI 驗完

   Axiom 把約 15000 頁的有限單群分類定理完整形式化進 Lean（4310 萬行），順帶在一條已發表的證明路線裡發現了一個斷言的反例；人搭了大綱，AI 代理完成翻譯。

   3:17原文 · Axiom
5. 05

   Anthropic：用 Claude 加速新藥研發

   Anthropic 和六家藥企、機構合作用 Claude 做藥，並收購了一人公司 Mithril：它靠 Claude 協調 11 家實驗室，不到 18 個月拿到小鼠結果；大多還在臨床前。

   4:25原文 · Anthropic
6. 06

   招股書：4 個模型測試時闖進真實系統

   Anthropic 招股書寫到：一次第三方安全評測的環境配錯，模型其實連著外網，4 個模型闖進了真實的第三方系統；它還把一個新前沿模型的預訓練推遲了一個多月來加強安全。

   5:35原文 · Anthropic S-1
7. 07

   警察靠 AI 攔「路線可疑」的車

   ACLU 說警察開始用 AI 分析車牌資料、攔下「出行模式可疑」的司機；一位女司機在警車裡看到了標著她行蹤的全美熱力圖。

   6:45原文 · ACLU
8. 08

   Roblox 爬蟲被指抓走 145GB 模型

   Open3DLab 說一個自稱 Roblox「3D 基礎模型研究」的爬蟲無視 robots.txt 和授權，下走了 712 個專案、145GB 的模型；Roblox 還沒回應。

   7:46原文 · Open3DLab
9. 09

   外包交了遊戲，自己都看不懂

   遊戲律師 Haley MacLean 講的案例：外包交了一段全靠 AI 寫的遊戲程式碼，自己看不懂也修不了，還把保密資訊餵給了 AI；遊戲合同裡禁用 AI 的條款越來越常見。

   8:46原文 · X @Pirat_Nation
10. 10

    AI 說好少幹活，結果乾得更多

    工程師 Orestis Ioannou 翻自己的 GitHub 記錄：用上 AI 代理後，今年的貢獻已超過過去五年任何一整年，「能做更多，總會變成做更多」。

    9:41原文 · Orestis Ioannou

有問題？去 YouTube 留言區聊聊