博客文章

从一段发布会 Demo 说起 10 月 27 日，Google DeepMind 发布了世界模型 Genie 4。表面上看，这又是一次"视频生成更真实了"的常规迭代：环境声、可实时对话的角色、空气动力学与碰撞的物理模拟、自然语言实时改写天气与镜头——每一项单拎出来都像演示视频里的炫技段落。 但真正值得注意的信息藏在架构描述里：Genie 4 由 Gemini Omni 锚定真实世界外观，Gemini 3.8 Flash 作为"环内引导 Agent"持续观察画面、分解步骤、校验执行。也就是说，这个世界模拟器内部装了一个"看门人"模型，它不是在渲染世界，而是在理解世界、编排世界。 这个细节指向一个更大的趋势：世界模型正在从研究论文走向基础设施，从"生成视频的工具"变成"生产经验的工厂"。而 DeepMind 给出的落地优先级——Project Genie、Gemini API 早期合作方、机器人与 Agent 训练环境——几乎明示了这笔账的算法。 世界模型到底在解决什么问题 先回到第一性原理。当前 AI 的瓶颈可以粗暴地分成两类： 语言与推理：LLM 已经证明，规模化的 next-token prediction 能涌现出相当可观的推理能力。 物理世界的经验：机器人、自动驾驶、具身 Agent 依然被数据饥渴卡住。真实世界的交互数据昂贵、缓慢、不可复现，而且失败代价高。 第二类问题的经典答案是仿真。MUJOCO、Isaac Gym、NVIDIA 的 Omniverse 都是这条路：工程师手写物理引擎、手工建模场景，再让策略在仿真里训练、迁移到真机。这条路的死穴是 sim-to-real gap——仿真越精细，建模成本越高；仿真越粗糙，迁移越失败。 世界模型提供了第三条路：不是手工写物理，而是从海量视频里学一个"世界如何运转"的生成式先验。Genie 1（2024）证明了无标注视频能学出可交互的隐式动力学；Genie 2/3 把分辨率、一致性、可玩时长一路推上去；到了 Genie 4，多模态（音频+物理+多步事件建模）补齐了最后几块明显的短板。 关键变化在于：当世界模型足够好，它就不只是"造世界的玩具"，而是所有需要经验的系统的数据源。RL 训练不再依赖真实机器人，Agent 评测不再依赖手工搭建的沙箱，数字孪生不再依赖 CAD 团队。 Agent 环内引导：比画质更重要的架构信号 发布会里最容易被忽略、但在我看来最有信息量的，是"Gemini 3.8 Flash 作为环内引导 Agent"这个设计。 它意味着 Genie 4 的世界生成不再是一条被动的单向管线（prompt → video），而是一个闭环系统：一个轻量级模型持续"看"模拟画面，判断世界状态是否合理，把高层指令分解为可执行的物理步骤，并在执行偏差时校验纠正。 ...

Skill∞把技能优化流程本身编码成可自我改写的元技能：83个SkillsBench任务上60.7%超越人工技能(56.4%)，自改进贡献4.8分，元技能还能跨模型跨harness复用。

