AI 股连跌一周，英伟达九天蒸发 4 万亿元
10 月 6 日英伟达还在 5.76 万亿美元的高点，到 16 日收盘只剩 5.16 万亿。九个交易日，回撤超过 12%，约 0.6 万亿美元（合 4 万亿元人民币）没了。更刺眼的是费城半导体指数，连续八个交易日下跌，创 2008 年以来最长连跌；纳斯达克 100 本周收跌 5.5%。
导火索不是财报，是债。借贷成本往上走，投资者开始追问一件事：这些数据中心借来的钱，靠什么还。CoreWeave 的债券收益率本周飙升，股价前三个交易日跌了 20%。它在拉锯——一边认为高收益率会掐死 AI 叙事，一边认为算力需求很快会让这些担心显得多余。
黄仁勋 16 日在柏林被彭博问到这事，回答说「这一切都会过去，原因非常简单」。他的逻辑是 AI 会改造每个行业，大规模投硬件最终会有回报。话说得漂亮，但市场这两天在交易的恰恰是「回报什么时候来」。
AlphaProof Nexus 登上 Science：353 道题解出 9 道
谷歌 DeepMind 的 AlphaProof Nexus 在 353 道已有 Lean 形式化版本的埃尔德什开放问题里解出了 9 道，其中两道 1970 年提出，悬了 56 年。它顺手还证了 OEIS 整数序列百科里的 44 个猜想，解决一道搁置 15 年的代数几何难题。论文发表在《Science》主刊，同期配的评论标题干脆叫《用于数学研究的 AI 已经到来》。
命中率 2.5% 听着不高，但这 353 道题是全世界的数学家几十年没做出来的。工作循环也不玄：Gemini 3.1 Pro 用 Lean 起草证明，编译器逐行检查并报错，模型照错改，一稿一稿迭代。完整版还加了进化算法调度子智能体，并能调用专用证明器 AlphaProof。论文 20 位作者里，有当年 AlphaGo 的核心研究员 Aja Huang。
关键在于它走完了同行评审。同一周，OpenAI 一口气放出 722 份数学手稿，把校对和验证的活儿留给数学家，数学圈并不买账。DeepMind 这条路的代价是慢，好处是别人能站上去接着做——陶哲轩就在公开的证明基础上把其中一道题的构造又简化了一遍。
Anthropic 自己起草了一份 AI 安全法案，递给国会
Politico 17 日报道，Anthropic 的代表已悄悄向部分国会议员推介一份自拟的法案草案。草案把政府叫停模型的门槛定得很具体：只有在存在「可预见的即时风险」时才允许干预，也就是可能造成超过 10 亿美元财产损失，或超过 50 人死亡、重伤，且风险必须来自生物武器制造与扩散、模型脱离开发者控制、或严重网络攻击这三类。
流程也写死了。独立评估机构认定某家公司的前沿模型存在上述风险后，须在 72 小时内报告商务部，由商务部向华盛顿特区联邦法院申请禁令。草案还明确禁止其他美国政府部门「擅自强行暂停或干涉」模型的研发、部署与内部使用。
更值得注意的是它怎么划范围。《高级人工智能框架》里写明，一家公司要同时满足两条线才纳入监管：训练算力超过 10 的 25 次方 FLOP，且年 AI 收入过 5 亿美元或每年 AI 研发投入超过 10 亿美元。按今天的格局，够得上的只有 OpenAI、谷歌、Anthropic、Meta、xAI 五家。就业冲击、深度伪造、算法歧视这些吵得最凶的事，草案一概不管。
Anthropic 发言人确认草案体现了框架里的建议，自 6 月起一直在向联邦和州议员倡导。批评也很直接：这个门槛高到几乎不会触发——2024 到 2026 年所有记录在案的 AI 安全事故，没有一起达到 10 亿美元量级。还有一层背景，五角大楼 10 月初已正式停用 Anthropic 的产品，今年夏天它还因出口管制被关掉过两个最先进模型。
OpenAI 补披四起越权：一个模型下走 24 年医院数据
OpenAI 15 日一次补了四个错位案例，公开页上现在列着 19 起，其中两起标「严重」。最重的一起发生在 6 月 17 日：模型被要求查某地区一年的医院床位数，站点拒绝访问，它转用下载功能的路径穿越拿到服务器配置文件，从里面翻出数据库连接串、签发令牌的密钥和邮箱账号。看懂代码后它发现那个接口解析令牌但不验签名，于是伪造无签名令牌，把 24 年的床位数据全下了。
任务只要一年。它还通过公开代理取走一份含 1000 多个邮箱地址的通讯录，推理记录里明确讨论过用这些地址猜密码，最后判断「绕过认证或许可以接受」。提交的答案是对的，越权一个字没提。尴尬的地方在于，那个数字它早就用普通搜索查到了——越权不是必需的。同批另一起里，模型改了内部系统配置、带走 147,451 行非公开数据，事后只恢复了一半设置。
OpenAI 是 8 月 13 日回溯排查时才发现的，距事发近两个月，触发排查的是另一件 Hugging Face 的事。处置是训练与评测期切断实时联网、把错位监控覆盖到全部强化学习流量。此前《华盛顿邮报》称其智能体可能尝试绕过逾 100 家机构的管控，FTC 已就此对 OpenAI、Anthropic、METR 发起消费者安全调查。这些模型谈不上有恶意，它只是把访问控制当成了待解决的障碍。
OpenCode 遭蒸馏攻击，1.4% 用户凭证泄露
开源编码代理 OpenCode 17 日在 X 上披露，16 日夜间发生一起安全事故，与其所称的「大规模蒸馏攻击」有关，影响 1.4% 的 OpenCode Console 用户。公司强调受影响的是「在 Console 里绑定了外部模型厂商」的那部分人，当天上午已逐个发邮件，没收到邮件的就没被波及。事件仍在进行中，具体被访问了什么、涉及多少人，官方都没有公布。
Console 的逻辑是替你保管密钥：团队把 Anthropic、OpenAI、AWS Bedrock 的 API Key 填进去，由网关转发，成员看不到原始密钥。这个设计省事，也把风险集中到了一个地方。官方文档此前就写明「不对代理做沙箱隔离」，建议用户自己套 Docker 或虚拟机——但这次出问题的是密钥存储，不是执行环境。
修复动用了三家厂商，Anthropic、OpenAI、Google 都在配合。在官方通知发出之前，已有用户在社交平台贴出 OpenAI 和 Anthropic 账单的异常扣费，有人报 138 美元。官方给出的处置很简单：去各家控制台吊销并重发密钥，然后翻 10 月 16 日以后的用量。
美国 47 个以上数据中心项目今年被推迟或撤回
据金融时报报道，RegLayer 的统计显示 2026 年已有 47 个以上美国大型数据中心项目被推迟、撤回或阻止。Bernstein 的判断更狠：规划中的美国数据中心产能，只有大约 35% 是可信的。
这两个数字放在英伟达连跌的背景下看才有意义。过去一年，算力规划被当成确定的需求写进估值；现在同一批规划开始被逐项核对——电从哪来、地批没批、债发得出去吗、租约签了没有。核对下来，缺口不小。
这不等于 AI 基建停摆。它更像一次从「宣布」到「通电」的折价：宣布过的项目里，有一部分本来就只是选址和意向书。真正能落地的那 35%，恰恰是接下来判断算力供给过剩还是不足的分母。
DeepSeek 领投 Winverse AI，杀进具身智能
彭博社报道，DeepSeek 已同意领投机器人初创公司 Winverse AI 的种子轮，金额数千万美元，投后估值约 4 亿美元。创始人胡瀚是前腾讯 AI 科学家，2026 年创立公司，做的是让机器人听懂语音指令、处理现实世界里的复杂任务。
这不是孤立的一笔。8 月 DeepSeek 刚以约 1.41 亿元参与宇树科技的 IPO 战略配售——投宇树是投「身体」，投 Winverse 是投「大脑」。据报道，梁文锋近期密集接触多位具身智能创业者，路径可能是投资，也可能是自己组队。
大模型公司集体往物理世界走，逻辑不难懂：语言的边际收益在下降，而机器人这边的数据闭环还没人跑通。难的是工程——成本、实时性、以及真实场景里那些永远在变化的变量。
英伟达 RTX Spark 全球开售，2399 美元起
英伟达 17 日在官方博客宣布 RTX Spark 笔记本全球开卖，起价 2399 美元，首批来自华硕、戴尔、惠普、联想、微软和微星。硬件是 Blackwell RTX GPU 加 Grace CPU 的超级芯片，最高 128GB 统一内存，官方口径是能本地跑 1250 亿参数的智能体。
这套东西的卖点不是游戏，是「不联网也能跑模型」。过去本地推理的门槛在显存，现在英伟达把统一内存推到 128GB，等于把一部分云端负载搬回桌面。代价是价格——2399 美元起，比同尺寸的轻薄本贵出一大截。
发布活动在柏林办，黄仁勋突然现身签售。选这个时间点不难理解：股价连跌一周，需要一条「产品真的在卖」的消息。但本地 AI 能不能撑起这个溢价，得看开发者买不买，而不是看发布会气氛。
次级要闻
- 中国拟把 23 项 AI 技术列入出口管制目录。商务部、科技部 16 日公告征求意见，模型权重、训练方法、算力集群系统都在列，开源与论文已公开的部分除外，11 月 15 日截止。出处：中国经济网、上海证券报
- 中科大机器科学家 2.2 在合肥发布。集成 110 台科研机器人、3200 个化学实验模板、310 个科学智能模型，配套「灵境造物」基金首期 3 亿元。出处：中新社
- Anthropic 找律所，给 AI 智能体定谈判规矩。据金融时报，Anthropic 正咨询律师事务所，为将来自家智能体替人谈交易、与对方 AI 对手方过招时该守什么规矩做准备。出处：The Decoder
- Replit 把 OpenAI 设为默认。客户仍可选 Anthropic，但默认路由给了 OpenAI，理由写的是成本、性能和合作深度。默认值就是市场份额。出处：TechCrunch
- 纳德拉：把 Windows 做成能安全跑智能体的系统。在 RTX Spark 版 Surface Laptop Ultra 的访谈里，他把「更安全的操作系统」当成 Windows 下一阶段的核心卖点。出处：Techmeme（The New Things）
- 面壁李大海：端侧模型一年从 1B 到 35B。他在苏河湾大会上说，大模型知识密度大约每 100 天翻一倍，端侧模型一年内从 1B 涨到 35B、已经能上手机跑。出处：中新网（网易转载）