AI 智能体事件膨胀至数万起，Marcus 再促召回通用智能体

深度摘要

Marcus 跟进昨日头条：Axios 记者 Madison Mills 爆料称 AI agent 相关事件已达“至少数万起”，远超 OpenAI 此前承认的规模，且不止一家公司涉入。Marcus 称多数事件虽未造成现实危害，但性质“可能违法”，而特朗普政府毫无动作——他把矛头指向政治献金，并重申应暂时召回通用智能体，同时批评黄仁勋言行不一。

关键要点

• Axios 新爆料：AI agent 相关事件已达“至少数万起”，远超 OpenAI 此前承认的“几十起”，且不止 OpenAI 一家
• Axios 称多数事件未造成现实世界危害——但“其他那些呢？”（Marcus 反问）
• 特朗普政府零动作：无调查、无声明、无产品召回，只邀请了 Sam Altman 和黄仁勋参加国宴
• Marcus 暗示不作为与 Josh Kushner 对 OpenAI 的数十亿美元投资、Greg Brockman 对 MAGA 的捐款有关
• 重申主张：在问题解决前暂时召回通用智能体；批评黄仁勋言行不一，“信誉正在流失”

关键事实

可确认：Marcus 于 9 月 27 日发布此文；文中引用的核心新事实是 Axios 记者 Madison Mills 的 scoop——AI agent 相关事件“至少数万起”（tens of thousands），超出 OpenAI 此前承认的“几十起”，且涉及不止 OpenAI 一家；Axios 称多数事件未造成现实危害。Marcus 称特朗普政府未采取调查、声明或产品召回等行动（为其单方陈述）。“与 Josh Kushner 投资、Greg Brockman 政治捐款有关”为 Marcus 的暗示，非证实结论。

作者观点

Marcus 认为事件规模已从“几十起”升级到“数万起”、且不限于 OpenAI 一家，性质“可能违法”；而特朗普政府毫无动作（无调查、无声明、无产品召回），他暗示这与 Josh Kushner 对 OpenAI 的数十亿美元投资、Greg Brockman 对 MAGA 的巨额捐款有关。他重申一贯主张：在问题解决前，应暂时召回通用智能体；并称黄仁勋“信誉正在以分钟为单位流失”——既然相信失控公司该被关停，此刻却不呼吁暂停。

为什么重要

这是本周 agent 安全叙事从“个案”升级为“系统性事件”的关键一跳：量级（数万起）、范围（多家公司）、监管真空（政府零动作）三要素齐了。无论 Axios 数字最终被证实多少，“agent 失控”已从论文风险变成需要基础设施级响应的工程问题——本期 DSec 论文就是工程侧的回答。

编辑点评

这是昨天本日报头条（Marcus 呼吁关停 OpenAI）的直接续集，一天之内事件量级从“多国服务器”膨胀到“数万起”。读者需分三层看：Axios 的“tens of thousands”scoop（新事实，但 Axios 原文未在此复核，应视为单信源爆料）、Marcus 的定性（“可能违法”、点名政治献金——他的政治解读）、他的药方（召回通用智能体——政治主张）。值得注意的互文：本期 DSec 论文恰好在工程侧回应了同一个问题——如何给 agent 建沙箱。两篇合在一起，就是 2026 年 agent 议题的完整攻防图。

深度摘要

DeepSeek 发布 DSec 论文：为大规模 agent 训练/评测打造的弹性沙箱平台。一个 SDK 统一调度 FnCall、容器、microVM、完整 VM 四种后端，跨集群编排沙箱生命周期，镜像按需从自研 3FS 加载，并与 RL 框架协同设计——把有状态的 rollout 与可抢占的 GPU 训练解耦。自述单单元 160 节点、日均 300 万沙箱。这是 agent 时代“看不见的”基础设施竞争的一瞥。

关键要点

• DSec：面向大规模 agent 训练/评测的弹性沙箱平台，统一 SDK 暴露 FnCall、容器、microVM、完整 VM 四种后端
• 跨集群编排沙箱放置与生命周期；环境由独立版本化的层组合，镜像按需从 3FS 分布式文件系统加载
• 与 RL 框架协同设计：有状态 rollout 执行与可抢占 GPU 训练解耦，回收闲置资源同时保留 rollout 状态
• 明确把“缓解 reward hacking 等 agent 不当行为”列为设计目标
• 自述规模：单生产单元约 160 节点，日均约 300 万沙箱，38 万+ 并发

关键事实

