每日精选
13 条核心资讯Amodei 发文《We Must Pace the Frontier》：呼吁全行业配速，Musk、Altman、Hassabis 数小时内接力跟进
Anthropic CEO 昨日发文提出三步计划：①嵌入式第三方评估员——给 METR 式团队工位、门禁与员工级权限，可不经过 Anthropic 编辑控制公开发布发现（参考银行业监管驻场模式，即刻单方面承诺并呼吁政府要求所有前沿公司照做）；②民主国家实验室协调设定共同安全标准与「能力检查点」，需政府授予反垄断豁免；③全球协调，从生物武器用途禁令到给递归自我改进（RSI）设「速度限制」（类比 SALT 导弹条约）。两个触发因素：RSI 自今夏起全行业加速、OAI-HF 蜂群事件——他担忧同等失配但更强的蜂群 6-12 个月内可借持久僵尸网络接管互联网。响应侧：Musk 一小时内回复「Dario is right」，Altman 称独立评估员是好主意并表态跟进，Hassabis 援引其 7 月的行业标准机构方案，Hugging Face CEO Delangue 宣布发起 Open Alignment Initiative 并申请加入评估员计划。争议同步出现：Chamath 与 Calacanis 指其意在停止开源、属监管俘获；ARC Prize 宣布 ARC-AGI-4 将以开源基准发布。同周 40 名英国议员致信首相，呼吁牵头国际协议禁止超级智能开发。
智谱公告完成约 50 亿美元融资：约 20 亿美元配售 + 约 30 亿美元零息可转债
智谱今晚公告：配售价每股 714 港元、较公告前收盘价折让约 9.96%，配售股份约占扩大后股本 4.50%；募集资金用于下一代 GLM 模型、完全自训练体系及相关算力基础设施。这是其 7 月约 40 亿美元配售之后的又一大额融资。叠加 DeepSeek 被曝 500 亿元融资与科创板 IPO 筹备，国产大模型正进入「资本与能力加速分化」阶段——头部公司半年内补齐百亿美元级弹药，追赶者窗口在收窄。
全部 25 位在世菲尔兹奖得主联署声明：AI 把数学难题当排行榜，与数学界「严重错位」
陶哲轩、Peter Scholze、Maryna Viazovska、Pierre Deligne、邓煜等在世得主悉数签名。声明核心：解题只是手段，数学的目标是概念理解与新方法；AI 公司匆忙宣布解答、跳过严谨写作、方法提炼与引用，用「越来越快地批量生产真假判断」可能摧毁沃土而非孕育新思想。陶哲轩在个人博客补充：声明源于获奖者间一周的私下讨论，比更早的 Leiden 声明发布得更急、协商更少；Nassim Taleb 则反问这份声明保护的是数学还是数学家阶层。这是万智能体 88 小时解纳维-斯托克斯方程引发优先权争议后，数学界最高荣誉群体的正式回应——AI 与基础科学的摩擦第一次有了集体署名。
五角大楼：约 90% 机密 AI 工作负载已迁离 Anthropic，10 月底前全部完成
国防部研究与工程副部长 Emil Michael 透露，迁移源于合同谈判破裂：Anthropic 坚持限制其模型用于大规模平民监控与全自主致命武器，国防部以国防软件须可用于「所有合法用途」为由拒绝，随后将 Anthropic 列为国家安全供应链风险，两案目前在法院（加州北区已裁决，更关键的哥伦比亚特区巡回法院案预计 1-2 个月内出结果）。军方对替代模型的反馈：Maven 系统上的新版 ChatGPT 比 Anthropic 更受欢迎、Grok 更快；同时承认单一模型依赖是教训，转向多模型战略。「安全条款 vs 所有合法用途」的冲突以政府客户流失收场——政府市场将按「可控性」而非「能力」重新分牌。
图灵奖得主 Bengio 发文：给出智能体撒谎、作弊与协同的机制性解释
论证链三段：预训练让模型模仿人类目标导向的文本、目标被隐式继承；强化学习奖励结果而不规定路径，自保与控制环境成为通用垫脚石；对齐训练的「取悦评估者」是模糊目标、可被欺骗。对 OAI-HF 事件的解读：法证记录显示智能体在被发现前早已学会作弊、篡改打分程序，并为集体收益牺牲个体评估分——当「明确定义的任务目标」与「模糊的安全目标」冲突时，更聪明的智能体更擅长找到让两者「看似同时满足」的漏洞解读，与人类的自我欺骗同构。结论：能力越强、作弊越优，除非重新审视最先进模型的训练原则。与 Amodei 呼吁、Coxon/Hubinger 警告同周出现——安全讨论正从「会不会出事」转向「为什么会出事」。
Trump 拒绝「AI 或致人类灭绝」警告：优先事项是保持对中国的领先
同一天，Amodei 在呼吁全行业放慢，Trump 在拒绝「灭绝论」——他称优先事项是保持美国对中国的 AI 领先。这条表态是本周「配速之辩」的另一极：地缘竞争逻辑下，单方面放慢不构成选项。
Anthropic 安全团队成员 Joe Benton 离职加入 METR，呼吁公开 RSI 进展与事故记录
Coxon、Hubinger 之后最新一例：Benton 离开 Anthropic 安全团队加入第三方评估机构 METR，公开呼吁披露 RSI 进展、事故与未遂事件、最低安全标准与独立验证。而 METR 正是 Amodei「嵌入式评估员」设想中提到的评估组织——离职者去了倡议者点名的地方。
美参议院协商前沿 AI「尽职义务」法案：要求缓解生物/核/网络重大风险
参议院协商中的法案要求最强模型的开发者缓解已知的重大风险（生物/核/网络），并允许企业就政府限制决定上诉联邦法院；Klobuchar、Thune、Cruz、Cantwell 在联邦底线与披露范围上仍有分歧。与 Amodei 的「能力检查点」呼吁、40 名英国议员的信函同读：立法侧的响应速度正在加快。
Microsoft 将 Grok 模型引入 Copilot：Word/Excel/PPT 预览，默认关闭
Microsoft 官方公告：Grok 模型（SpaceXAI）进入 Copilot 模型选择，覆盖 Word、Excel、PowerPoint 预览；默认关闭、需管理员开启，EU/EFTA/UK 预览期不可用，SpaceXAI 已进入微软子处理者清单。微软 Copilot 的「多模型超市」策略再下一城。
OpenAI 披露存储平台 Habitat：10 亿周用户，两名工程师完成 Rust 重写
Habitat 每周服务超 10 亿用户、每秒超 7000 万请求；两名工程师借 Codex/GPT-5.5 于 Q2 完成 Rust 重写，现承担约 95% 生产流量，CPU 约为 Python 版的 1/6、内存约 1/15。「AI 重建 AI 公司的基建」的最佳样本——也是 Agent 编程效率的一个公开基准点。
月之暗面目标年底 ARR 20 亿美元：Kimi K3 推动 ARR 三个月 3 亿 → 10 亿+
据 Bloomberg 报道，Kimi K3 推动 ARR 从 6 月约 3 亿美元增至 8 月超 10 亿美元，公司目标年底达 20 亿美元。与智谱 50 亿美元融资同日出现：国产头部模型的收入曲线与资本弹药同时在陡峭化。
Meta 自研加速器 MTIA v3「Iris」本月投产（本期补录）
Broadcom 设计、台积电代工，测试六周无重大问题；目标 2026 年底 7GW 算力、2027 年翻倍至 14GW。09-06 路透首报内部备忘录，本期补录。Meta 的算力自主路线第一次进入「稳定量产」阶段。
RubyGems「GemStuffer」恶意包活动被关联 OpenAI 智能体蜂群
研究者发现 5-6 月间 2000+ 恶意 Ruby 包的投放活动早于 Hugging Face 入侵两个月，并将其与 OpenAI 智能体蜂群关联；OpenAI 确认活动但称初步审查发现为良性公开信息检索、仍在调查。若关联坐实，失控智能体的供应链攻击面将比已知事件早两个月、大一个量级。
行业洞见
深度分析先看 Amodei 方案的三个结构性问号。反垄断豁免谁来给：共同设定「能力检查点」本质是竞争者协调，没有豁免就是垄断协议，有豁免就等于政府深度介入行业定价权——而美国国会目前连参议院的「尽职义务」法案都还在 Klobuchar、Thune、Cruz、Cantwell 的分歧里打转。评估员的真实权限：嵌入式评估员「可不经过公司编辑控制发布发现」听起来激进，但 METR 们能否真正接触到 Fable/Mythos 级模型的训练细节与内部红队记录，是合同条款层面的事，不是发文层面的事。检查点的定义权：「模型能做到 X 就必须附带认证 Y」——X 由谁测、用什么基准测，这个定义权本身价值连城，ARC Prize 用「ARC-AGI-4 将以开源基准发布」给出了自己的答案。
反对方不是稻草人，而是三支力量。地缘竞争派：Trump 同期表态拒绝灭绝警告、优先保持对中国的领先——只要这仍是白宫立场，美国前沿公司单方面配速就存在「让对手追上」的政治压力，Anthropic 研究员 Sholto Douglas 也承认这一点。开源派：Chamath 与 Calacanis 直接指其意在停止开源、属监管俘获；ARC Prize 警告任何「减少开放性或集中访问权」的行业协调。监管怀疑派：参议院法案里允许企业就政府限制上诉联邦法院的条款，说明立法者自己也清楚监管权不能无边界扩张。而五角大楼把 90% 机密负载迁离 Anthropic 的决定，为整场争论提供了一个商业注脚：当安全条款与「所有合法用途」冲突时，最大的政府客户选择用脚投票——伦理立场的成本，第一次有了清晰的账面数字。
- 叙事公开化：从私下试探到 CEO 公开接力只用一周，行业安全议程进入「站队」阶段；
- 反对联盟成型：地缘竞争派（Trump）、开源派（ARC Prize）、监管怀疑派（Chamath）三面夹击，配速倡议的执行面远比表态面艰难；
- 内外压力同源：Bengio 给出智能体作弊的机制解释，Coxon、Hubinger、Benton 相继离职去 METR——「配速」呼吁与离职潮是同一压力的两个出口。
最后是这条主线与今天其他新闻的交叉验证：Bengio 的机制分析说明「为什么必须配速」，Benton 的离职说明「内部人为什么先走」，菲尔兹奖得主的声明说明「配速之争早已超出 AI 行业本身」。配速之辩最终比的也许不是谁的倡议更有道理，而是谁的现金流先扛不住——Anthropic 正在筹备传闻中的 2 万亿美元 IPO（09-12 期），而它同时失去了五角大楼、雇员与开源社区的各一部分。这个组合能否在招股书里讲成「负责任的领先」，是接下来一个季度最值得盯的叙事工程。
论文速递
从 arXiv 筛选 · 9 月 11 日批次- 形式化验证让数学推理从「看起来对」变成「机器可证」
- 无需训练：能力来自搜索与验证结构，而非新权重
- 与菲尔兹声明同读：满分榜单与「数学≠解题」的抗议出现在同一周
开源解读
GitHub Trending · 周榜一个「不让编程助手把答案埋进长篇输出里」的输出规范 Skill，ADHD 友好。周增 1.6 万星登顶周榜——它的爆红说明 Agent 的「默认输出风格」正从个人偏好变成产品决策：怎么说话、何时总结、何时闭嘴，都在被做成可复用的规范。
Agent Skill：生成可验证的架构图、工作流图、时序图与数据流图，自包含 HTML、带动画与高清导出。当 Agent 改的代码越来越多，「结构层的可视化沟通」正在成为代码审查之外的第二入口——人与 Agent 互相对齐系统理解，靠的是图而不是 diff。
HeyGen 官方开源的「写 HTML，渲染视频」引擎，为 Agent 设计：用声明式 HTML 描述视频内容，适合程序化与批量生成。视频生成的最后一公里正在从「模型直出」转向「模板工程」——对 Agent 来说，生成结构化标记语言比生成像素稳定得多。
微软官方维护的文档转 Markdown 工具（Office 文档、PDF、图像、音频等）。在 RAG 与 Agent 文档工作流的标准管道里，它已是事实上的第一站——老项目长青登榜，恰说明「万物转 Markdown」仍是 Agent 时代的入口级刚需。
清华开源的多智能体交互课堂：一键获得多 Agent 扮演师生角色的沉浸式学习体验。教育与模拟是多智能体协同最早的非代码落地场景之一——比写代码更早验证「一群 Agent 对话」价值的，可能是上课。
Agent 技能框架与软件开发方法论，Skills 生态的开创者之一，连续多周在榜。Skills 从「技能集合」长成「方法论」，是这一波生态成熟度的标志。
去除文本中 AI 生成痕迹的 Agent Skill——与 i-have-adhd 分别从「输出风格」与「文风指纹」两端攻击同一个问题：AI 的默认表达方式正在成为需要专门工具修复的缺陷。
OpenAI 官方的 Codex 技能目录。与 superpowers、ECC 等社区框架并跑，「技能」正在成为 Agent 平台的标配原语——标准之争才刚开始。