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

这一期的 10 条新闻

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 ↗