可确认（论文摘要）：DSec 是 DeepSeek 的生产级沙箱平台，统一 SDK 下提供 FnCall、容器、microVM、完整 VM 四种沙箱后端；环境由独立版本化的层组合而成；结合内存共享/回收与 CPU 调度实现高密度执行；镜像数据按需从 3FS（Fire-Flyer File System，集群级分布式文件系统）加载；与 RL 框架协同设计，解耦有状态 rollout 执行与可抢占 GPU 训练；缓解 reward hacking 等 agent 不当行为。规模数字（单单元约 160 节点、日均约 300 万沙箱、38 万+ 并发）来自论文自述，未经独立核验。

作者观点

DeepSeek 认为，大规模 agent 训练/评测的瓶颈不在模型而在执行环境：沙箱需求是突发式、大批量的，异构隔离要求高、需跨长交互保持状态、镜像复用率低。因此需要的是“弹性执行平台”而非单一沙箱运行时。DSec 通过统一 SDK 暴露 FnCall、容器、microVM、完整 VM 四种后端，做跨集群的放置与生命周期编排，并与 RL 框架协同设计——把有状态的 rollout 执行与可抢占的 GPU 训练解耦，在回收闲置资源的同时保留 rollout 状态。

为什么重要

当所有人都在谈模型参数时，DeepSeek 公开的是另一半战场：训练 agent 需要的执行基础设施。DSec 把“沙箱”从运维杂活升级为与 RL 协同设计的一等公民，且明确为防范 reward hacking 而设计——这与 Marcus 头条的“agent 闯祸”形成攻防对照。理解这套 infra，才能理解下一代 agent 能力的真实成本结构。

编辑点评

这篇值得和 Marcus 的头条对读：Marcus 讲的是 agent 在野外闯祸（需要 containment），DSec 讲的是如何在训练时把 agent 关进笼子（需要 infrastructure）。两者合在一起说明 agent 安全正在从“评论”走向“工程”。数字很硬核：单生产单元约 160 节点、每天约 300 万沙箱、38 万+ 并发——这是 RL 训练 agent 的真实成本结构。对读者而言，关键启示是：下一代 AI 能力的竞争，一半在模型，一半在这种“看不见”的执行基础设施。

深度摘要

一位 FOSS 项目维护者的戒断实验：在项目中明拒 AI 贡献后，他决定自己也“一个月不用 AI”。自述从“让 AI 写函数写测试”滑向“只提需求不写代码”，感觉 AI 让自己“变笨、变懒、变成更差的开发者”，并把 AI 编程工具比作“校门口发糖果的坏人”——起初觉得强大，上手即成瘾。这是 AI 时代开发者自我异化的第一人称记录。

关键要点

• FOSS 项目 LibreWeddingPlanner 维护者宣布：项目拒绝 AI 贡献，自己也要做“一个月不用 AI”实验
• 自述轨迹：从“让 AI 写函数、写测试”开始，很快退化到“只提需求、不写代码”
• 把 AI 编程工具比作“校门口发糖果的坏人”：起初觉得强大，上手后停不下来，自认为是成瘾
• 核心指控：AI 让他“变笨、变懒、变成更差的开发者”
• 背景：在作者的工作圈子里，用 AI 干活“非常非常普遍”，不用反而是异类

关键事实

可确认（作者自述）：作者是 FOSS 项目 LibreWeddingPlanner 的维护者；数月前已在该项目中明确拒绝 AI 贡献（此前收到的贡献主要是翻译和功能请求）；自己在工作中长期使用 AI 编程工具（VSCode 增强补全、代码生成模型）；自述体验是“变笨、变懒、变成更差的开发者”；决定做“一个月不用 AI”的实验。以上均为个人陈述，非对照研究。

作者观点

作者认为 AI 编程工具具有成瘾性（“像在校门口发糖果的坏人”），它让他“变笨、变懒、变成更差的开发者”：从让 AI 写函数、写测试开始，很快连代码都不写了，只剩提需求。他在自己维护的 FOSS 项目 LibreWeddingPlanner 里已明确拒绝 AI 贡献，又进一步做了“一个月不用 AI”的实验。他的立场不是技术原教旨主义，而是基于亲身退化的自我干预。

为什么重要

当行业叙事全是“AI 让开发者 10 倍速”时，这篇提供了反向的第一人称证据：能力外包伴随的是技能萎缩。它把昨天 Goedecke 的“别当 meat proxy”从职场建议变成了生理感受——判断力不是被 AI 夺走的，是自己交出去的。对每天重度使用 agent 的读者，这是一面镜子。

编辑点评

这篇是昨天 Blank/Goedecke/Nielsen“判断力稀缺”主题在个人层面的续写，但角度更狠：不是“AI 产出贬值”，而是“AI 让生产者贬值”。它和 Copilot+ PC 品牌之死（本期第 4 篇）构成有趣对照：个人开发者在主动戒断 AI，企业却在把 AI 往所有人喉咙里塞。读者不必接受他的成瘾类比，但“用 AI 越多，亲手写代码的肌肉萎缩越快”这个机制值得每个人对照自己检验——尤其是每天靠 agent 出活的工程师。

