gVisor vs Firecracker vs Kata vs WebAssembly:冷启动就是操作系统本身
你的沙箱厂商已经从这四者里替你挑好了一个,而这个选择决定了你的智能体能不能跑 pip install。按冷启动排序,得到的顺序恰好与按"智能体拿到多少个 Linux"排序相反——因为启动时间就是那个内核。回答一个问题:这段代码要不要装东西;整个选择面随即塌缩。
你的沙箱厂商已经从这四者里替你挑好了一个,而这个选择决定了你的智能体能不能跑 pip install。按冷启动排序,得到的顺序恰好与按"智能体拿到多少个 Linux"排序相反——因为启动时间就是那个内核。回答一个问题:这段代码要不要装东西;整个选择面随即塌缩。
GEPA 报出的优势幅度——较 GRPO 最多 20%、较 MIPROv2 13%——全都测在自动检查器免费、且失败运行可以被用词句描述的场景上。这四个优化器里,两个靠一个裸标量就能跑,两个需要一句话。你的评测函数返回什么,决定了你能用上这个领域的哪一半;所以先改指标,再改优化器。
同一个产品,在名字相同的基准上被报出过 49.0% 和 94.4%,取决于谁跑的、什么时候跑的。分数无法为这个品类做裁决。这四者之间真正不同、而且在你采用之后就改不了的,是谁决定什么被记住、谁让它失效,以及你还能不能把它取出来。
四者都能表达同一条策略。但只有其中两个不需要调用方提供事实就能作答——而当调用方是一个正在读攻击者可控文本的智能体时,这就是全部的安全性质所在。第二个问题是检查预算:智能体每个任务要发出几十次授权调用,而过滤一次检索结果要发出上千次。
聊天产品要有好几百个并发用户,专用 GPU 才划得过按 token 计价;智能体只需要十来个工作单元,因为它每一步都要把整个上下文重发一遍。真正该决定你在这四家里选谁的,是这道算术题,而不是每百万 token 的单价。
Meta 的 300 亿参数开放权重智能体模型,在 SWE-Bench Verified 上是 76.0,在 τ³-Banking 上只有 24%。它六个头条数字里有五个测的是"模型独自面对一个可被程序核验的目标";第六个测的是"陪着一个人、照着一份成文规程办事"——而常驻本地助手活的正是后面这条轴。
四家都讲 CDP,所以自动化代码一天就能搬走,SDK 对比什么也决定不了。真正的选择是:谁持有已登录的 profile、谁持有重建它所需的凭据,以及你继承的是谁的出口 IP 信誉——外加一个事实:它们之间的延迟差距全部来自控制面。
8 月 6 日,五家互为对手的厂商就一个目录结构达成了一致,并明确拒绝就安装、分发、权限、沙箱与来源验证达成一致。这个格式让"指令加带凭据的工具访问"这一个捆绑包可以在六个客户端之间通行——而这恰恰意味着补偿性控制如今归你。
功能表已经收敛,所以真正的决定在许可证与计费的计量单位——而每一种计量方式定价的,都是那份日后会变成你的黄金集、回归基线与微调语料的轨迹存档。按 OpenTelemetry 做仪表化、把这份流双写到一处你自己拥有的地方,平台就成了一个可替换的后端。
DeepSeek 用一套尚未发布的 harness 报出了 DeepSWE 成绩,而封闭测试三天里收到 712 个开源项目报名。智能体分数早就不再是对模型的测量——把每个公开数字都读成"模型 × harness"这一对,并通过钉死自己的 harness 来比较模型。
排名前二的终端编码智能体在 Terminal-Bench 2.1 上只差 0.4 分,落在外壳噪声以内——于是决策重心挪到了许可证、配置可移植性与分发稳定性上。6 月 18 日 Google 演示了原因:一个 10.5 万星的开源 CLI 被退役,换成闭源二进制,免费额度从每天约 1000 次请求砍到约 20 次。
框架对比总在争论图 vs 团队 vs 交接,但比喻到第三周就不再要紧。十八个月后你无法重选的,是一次运行住在哪里、崩溃后"恢复"意味着什么,以及人能不能把做了一半的任务暂停下来——照状态模型来选,对比的其余部分会自行解决。
NVIDIA 与 Linux Foundation 于 2026 年 7 月 27 日发起 Open Secure AI Alliance,37 家创始成员,名单里没有 OpenAI、Google、Anthropic 和 Meta。它公布的范围——身份、隔离、护栏、日志、模型格式、扫描、智能体外壳——全是运行时基础设施,这意味着从中产出的标准是你要自己去落地的东西,而不是模型厂商发给你的东西。
重排序模型不碰索引、不持状态,换一个只要一个下午——这终于让"追排行榜"变得理性了,只可惜排行榜量的恰恰是这四家差异最小的那条轴。真正差出一个数量级以上的是计费单位和许可证,而这两样在智能体规模下咬得最狠。
这四者并不是同一层上的四个替代品——TRL 是训练器 API,Axolotl 与 LlamaFactory 包在它外面,而 Unsloth 在导入时重写它的源码。这一个事实就能预测你真正会感受到的东西:TRL 在 7 月发布了 1.9.2,而其中两家仍然锁在 0.x 那条线上。那张没人能溯源的著名速度对比表,量的完全是错的轴。
这四者中有三个约束采样器,让非法输出根本产生不出来,而它们之间的选择坍缩成一个问题:你的 schema 会重复吗?第四个做的是另一类事,也是唯一能强制那些真正搞垮智能体的规则的——因为语法只保证枚举值是五个当中的一个,却对"是哪一个"只字不提。
这四者的每一份对比,开头都是固定 batch 下的每秒 token 数——而这恰恰是最难迁移到智能体流量上的那个数字:在那里,同一段提示词会带着几百个新 token 回来二十次。真正把它们区分开的,是 KV 缓存以什么为键、受约束解码在满 batch 下还能不能撑住,以及那道构建步骤要吃掉你一个季度里的多少。
三份 README 描述的是同一件事——把用例喂给模型、给输出打分、卡住构建。但在核心数据结构这一层,它们对"评测究竟是什么"意见相左:是一次攻击、一条断言,还是一场实验。名词选错了,工具就不会让你写出你真正需要的那种测试。
每一份文档解析器对比都以准确率排行榜的形式发布,而准确率恰恰是最难迁移到你自己文档上的那个维度。真正能迁移的有两件事:版面流水线会漏掉一个数字,但结构上编不出一个数字;以及自建与托管两条成本曲线,会在一个你五分钟就能算出来的量级上相交。
每一个 AI 网关主打的都是同一个功能:自动故障转移到第二家厂商。那个功能并不是可用性上的胜利——它是一次只在事故期间才被触发的、未经测试的部署,而且落到一个你的评估从未覆盖过的模型上。真正该拿来做选择的是:谁来运维这一跳,因为那才是你没法便宜地反悔的决定。
Moonshot 在 7 月 27 日把 2.8 万亿参数做成了免费下载——同时把自家 API 定价定得高于它所取代的上一代模型,而市面上没有任何一块 GPU 装得下这份权重。开放权重为智能体开发者换来的恰恰只有一样闭源 API 给不了的东西,而那样东西不是成本。
在挑本地向量存储之前,先注意一件事:Claude Code、Cursor 与 Codex 都把自己的删掉了——领先的编程智能体用 grep 检索,而不是嵌入。如果你的语料仍然需要索引,那么这四者并非互相竞争的产品,而是四种不同的架构:一个不带存储的搜索库、一个 SQLite 扩展、一个带预写日志的嵌入式引擎,以及一种落在磁盘上的列式格式。
"护栏"并不是一样东西。开源生态沉淀出四种形态——可编程的 rails DSL、验证器库、安全分类模型,以及扫描器流水线——而 2025–26 的并购潮决定了谁能独立存活。本文讲清每一种到底做什么、在模型周围坐落何处,以及为何它们都没有"解决"提示注入。
当没有 API 时,智能体只能自己操作浏览器——而四个开源项目对"它该如何看页面"意见相左。browser-use 读取 DOM,Skyvern 看像素,Stagehand 让你在代码与 AI 之间自由调节,而 Playwright MCP 根本不是智能体,而是任何模型都能调用的标准浏览器工具层。选其一其实是两个决定:Python 还是 TypeScript,以及框架还是 MCP 服务器。
2026 年 6 月,五款前沿级模型在两周窗口内集中发布。差距早已不是谁登顶 MMLU——每家实验室如今押注的是不同的轴:智能体计算机操作、推理成本、多模态延迟,或纯粹的价格底线。先选好轴,再选模型。
每个编码 Agent 留下的遥测轨迹都不一样:JSONL 记录、SQLite 数据库,或者只有一份纯文本日志。所以你该装哪款开源跟踪器,取决于你的 Agent 走的是哪条轨迹。四款跟踪器,四条轨迹,外加几个真正能压低账单的开关。
每隔几个月,四家实验室就会发布一款听上去差不多的开源权重旗舰——MoE、长上下文、推理模式、多模态,基准成绩也在彼此之间反复易手。可真正决定你在生产环境中跑哪一款的,是各家下一步押注的那条轴:多模态生态、推理经济性、智能体推理,还是宽松许可下的前沿能力。
四款 RL 交易项目,四份几乎一致的功能清单——Gymnasium 环境、OHLCV 摄入、PPO/SAC/A2C/DQN、回测评估。真正决定谁能在严肃的研究或生产循环中扛下去的那一点,在功能清单上根本看不见:谁来掌控仿真契约。
大多数智能体从零开始,你得花上几天向它交代背景。OpenHuman 在一次同步中就载入了对你工作生活的压缩模型——本文带你安装、接入你的工具栈,并在约十五分钟内得到一个有用的回答。
2026 年增长最快的三款开源智能体——在功能清单上几乎一致,跑起来却像完全不同的物种。逐图解析三者架构分歧之处。