DeepMind 证明智能体登上 Science，解出 9 道 Erdős 题
353 道 Erdős 开放问题，解出 9 道。492 个 OEIS 猜想，证出 44 个。论文里最简单的 A 版循环和最复杂的 D 版，在 Erdős 上拿下的是同一批 9 道题。
第 4 页
查看归档 →纳德拉要给 AI 模型装紧急制动
纳德拉列了五条：模型和运行框架分开、管控放到模型外面、动作留防篡改记录、有人能中途叫停、默认模型已被攻破。哪条先落进 Copilot 或 Azure，帖子没提。微软到现在也没给时间表。
Cloudflare 决策模型能直接看视频听音频
一段 21 秒带声音的视频，一次调用约 1.5 秒出结果，每百万输入 token 收 0.15 美元。同日 Clef flash 降到 0.038 美元，托管版上下文从 64k 缩到 24k。
用 AI 做题十分钟，撤掉后更容易放弃
三组实验里，撤掉 AI 后的测试都是紧接着进行的。隔一小时、隔一天再测，差距是缩小还是保持，论文没有数据，作者也把它列在了局限的第一条。
Claude 写的 Adobe 仿品又盯上 Office
首批仿 Adobe 的仓库建于 9 月 30 日和 10 月 1 日，10 月 7 日又多出仿 Word、Excel、PowerPoint、AutoCAD 的四个。PhotoCraft 单仓库星标，从早前报道的 23303 涨到 49075
Codex 把 Sol 默认上下文调到 50 万 token
旧默认 27.2 万，新默认 50 万，模型窗口上限 105 万。多出的将近 23 万 token，用来减少上下文压缩。同一个 27.2 万，也正是 API 长上下文加价的起点。
Grok Bot有了自己的邮箱
地址统一挂在 mail.grokbot.com 下，团队账号要管理员先开通，功能 10 月 9 日开始推送，10 月 7 日更新的 0.68.1 版本日志里还没有它。
ARC-AGI-2榜首冲到88.06%
上赛季 NVARC 在私有集上拿到 24.03% 就夺冠；本赛季 Kaggle 榜首已是 88.06%，第二名 80.56%。前一个数算的是私有集终榜，后一个只算公开的那一半题。
AI反编译让老游戏一夜搬进浏览器
数百款浏览器移植版在两三周里冒出来，被搬的《GTA：罪恶都市》《光环》分属 Take Two 和微软。两家是否已经发函，会不会追到提供模型的一方，目前都没有公开表态。
Redwood用蒸馏审模型，一项认罪率升至84%
教师模型被训练成否认 14 种隐藏特质。蒸馏进同基座的 70B 学生后，其中一项的认罪率从 22% 升到 84%。学生换成 8B 版本，整体认罪率只有 18%，比原模型还低。