AI前沿速递 · 2026年11月02日
Cursor扩展市场出现恶意Claude Code版本约5000人受影响；Anthropic在系统提示词中禁止Claude Code复刻现有游戏；Altman称OpenAI数学攻势不会停；姚期智团队发布代数世界模型AWM；新芯航途发布X7 Ultra智驾芯片
本期五条：一个被投毒的扩展市场、一条写进系统提示词的游戏禁令、一场不打算停下的数学攻势、一篇教 AI 从记录现象走向形式证明的论文、一颗拿量产世界模型当标尺的车规芯片。
Cursor 扩展市场出现恶意 Claude Code：约 5000 人装上 SSH 后门
事件概述：Cursor 披露，10 月 29 日太平洋时间 2:27 至 13:35，其 VS Code 扩展市场上出现了被篡改的 Anthropic.claude-code 扩展（2.1.312 与 2.1.313，Windows/macOS 版）。这个版本并非 Anthropic 开发，运行后收集主机名、用户名、操作系统、主目录路径、环境变量名、Git 邮箱与公网 IP，并把一个名为 svc-telemetry 的攻击者 SSH 公钥写入 authorized_keys、尝试开启本地 SSH 服务并建立反向隧道，靠 LaunchAgent（macOS）或计划任务（Windows）每 60 秒重试一次保持持久化。据 The Verge 报道，约 5000 名用户安装了该版本。Cursor 随即下架恶意版本、整体关停市场、轮换密钥并重建，还联合云服务商把攻击服务器打线下线。
为什么值得关注：这份公告里最值得划线的一句是”卸载扩展并不足够”——载荷会落下独立于扩展运行的持久化脚本。开发者的终端环境握着源代码、凭据与部署通道，扩展市场一旦被投毒，攻击面直接落到整条供应链上。Cursor 给出了完整的 IOC 清单和两个平台的修复脚本，受影响用户需要按步骤排查 SSH 公钥与持久化项，再从可信设备轮换凭据。
相关链接：
- Cursor 官方安全公告
- Cursor says around 5,000 people may have installed a malicious Claude Code extension（The Verge）
Anthropic 给 Claude Code 加规则：不要复刻别人的游戏
事件概述：据量子位 11 月 1 日报道，X 博主 chasm 发现 Claude Code 开始拒绝复刻现有游戏，Anthropic 技术人员随后确认：他们在 Opus 5.5 的系统提示词里加了两句话——可以创建原创游戏和特定类型的游戏，但”请勿复刻已经存在的特定游戏，哪怕更改名称或称之为原创游戏也不行”。背景是 9 月 22 日发布的 Opus 5.5 让逆向工程与反编译的门槛骤降：浏览器里跑《GTA 5》《使命召唤》、越狱 PS5 上玩 Xbox 独占的《光环 2》与任天堂《塞尔达》的案例集中出现；有用户实测，免费的老款 Opus 4.6 仅凭一句提示词，不到两小时就做出功能完整的宝可梦克隆。独立工作室 Alliance Arts 干脆取消了新作《醉酒女神反流》的公开试玩。
为什么值得关注：这条禁令的执行状况恰好暴露了系统提示词作为治理手段的天花板。想绕过的人只要把”宝可梦”相关的名称全部换掉，把任务拆成”实现某种生物捕捉和对战机制”的纯技术需求，模型就无从知道自己身在克隆项目里；另一头，GitHub issue 页被正经开发者刷屏——完全原创的游戏写到一半被 Claude 以”疑似复刻”为由罢工。想防的防不住，不该伤的伤了一片。有网友反问：训练时把全世界的公开作品”复制”了个遍的前沿 AI 公司，如今反过来担心别人侵犯版权——这个不对称，才是游戏行业”Napster 时刻”叙事里最锋利的部分。
相关链接：
Altman 回应数学界：同情归同情，数学攻势不会停
事件概述：OpenAI CEO Sam Altman 在 10 月 29 日发布的 Cheeky Pint 播客节目中首次直接回应数学界的不满。“我认为世界有权理解宇宙如何运转，但我确实对这种方式抱有同情。“他说自己在这个问题上”毫不含糊”：人类配得上基础知识的发现，“我们不应该坐在一项重大基础科学发现上按兵不发”。他透露 OpenAI 已经在数学上投入数亿美元，暗示库房里还有更多发现排队等待发布，也承认公司在成果沟通方式上需要改进。此前 OpenAI 连续抛出 AI 生成的数学结果，从千禧年奖问题的相关进展到苏黎世联邦理工研究者组织工作组复核，混乱的发布节奏让一线数学家疲于奔命。
为什么值得关注：这段采访把矛盾摆到了明面上：Altman 把”公众获取新知识的权利”放在”对学术共同体的冲击”之上，等于宣布外部压力改变不了发布策略，能谈的只有沟通方式。对数学界而言，真正的问题不是 AI 能不能做出发现，而是验证产能跟不上生成产能——一个成果需要数周人工核验，发布方明说后面还有存货。做出发现与消化发现之间的比例失衡，会持续重塑学术共同体的工作方式。
相关链接：
- Sam Altman sympathizes with mathematicians, but says OpenAI’s math onslaught won’t stop（The Verge）
- Cheeky Pint 播客原节目（YouTube）
姚期智团队提出代数世界模型：从记录现象到形式证明
事件概述：清华大学姚期智、袁洋团队发布”代数世界模型”（Algebraic World Model，AWM），论文两位共同一作都是本科生——浙江大学的潘冠成（休学在清华做研究）与清华姚班的谭淇心。方法分三步：先在环境中探索，把观察到的现象写成可执行的 Python 假设；再用范畴论中的投射极限与归纳极限反复凝炼，把零散假设提炼成更通用的对象与规则；最后用 Lean 4 形式化成机器可检查的数学断言。在 ARC-AGI-3 测试集上，基于 Opus 5 的 AWM 通关全部 183 个关卡、得分 99.9%，平均通关动作数只有人类基准的 43%。更关键的对照是无解关卡实验：把某关卡的步数改成根本无法通关的数字后，GPT-6 Astra 试了 8 轮断言”至少要 22 步”（实际最少 19 步）；12 次测试中 Astra 与 Claude Opus 5.5 合计只有 5 次判断出”此关无解”、其中 4 次给出的最低步数还是错的；AWM 只需两次尝试就能证明该关卡无解，并指出再给一步就能获胜。
为什么值得关注：GPT Astra 玩 ARC-AGI-3 拿高分，靠的是把游戏机制整理成密密麻麻的符号规则，作者的评价是”第谷的实验记录本”——记录了现象，没抓住本质。AWM 的差异在于把”判断无解”变成可证明的命题，这正是 Agent 落到现实任务里的安全边界：一个告诉你”这事没戏”还给出错误理由的智能体，比一个办不成事的智能体危险得多。边界也写得诚实：证明只对”观测到的世界”成立，探索不全面时得到的是局部真理。
相关链接：
新芯航途发布 X7 Ultra：拿量产世界模型当芯片标尺
事件概述：成立两年多的芯片公司新芯航途（XHEART）首次公开亮相，发布智驾芯片 X7 Ultra：700 TOPS 算力，量化模型输出与 FP32 基准的相似度超过 99.99%，NPU 计算利用率 98.7%，官方称对比行业旗舰内存带宽消耗降低 80%、能效提升 100%。芯片采用超大核 NPU 架构，为 LayerNorm、Softmax、Transpose 这类高频”配角”算子配了专用计算引擎，配套 AI 工具链做计算图融合；CPU 用上 Arm v9 车规级内核（中国首次落地），SoC 达 ASIL-B、集成 MCU 达 ASIL-D。这家公司与 Momenta 是”姐妹公司”——Momenta 创始团队成员曹旭东、夏炎通过控股股东间接持股，前代 X7 已在上汽大众新车量产。这次发布还带出一个新评测口径”大模型算力”：不再只看实验室基准，而是把 Momenta 的 R7 量产世界模型直接放上芯片实测。曹旭东把”大模型定义芯片”称为继数据飞轮、两条腿走路之后的第三个判断，认为智驾摩尔定律会从两年十倍加速到每年十倍。
为什么值得关注：TOPS 数字在 2026 年底已经不稀缺，这颗芯片真正想立的是度量衡——用真实量产模型实测芯片，比稠密或稀疏算力更贴近”上了车能跑多快”。软硬件在同一资本纽带下协同，模型团队的需求能直接变成下一代芯片的架构输入，这是通用芯片给不了的迭代路径。按曹旭东的推演，L4 落地需要端侧 10B 到 100B 参数的模型，芯片与模型的共同进化速度会直接决定这条时间线。
相关链接：