AI 技术日报 - 2026-11-01

Top 10 AI 技术要闻

  1. Anthropic 取消 Claude Ultra 的 5 小时限额，Max 5x / Max 20x 正式改名

    Anthropic 调整 Claude 订阅体系：Max 5x 改名为 Max（100 美元/月），Max 20x 改名为 Ultra（200 美元/月），价格不变，老用户自动迁移。真正的变化在 Ultra 档——通过账号验证的用户不再受 5 小时窗口限制，可在每周额度内连续使用，周额度仍为 Pro 的 10 倍，同时保留新功能优先体验、Claude Code 与长程任务能力。Claude 订阅产品负责人 Mike Overell 专门解释了改名原因：原「20x」指单个 5 小时窗口额度是 Pro 的 20 倍，后来引入周额度后变成 10 倍，命名与实际不符引发误解，他为此前的沟通问题道歉——今年 6 月已有用户就高价档位额度宣传提起过诉讼。判断是否已解封的方法很简单：打开 Settings → Usage，如果那个熟悉的 5 小时进度条消失即成功；新账号需等待基于账号与支付历史的自动验证。

    链接：https://www.qbitai.com/2026/10/506855.html

  2. 世界模型首次反向指导芯片设计：新芯航途 X7 Ultra，700 TOPS、NPU 利用率 98.7%

    以智驾模型知名的 Momenta 出现在一家成立两年多的芯片公司首次公开亮相里——新芯航途（XHEART）与 Momenta 属「姐妹公司」，创始团队成员通过控股股东间接持股，首个量产产品 X7 已在上汽大众新车上量产。X7 Ultra 提供 700 TOPS，但官方强调另外两个数：量化模型输出与 FP32 基准的相似度超过 99.99%，NPU 计算利用率达 98.7%；对比行业旗舰，内存带宽消耗降低 80%、能效提升 100%。它提出用「大模型算力」而非稠密/稀疏 TOPS 描述性能：直接拿 Momenta 真实量产的世界模型 R7 上芯片跑，约束模型结构不变、精度不降、体验不打折。架构上是超大核 NPU 加强核间互连，为 LayerNorm、Softmax、Transpose 等「配角算子」配专用引擎，再用工具链做计算图融合与并行调度减少中间数据搬运；另有激光雷达加速器每秒处理 2000 万点，支撑千线级点云。

    链接：https://www.qbitai.com/2026/10/506866.html

  3. ForgeKernel 全程无人干预，22.5 小时把 DeepSeek FlashMLA 算子写快 9.8%

    面壁智能在直播中让一个 Agent 从零重写 DeepSeek 的 FlashMLA Prefill 算子：只给数学定义和目标硬件约束，没有源码、没有参考实现。在单张 B200 上迭代 42 轮、留下 32 个版本、消耗 22 个 GPU 小时，第一版通过正确性检查但耗时 1834 微秒，不到 4 小时压到 593 微秒（降幅 67.6%），第 7 小时前后首次超过 FlashMLA，最终 472 微秒对应 518 微秒，快 9.8%。此前它已在昇腾 CANNBench 的 950DT、950PR、A3 三张榜单同时登顶（A3 榜 4341.16 分、基准加速比 1.898×），同一套系统横跨 CUDA 与昇腾两套生态。方法源自 arXiv 论文 JustGoal——只给目标时基线已能超过专家维护的开源库（10 个算子中 8 个胜出），ForgeKernel 在其上补了三块：架构设计与实现分离并抽象成里程碑、把验证过的硬件经验存入可复用知识库、拿自己最好的版本当下一轮对手自进化。它甚至自己发现 Q 的突发加载与 KV 搬运争抢访存，主动限制请求节奏再省 2.4%。团队已联合 OpenBMB 社区开源。

    链接：https://www.qbitai.com/2026/10/506785.html

  4. Axiom 多智能体 24 天形式化 CFSG，产出 4310 万行 Lean 代码

    有限单群分类定理（CFSG）被称为「巨型定理」：约 100 位数学家在 500 多篇论文中拼出 15000 页证明，1983 年宣布完成后仍被发现有巨大缺口，直到 2004 年才用 1221 页补上，此前无人能完整通读。初创团队 Axiom 用多智能体系统 AxiomProver 在 2026 年 10 月 1 日启动工程，人类把「巨型」拆成 108 个里程碑和约 380 个子任务，10 月 2 日蜂群上线：领头的 Agent 拆解高难论证，其余 Agent 搜索已有结果或编写 Lean 代码，遇到未证明的先决条件就自动外包给另一个 Agent，结果汇总到共享代码库。10 月 10 日频道里出现「我们证明了魔群是单群」。24 天共产出 4310 万行 Lean 代码，成为史上最大开源代码库，规模超过 Linux 内核、Chromium、Firefox、LLVM、GCC。AI 产出过快还让 Lean 依赖重检出现算力瓶颈，团队被迫临时开发分布式缓存。过程中 AI 还揪出了人类证明里的逻辑漏洞，并自行证明新定理完成修补。

    链接：https://www.36kr.com/p/4048319038208262

  5. AI Agent 首次自主完成活体小鼠脑内注射手术

    Exin Therapeutics 创始人 Gabriel Ocana Santero 把 Agent 接入自建手术台：电机固定装置、摄像头、注射针与给药控制，用来测试一款针对癫痫的基因治疗。兽医先完成开颅，Agent 观察后从 19 个候选方案中选择疗法、脑区、注射坐标以及体积和速度等全部参数。最初用 Claude Opus 5.5，它在真正下针前拒绝执行，理由是可能中途停止从而危及动物；团队换成 Claude Sonnet 5 后才同意继续。过程中设备坐标系出现故障，Agent 正确识别出计算出的注射位置有误，却因指令明确禁止修改底层控制代码而拒绝动手，团队只好另起一个跑 Opus 5 的 Agent 改代码，且没有告知它正在活体手术——来回沟通让本需 45 分钟的手术拖到一个多小时。安全护栏包括注射计划必须人工审批、可切断电机电源的急停按钮、禁止 Agent 改动自身操作规则。团队下一步测试 Grok 与其他模型，并在评估更复杂的开颅任务，小鼠术后恢复良好。

    链接：https://www.wired.com/story/an-ai-agent-did-brain-surgery-on-live-mouse

  6. Cisco 给 27 岁工程师「无限 AI token」，目标 24 个月重写 98% 遗留代码

    Cisco 总裁兼首席产品官 Jeetu Patel 把公司最重的一块活交给 27 岁的 Padmanabhan Krishnamurthy（人称 Paddy）：配一个两人的小队、不限量的 AI token，用四周时间证明可以重写 Cisco 的遗留代码，最终目标是在 24 个月内改写 98%。Paddy 是 2025 年随 Cisco 收购实时翻译创业公司 EzDubs 加入的联创，此前「被埋在组织里做不战略的事」，是他自己提出两个人加 AI 就能啃下遗留代码，Patel 说连团队里最 AI 原生的人都没这么想过。Patel 借此反驳「AI 消灭初级岗位」的论调，并给出自己的团队构成三分法：三分之一是熟悉 Cisco 内部引擎的资深规模化运营者，三分之一是带来外部视角的系统思考者，三分之一是创业者型的工程师与 CEO。这个案例的价值不在 token 预算，而在于把「AI 能不能重写核心系统」这类判断从 PPT 变成有时间盒的验证性项目。

    链接：https://developers.slashdot.org/story/26/10/30/2339234/cisco-gives-engineer-unlimited-ai-tokens-to-rewrite-legacy-code

  7. Orkas 开源本地优先桌面 Agent 团队：Commander 调度 16 个专家 Agent

    Orkas 以 MIT 协议开源，是一个跑在桌面上的「AI 团队」：Commander 负责把一个目标拆成待办并协调 16 个内置专家 Agent，同时可以接管 Claude Code、Codex、OpenCode、OpenClaw 和 Hermes 这些编码 Agent，配合项目空间、定时自动化和各类连接器使用。它提供 macOS 与 Windows 原生应用，既可用内置模型也可填自己的 API key，强调 local-first——上下文、文件与执行过程留在本机，而不是交给云端编排服务。技术上用 JavaScript 实现，2026 年 4 月底建仓、10 月 31 日仍在活跃推送，目前约 6150 星，标签覆盖 agent-orchestration、agent-harness、multi-agent、self-evolving-agents、claude-code-gui 等。对想把多 Agent 工作流落到本地开发机的团队来说，它提供了一个可直接改造的编排骨架：谁拆任务、谁执行、任务状态如何持久化，都能在源码里看到具体实现，而不是黑盒 API。

    链接：https://github.com/Orkas-AI/Orkas

  8. 智元创新日：GO-3 Preview 与 WITA-OMNI 双模型登顶，提出机器人工时「Worken」

    智元联合创始人、总裁兼 CTO 彭志辉（稚晖君）发布物理 AI 新单位 Worken，用来衡量机器人的有效智能工时，公式是「活跃机器人数量 × 自主工作时长 × 产出效能比」：部署规模、能否无需人工接管持续作业、实际产出效率三项相乘。他的判断是「万台下线只是制造业的胜利，万台上岗才是物理 AI 的胜利」。作业智能侧，具身基座模型 GO-3 Preview 采用原生架构 WRAM（World Reasoning Action Model），把任务理解、推理、未来状态预测与动作生成纳入统一框架，在 RoboDojo、RoboTwin、RoboColiseum 三榜登顶，微调后可完成零件抓取、对位、插入并在 Agent 编排下拼装，还支持跨本体迁移——换到双足人形 X2 上能双手开门、跪地取物。后训练系统 Genie Evolver 把百台真机、物理仿真与世界模型结合，Genie Master 负责任务规划与异常恢复。交互侧 WITA-OMNI 在 Daily-Omni、TimeLens-Bench、EmbSpatialBench、MMAU 四榜第一，把语音、视觉、文本输入与语音、表情、动作输出放进同一模型协同建模，靠声源方位、声纹、人脸与唇动锁定对话对象，无需唤醒词，采用快慢双系统：前台 Interaction Engine 即时回应，后台 Background Agent 做推理规划与长任务。

    链接：https://www.qbitai.com/2026/10/506819.html

  9. Volta-Autodoxer：首个把大模型当「情报分析师」的窃密木马

    Cisco Talos 向 WIRED 的 Kernel Panic 栏目独家披露了一种新形态窃密木马：Volta 在原有窃密能力之上叠加了 AI 功能，会把收集到的数据序列化成一份档案，再发送给若干商业大模型，要求模型扮演情报分析师，输出带引用的结构化受害者评估——本质上是把「广撒网收集」升级为「自动开盒 + 高价值目标排序」。研究员 Ryan Fetterman 形容这是「优先级与分析功能」。Volta 的传统能力已相当成熟：浏览器保存的密码、Microsoft OAuth token、cookie、银行卡、加密钱包助记词，以及 Discord、TG、Steam、Roblox 的活跃会话，常藏在盗版/仿冒软件里分发。这类木马正是近年多起大规模数据泄露的入口——攻击者用窃得的登录凭据横向进入企业系统。Talos 是借助其新框架 CAIRN（专门识别内嵌 AI 能力的攻击工具）发现的样本，但并未追踪该变种在野外的实际使用情况。

    链接：https://www.wired.com/story/kernel-panic-volta-autodoxer-ai-infostealer-malware

  10. 一条 ChatGPT 分享链接就能在受害者会话里执行攻击者代码：赏金 5000 美元、评级 P1

    安全公司 Parameter 演示了一个相当反直觉的漏洞：攻击者只需构造一个普通的 ChatGPT 分享会话链接，通过邮件、聊天、工单或社交平台发出去，受害者打开链接（最可靠的版本还要点一次 Preview 按钮）即可中招——不需要安装任何东西，也不需要登录攻击者的账号。逃逸链条分三步：Preview 渲染 HTML 时确实被隔离在独立域名的锁定 frame 里，但同一会话中的交互图表会把数学排版库 MathLive 加载进 ChatGPT 主页面，其屏幕键盘消息监听器不校验消息来自哪个 frame，且允许消息携带原始 HTML；Preview 于是越过边界把攻击者 HTML 交给受信任的主页面，生成一个被浏览器视为 chatgpt.com 同源的新 frame；内容安全策略封了内联脚本却放行 YouTube，最后从 YouTube 加载脚本完成执行。代码以受害者身份直接调用 ChatGPT 已登录 API，能列出最近会话、打开从未分享过的私聊并把片段外传。10 月 18 日报告，8 天后修复并从 P2 升为 P1，10 月 26 日两个前端版本均拒绝相关消息；用户无需任何操作，10 月 28 日公开细节，赏金 5000 美元。

    链接：https://thehackernews.com/2026/10/a-shared-chatgpt-link-could-run.html

数据来源：TheAIEra News Hub 生成时间：2026-11-01 08:30:00