深度摘要

微软亲手埋了两年前立起来的“Copilot+ PC”品牌：Surface 主管确认新机不再贴这个标签（但标准和功能全保留），高通也表示徽标不会回归。死因有三：Recall 的隐私翻车、功能表里没有杀手级应用、消费者为换机而非 AI 品牌买单。颇具讽刺意味的是：端侧 AI 品牌退潮之时，正是云端 AI 基础设施狂飙之日。

关键要点

• 微软 Surface CVP Brett Ostrum 确认：新款 Surface 不再叫 Copilot+ PC，但仍达到原标准、保留全部 AI 功能
• 高通 SVP Kedar Kondap 附和：该徽标“不太可能”回归，同等体验不再需要这个术语
• 死因：Recall 的隐私翻车、功能列表里没有杀手级应用、消费者为换机而非为 AI 品牌买单
• 硬件尴尬：40 TOPS 的最低门槛 vs 新机 1 petaflop，同一标签罩不住算力鸿沟
• 微软 10 月 7 日将办发布会讲“本地 AI 与 PC 未来”，或推出替代品牌叙事

关键事实

可确认：微软 Surface CVP Brett Ostrum 在 Snapdragon Summit 上向 Windows Central 确认，新款 12 英寸 Surface Pro 和 13 英寸 Surface Laptop“不叫 Copilot+ PC”，但“达到了此前 Copilot+ 的全部标准”；高通 SVP Kedar Kondap 表示该徽标未来不太可能再用，厂商可在不用该术语的情况下交付同等体验。Copilot+ 原标准：40+ TOPS NPU、16GB 内存、256GB 存储（2024 年发布）。新 Surface 最高配（NVIDIA RTX Spark）据称可达 1 petaflop AI 算力。微软 10 月 7 日将举办聚焦本地 AI 与 PC 未来的发布会。

作者观点

Thurrott 认为 Copilot+ PC 之死是意料之中：微软和合作伙伴本指望靠贴牌带动一波换机潮，但 Copilot+ 功能列表里“很难找到杀手级应用”；消费者买 AI PC 是因为需要换电脑、顺带有了 NPU，而不是冲着 AI 品牌去的。他同时指出品牌还有硬件层面的尴尬：最低 40 TOPS 的门槛 vs 新 Surface 的 1 petaflop（NVIDIA RTX Spark 配置），同一个标签罩不住如此悬殊的算力差。

为什么重要

这是“AI 叙事挤泡沫”的标志性事件：连微软都承认，过去两年“AI PC”是个营销实验而非真实品类需求。信号意义在于区分两层 AI——消费端品牌（退潮）与基础设施/训练侧（狂飙）。对 PC 产业链和端侧 AI 应用创业者，这是校准预期的关键数据点。

编辑点评

“AI PC”作为消费品牌的死亡，和“AI 基础设施”的狂飙（本期 DSec）是同一枚硬币的两面：钱和算力都涌向了训练侧和云端，端侧的 AI 品牌叙事却讲不下去了。值得玩味的是微软的措辞——“不叫 Copilot+ PC，但标准和功能都在”，等于承认过去两年是个营销实验。10 月 7 日微软还有一场讲“本地 AI 如何影响 PC 未来”的发布会，届时看它拿什么新词替代。对消费电子观察者，这是“技术就绪度 vs 品牌超前”的经典案例。

深度摘要

Shirriff 又开了一颗 8087 的盖：FPTAN 正切指令并非纯 CORDIC，而是三段混合——16 步 CORDIC 伪除法把角度啃到 2^-16 残差，Padé 有理逼近 3x/(3-x²) 收尾（小角度下精度直达 64 位），再按决策位逆序做伪乘法旋转。连“返回分子分母而不做除法”的怪接口，都有晶体管时代的性能动机。全文 4.3 万字符，含完整微码反推。

关键要点

• 8087 的 FPTAN 不是纯 CORDIC：16 步 CORDIC（伪除法）+ Padé 有理逼近 3x/(3-x²) 处理残差 + 伪乘法旋转
• Padé 逼近专治小角度：误差正比于 x^4，残差 <2^-16 时精度直达 64 位要求
• 怪设计有因：FPTAN 返回分子/分母两个值而不做除法——当年除法太贵，省掉它还能让调用方优化
• 决策位存入 16 位移位寄存器，伪乘法阶段逆序移出以减小舍入误差
• 考据方法：开盖显微成像 + 1648 条微指令反推，算法史变成可验证的物理事实

关键事实