一条被低估的新闻 在 PyTorch Conference 2026 上，Google 与 Meta 联合开源了 TorchTPU——PyTorch 的原生 TPU 后端。科技媒体的报道大多聚焦在"代码几乎零改动"“性能媲美 GPU"这些表层卖点上，但如果把它放进行业脉络里看，这可能是近年来 AI 基础设施领域最重要的一条新闻：它试图拆掉的不是 NVIDIA 的芯片，而是 CUDA 的生态壁垒。 要理解这件事的分量，得先回答一个问题：过去十年，为什么几乎所有 AI 实验室和非 Google 的互联网公司，明知 TPU 性价比更好，却仍然买 GPU？ CUDA 护城河的真相：不是快，是省事 NVIDIA 的统治力常被归因于"芯片性能”，这是一个流传最广的误解。单论硬件，TPU 在训练大模型场景下的能效比和单位成本早已有竞争力，Google 内部用 TPU 训练了从 PaLM 到 Gemini 的历代旗舰模型，Anthropic、Midjourney 等公司也长期租用 Cloud TPU。真正让客户留在 NVIDIA 阵营的，是软件层的路径依赖： PyTorch 是事实上的研究标准，而 PyTorch 的默认目标设备是 CUDA； 无数开源模型、训练脚本、分布式框架（DeepSpeed、Megatron、vLLM……）都是对着 GPU 生态写的； 换芯片意味着重写代码、重调性能、重新踩一遍分布式训练的坑，工程成本远高于芯片差价。 这就是 CUDA 护城河的本质：它是一条软件迁移成本护城河，而不是性能护城河。 迁移成本不消除，TPU 就永远是"Google 自家的玩具加少数租户的选择"。 PyTorch/XLA 为什么失败了 其实 Google 早就试过。2020 年推出的 PyTorch/XLA 是第一次把 PyTorch 带上 TPU 的尝试，基于 Lazy Tensor 机制。但这次尝试被 PyTorch 官方博客毫不客气地总结了三个死因： ...

用Banzhaf合作博弈归因发现：对失败的编码Agent，规格信息才是瓶颈资源，而3/4的前沿模型95%以上时候都在要反馈——收益还不如随机选。

从一个 .to("tpu") 说起 上周的 PyTorch Conference North America 2026 上，Google 与 Meta 联合开源了 TorchTPU——一个面向 Google TPU 的原生 PyTorch 后端。官方的口号异常克制：把 model.to("cuda") 改成 model.to("tpu")，你的模型就能在 TPU 上跑起来。 对一个不熟悉基础设施的人来说，这条新闻听起来像是无数个"XX 硬件支持 PyTorch"公告中的一个。但把它放进过去几年 AI 算力格局的脉络里看，它的分量远超表面：这是 CUDA 生态锁定被撬动的过程中，迄今最实质性的一块砝码落地的声音。 这篇文章想回答三个问题：TorchTPU 到底解决了一个什么问题？为什么出手的是 Google 和 Meta 这对奇怪的组合？以及，“CUDA 锁定松动"对普通的 AI 工程团队意味着什么？ 一、被 XLA 挡在门外的 PyTorch 用户 要理解 TorchTPU 的价值，得先理解它取代了什么。 TPU 是为机器学习定制的芯片，软件层之下由 XLA 编译器栈驱动。历史上，TPU 与 TensorFlow、JAX 这两个 Google 亲儿子框架深度绑定。PyTorch 用户想用 TPU，走的是 2020 年 Google 推出的 PyTorch/XLA——一条基于 Lazy Tensor 的间接编译路径。 问题在于，PyTorch/XLA 本质上是把 PyTorch “硬塞进” JAX 的工作模式： ...

用决策论框架给智能体记忆估值：区分潜在价值、保留价值与实现价值，暴露评测中的保存/使用/测量三层失效。

一个安静的实验 Google 昨天公开了一次不太起眼、但值得反复咀嚼的实验：让 Gemini 4 Argon 对 Agent Development Kit（ADK）——一个约 20 万行 Python 代码的生产级代码库——进行 11 小时无人值守优化。结果是有两项优化提交被人类审查后合入主线，目标是降低代码复杂度。 注意几个关键词：无人值守、生产代码库、20 万行、被接受合入。这四项中任意一项在两年前都足以成为独立的技术新闻，如今它们被压缩进一次"过夜任务"里。 更耐人寻味的是被优化的对象本身：ADK 是 Google 构建 Agent 的基础设施框架。也就是说，Agent 正在修改构建 Agent 的代码。这是一个闭环——工具的产出反过来定义工具本身。 从"补全"到"维护"：被跳过的三个台阶 回顾 AI 辅助编程的演进路径，业界习惯用"能力提升"来描述，但更准确的描述是信任半径的扩张： 补全时代（Copilot 类）：AI 写一个函数，人写其余 95%。信任半径是几十行。 任务时代（Claude Code、Codex 类）：AI 接一个 ticket，改几个文件，人 review diff。信任半径是一个功能点。 维护时代（本次实验）：AI 通读整个代码库，自主发现可优化点、自主实施、自主验证，人在早上上班时审查过夜的产出。信任半径是整个仓库。 第三级的关键跃迁不在于模型变聪明了多少，而在于工作流的组织方式变了：任务不再是"人类下发的指令"，而是 Agent 自己从代码库中发现的。人类交出的不是任务描述，而是审查与合并的最终权力。 这其实是软件工程史上反复上演的剧本。编译器取代了手写汇编，CI 取代了人工回归测试，每一次"交出控制权"的初期都伴随质疑，最终的结局都是人类把注意力上移一层。这次上移的一层，叫"维护策略"。 为什么是"复杂度"而不是"功能" 这次实验的目标值得单独拆开看：降低代码复杂度，而非新增功能。 功能开发有明确的验收标准——测试通过、需求满足。而代码复杂度优化是一个模糊目标：什么是"更好"的代码？重构到什么程度算过度？这类问题过去高度依赖资深工程师的判断力，是"维护"中最难委托的部分。 Argon 交出的答卷是两项提交。听起来不多——11 小时只产出两个 PR？但如果熟悉大型代码库的维护现实，就会知道在 20 万行生产代码里找到一个"既安全、又有实际收益、还能通过审查"的优化点，对人类工程师也不是轻松的活。产出少，恰恰说明这不是在刷量，而是在做边际收益递减但风险敏感的深水区工作。 这里有一个容易被忽略的经济学问题：复杂度优化是典型的"重要但不紧急"任务。几乎所有工程团队都背着技术债，因为还债的机会成本是做新功能。如果无人值守 Agent 能在夜间以近零人力成本偿还技术债，技术债的存在形态和容忍阈值都会改变——债务的利率被降低了。 闭环的隐喻：Agent 改进 Agent 基础设施 回到那个最有趣的结构：Argon 优化的 ADK，是用来构建 Argon 这类 Agent 的框架。 ...

让LLM只输出意图而非命令，配合NeMo-Guardrails代理双闸门，把提示注入的注入召回率从25%提到94.5%

一周 1.8 亿行证明：一件小事的量变 2026 年 10 月，Anthropic 的 Frontier Red Team 与初创公司 Theorem 发布了一项工作：用 Claude 对 123 个真实开源库（来自 Google OSS-Fuzz 项目）在 RISC-V 汇编层证明安全属性——对任意小于 64MB 的输入、建模的 Linux 内存布局，程序不会触发内存错误或断言失败。数周之内，Claude 产出了约 1.8 亿行 Rocq 证明代码，覆盖 239 个入口点；单个证明平均约 60 万行，对应中位数 1.8 万条 RISC-V 指令的二进制。 这件事在 Hacker News 上拿了 436 分，但它的分量远不止一个热帖。把它放进软件工程五十年的历史坐标里看，这是一条被反复验证的曲线的又一个陡峭拐点：形式化验证的成本，正在从"人年"坍缩到"token"。 软件正确性：五十年的概率游戏 先回到问题的原点。软件工业对"正确性"的承诺，本质上一直是概率性的： 测试是抽样。你跑一万个用例，只能说明这一万个输入没问题，不能说明第一万零一个没问题。 Fuzzing 是暴力抽样。OSS-Fuzz 对开源项目做持续随机输入轰炸，累计执行了数万亿次运行，确实挖出了成千上万的 bug——但抽样永远是抽样，Go 的 fuzzer 跑一百年也"证明"不了任何东西。 形式化验证是另一条路：把程序翻译成数学模型，用定理证明它永远不违反某条规则。它给出的是全称量词级别的保证——对所有输入，而不只是测过的输入。 这条路的代价是出了名的。经典案例是 seL4 微内核：实现花了 2 人年，形式化验证花了 20 人年。因此几十年来，验证只属于 Airbus 航电、seL4 这类极端任务关键场景，普通项目连想都不用想。工业界的现实是：Linux 内核这种被测试覆盖到牙齿的软件，近年仍一次性披露上千个漏洞。 LLM 补上了最贵的那块拼图 形式化验证的瓶颈从来不在于理论——Rocq（原 Coq）的内核检查器几十年前就有了，而且极小、极可靠。瓶颈在于写证明太贵：证明的规模通常是代码的几十倍，且需要极小众的专家技能。 ...