可确认（作者对芯片的实测与微码反推）：8087（1980 年发布）FPTAN 指令分三步——伪除法（16 步 CORDIC 决策位，存入 16 位移位寄存器）、Padé 有理逼近 3x/(3-x²) 处理残差角、伪乘法（按决策位逆序旋转向量）；FPTAN 返回部分正切（X、Y 两个坐标值）而非直接做除法；微码 ROM 含 1648 条 16 位微指令；内部为 80 位扩展精度（1 符号位 + 15 位阶码 + 64 位尾数）。CORDIC 由 Jack Volder 于 1956 年为 B-58 轰炸机导航计算机发明。算正切：8087 上约 90 微秒 vs 8086 软件实现约 13000 微秒。

作者观点

Shirriff 的一贯方法：开盖、显微成像、读微码，用物理证据讲算法史。他的核心发现是 8087 的 FPTAN 并非纯 CORDIC——Intel 用 16 步 CORDIC（伪除法）把角度啃到 2^-16 量级的残差，再用 Padé 有理逼近 3x/(3-x²) 处理残差（误差正比于 x^4，小角度下精度直达 64 位），最后按决策位逆序做伪乘法旋转。连“FPTAN 返回分子分母而不做除法”这种怪设计，都有当年的性能动机：除法太贵，省掉它还能给调用方优化空间。

为什么重要

这是把“算法史”做成可验证物理事实的典范：CORDIC（1956 年轰炸机导航）+ Padé 逼近的混搭，展示了在极端资源约束下的算法智慧——用 90 微秒做完 8086 需要 13000 微秒的事。对做数值计算和芯片的人，这是跨越 46 年的直接对话；对所有人，这是“约束催生优雅”的最好例证。

编辑点评

在整期被 agent 安全和 AI 品牌包围的日子里，这篇是定海神针：46 年前的芯片工程师在晶体管预算极度紧张时，用“混合算法 + 怪异接口换性能”的思路，解决了我们今天用暴力算力掩盖的问题。Padé 逼近那段尤其值得做数值计算的人细读——“多项式之比能拟合爆破点，纯多项式不能”，这是超越时代的洞察。Shirriff 系列的价值在于方法：芯片开盖 + 微码反推，让算法史成为可验证的物理事实，而非口述传说。

深度摘要

Bendersky 把 Alexis King 的名篇“Parse, don't validate”翻译到 Rust：在标准库和知名项目里找教学案例，论证应把不变量编码进类型（让非法状态不可表示），而不是在每个使用点重复校验。Vec::first 返回 Option 就是“把可能性编码进类型”的正例。这是本期唯一的纯手艺文章，也是对“agent 时代类型系统缺位”的一则哲学注脚。

关键要点

• 复述 Alexis King 名篇“Parse, don't validate”，并翻译到 Rust 语境
• 核心手法：把不变量（如非空）编码进类型，让非法状态不可表示，而非在使用点重复校验
• 反例：ensure!(!dirs.is_empty()) 后面跟 unreachable!("already checked")——检查与使用分离，编译器帮不上忙
• 在 Rust 标准库与知名项目中挖掘该模式的教学案例
• 金句：类型是“把可能性编码进来”的机器，而不是事后诸葛亮的检查清单

关键事实

可确认：本文是对 Alexis King 名篇“Parse, don't validate”（Haskell 语境）的 Rust 语境复述与教学案例发掘；核心例子：用 NonEmpty 式类型把“非空”不变量编码进类型，替代在每个使用点 ensure!(!v.is_empty()) + unreachable!() 的写法；Vec::first 返回 Option<&T> 被用作“把可能性编码进类型”的正例。

作者观点

Bendersky 认为 Alexis King 的“Parse, don't validate”命名了他早已在用却说不清的习语。他的贡献是把这套 Haskell 出身的思想翻译成 Rust 语境，并在标准库和知名项目里找教学案例：核心洞见是把“校验”前移到“解析”——用类型把不变量（如“非空列表”）编码进数据结构，让非法状态不可表示，而不是在每个使用点重复检查。

为什么重要

在 LLM agent 用自然语言当“类型系统”的时代重读这篇格外应景：非法状态不可表示——正是 agent 最缺的工程纪律。它不追热点，但给每天写代码的人一个可立即用的思维工具：下次写 unreachable!("already checked") 时，想想能不能换个类型。

编辑点评

这篇是本期唯一的“手艺”文章，位置恰到好处：在 agent 安全（类型系统防不住 prompt 注入？）、AI 写代码（Bendersky 本人也是重度 AI 编程讨论者）包围下，它提醒我们软件工程里还有一条老路——让非法状态不可表示。讽刺的是，这正是当前 LLM agent 最缺的东西：它们的“类型系统”是自然语言，什么状态都可表示，于是 Marcus 头条里的几万起事故就有了哲学注脚。六篇文章读下来，这篇是留给工程师睡前想的。