SWE-Journey基准揭示：面对软件架构师时模型功能测试通过率超75%，面对非程序员却不足25%，交互能力才是编码助手的真正瓶颈。

同一天里发生的两件事，比过去一年大部分AI新闻加起来更能说明问题。 第一件：Axios 报道，Morgan Stanley 已全面封禁外部 AI Agent 访问其平台，JPMorgan、Bank of America、Citi 跟进，Wells Fargo 收紧。理由很直白——这些 Agent 用客户自己的凭据登录银行账户，而银行的服务条款要求账户持有人本人登录。更麻烦的是，银行根本无法区分屏幕后面的是一个「代用户操作」的 Agent，还是一个「自行其是」的 Agent。 第二件：Anthropic 发布常驻式 Agent「Claude Duet」，每天早晨主动推送摘要，在云端虚拟机上替你干活，通过 6000+ Marketplace 连接器接入 Gmail、Slack、Stripe——但发送消息、付款、签署文件之前，必须经用户批准；凭据处理沿用 Managed Agents 设计，Agent 自己永远看不到密码和登录令牌；支付走 Stripe Link 虚拟卡，真实卡号不出门。 一边是银行把 Agent 赶出门外，一边是 Anthropic 小心翼翼地给 Agent 递上一套「带镣铐的钥匙」。这两件事其实指向同一个问题：Agent 时代的互联网，缺的不是智能，是授权协议。 问题出在哪：身份系统是为「人」设计的 今天整个互联网的身份体系建立在两个假设上：登录的是一个人，以及这个人在场。密码、短信验证码、风险控制系统、行为分析——全部围绕这两个假设构建。 AI Agent 把两个假设同时击穿了。用户把自己的账号密码（或者一个浏览器会话）交给 Agent，Agent 用 Computer Use 类工具模拟人类操作网页。从银行风控的视角看，这就是一个「登录行为完全正常、操作却开始变形」的会话。没有任何协议层的信息告诉银行：「这是一个被用户 X 授权的代理，权限范围是只读」。 银行的选择因此并不意外，甚至可以说是理性主义的：无法识别，就无法放行。Morgan Stanley 强调平台上还没发现「rogue agent」，但那不等于安全，只等于还没出事。Symantec 同期披露的「Skynet 模式」攻击恰好补上了这块拼图——一个攻击型 Agent 劫持互联网上无防护的语言模型，自主扫描、利用漏洞、窃取凭据、植入挖矿程序，全程可跑十万步无人工介入，蜜罐累计记录 12.7 万次请求。当攻击面里的 Agent 和你授权的 Agent 在网络流量上长得一模一样时，「先全部封掉」就是唯一可执行的策略。 值得注意的细节：银行封不掉浏览器里的 Agent The Decoder 的报道里有一句容易被略过但极关键的话：用户通过浏览器（Computer Use 或开源 Agent 软件）授权的方式，在服务端几乎无法拦截。 ...

用LLM合成概念-对立面故事对，以均值差方式为1036个安全对齐概念批量提取特征向量，成本仅500美元，可探测、可操控模型行为。

一份不该被公开的账本 2026年10月20日，PyTorch Conf 开幕当天，DeepSeek 干了一件"掀桌子"的事：把支撑 DeepSeek-V4.1-Flash 服务的自研推理框架 DeepInfer 完全开源，并且——更罕见地——公开了生产环境的完整运营数据。 先看这份账本的核心数字： 单集群日处理 155T token，约 2400 张 SM100/A950 规模的集群 单张 prefill GPU 每秒处理 150 万缓存计入的输入 token，缓存命中率 96% 单张 decode GPU 每秒输出 1.4 万 token 按官方 API 定价折算，每张卡每小时营收约 38 美元，全成本（含电力、折旧、运维）仅 5-8 美元 推理毛利率 超过 80%，单集群日进约 2200 万美元，回本周期 81 天 这些数字在行业里意味着什么？Latent Space 做了个换算：按这个效率折算约为每吉瓦（GW）算力每年 1660 亿美元的营收当量。而 DeepSeek 内部规划中向来以"10 个月回本"为投资纪律——现在推理毛利账本显示回本周期被工程优化压缩到了不足三个月。 过去两年，推理基础设施的账本一直是行业最高的机密之一。Fireworks、Baseten、Modal 这些独角兽的核心壁垒就是各自的 serving 栈；闭源大厂的成本结构更是只能靠外部分析师猜测。DeepSeek 这次把生产栈连同账本一起摊开，是推理竞争从"能不能服务"转向"每卡每度电能榨出多少有效 token"的标志性事件。 DeepInfer 到底是什么 技术上，DeepInfer 并不是从零造轮子。它基于 vLLM 深度定制，官方致谢了 SGLang 和 TRT-LLM 的启发。但定制深度不低，几个关键数字值得逐个拆解。 ...

TEPCA在证据层和参数层同时做时间对齐：时间约束的路径剪枝+互信息筛选保证证据链时序一致，时间条件化的DG-LoRA让低秩适配随查询时间动态变化，在ICEWS14/GDELT上刷新SOTA。

一个反直觉的事实 全球 95% 的 ATM 交易、80% 的线下信用卡交易、超过 40% 的在线银行系统，运行在一门 1959 年诞生的语言上——COBOL。而这门语言的熟练开发者，正以每年数千人的速度退休。 过去十年，“遗留系统现代化"是咨询公司最赚钱、也最绝望的生意：一个跑了三十年的 COBOL 批处理系统，业务规则藏在代码里，文档残缺，原作者早已离职。重写的失败率高得吓人，因为真正难的从来不是"把 COBOL 翻译成 Java”，而是"证明翻译后的系统行为和原来完全一致"。 昨天 OpenAI 发布的一组评测结果，指向了这个困局的一个转折点：GPT-6.1 Sol 在 COBOL 迁移评测上以低推理档达到 86.6% 的行为等价准确率——上一代模型是 5.4%。高推理档 97.9%，接近饱和，成本反而低 39%。 从 5.4% 到 86.6% 不是量的改善，是能力的相变。 两个评测，两种能力 OpenAI 这次发布的核心是两个评测，值得仔细看它们的设计，因为设计本身暴露了 OpenAI 对"模型该会什么"的判断。 MultiLangBench：要求模型用 20 种编程语言从零实现一个 SQLite 兼容的数据库引擎。这里有个巧妙的设计——用数据库文件作为跨语言的共享接口。候选程序接收初始数据库和一条 SQL 查询，输出修改后的数据库，再用参考 SQLite 实现校验结果。这样同一套测试可以公平地套在任何语言实现上，测试用例改编自 SQLite 官方测试套件。 结果：GPT-6 Astra 平均测试通过率 87.4%（GPT-5.6 Sol 仅 26.8%），20 种语言全面提升——COBOL 从 10.9% 到 72.1%，OCaml 从 25.6% 到 85.8%，Fortran 从 21.4% 到 83.5%，Visual Basic 从 27.5% 到 89.4%。20 种语言里 19 种超过 83%，最难的 COBOL 也有 72%。 ...