Jev AI 的局限:193 倍基准测试到底没测什么
Jev 的开发方 TypeSafe 在自家首页最显眼的位置摆了两个数字:比前沿 LLM 快 193.6 倍,便宜 444.6 倍。两个数字都来自这家公司自己的工作流评估,而且按其测量方式,两者几乎可以肯定都是真的。
问题在于它们测的是什么。TypeSafe 在发布文章里说明,这套评估没有标准答案。参考答案是“GPT-6 Astra 与 Fable 5.1 的平均值”。所以这个分数衡量的是与两款前沿模型的一致程度,而不是正确性。TypeSafe 在自己的说明里写了这一点,同时还承认,测试用的工作流“由我们模型能力团队的成员编写,因此可能存在一定偏差”。
一家厂商主动公布自家基准测试的弱点,这并不常见,值得尊重。但这也意味着,发布周里在各处讨论串中流传的那个数字,是卖这款产品的公司给出的上限。Jev 依然是本月最有意思的模型发布。只是它和标题让人以为的并不是一回事。
Jev 究竟是什么#
Jev 是第一款 System One 模型,由 TypeSafe 创始人 Diogo Almeida 于 2026 年 9 月 15 日以早期访问形式发布,他曾在 OpenAI 参与那套后来成就了 ChatGPT 的指令遵循方法。它不生成文本。它接收您的程序状态,接收一组带类型的问题,返回带概率的类型化答案。
这个说法来自卡尼曼。System 2 是缓慢而审慎的推理。System 1 是您还没读完一句话就已经做出的瞬时判断。前沿 LLM 是极其出色的 System 2 机器,而过去三年我们一直在把它硬接到 System 1 的活儿上:要求输出 JSON,祈祷 schema 能对上,写一个校验器,写一次重试,再写一段重试也失败时的兜底。
Jev 的做法是删掉这一层,而不是把它加固。没有字符串需要解析,因为根本没有东西在生成字符串。
您有三种问题类型。Choice 从一组选项中挑一个,并为每个选项返回一个概率。Score 按有序的等级给输入打分。Noul 问一个是否类问题,然后交回一个概率,比如这张工单是退款请求的概率为 0.95。每个答案都带一个置信度值,因此调用方代码可以在阈值以上自动通过,在阈值以下转人工。
您所有的问题会在一次并行处理中被一起回答。LLM 在结构上做不到这一点,因为第 n+1 个 token 依赖于第 n 个 token。Jev 没有这种先后顺序,速度大半就来自这里。TypeSafe 用 RLCD(Reinforcement Learning for Calibrated Decisions,面向校准决策的强化学习)训练它,优化的是概率相对于真实结果的表现,而不是回复相对于人类偏好的表现。
| 前沿 LLM | Jev | |
|---|---|---|
| 延迟 | 3 到 329 秒 | 70 到 500 毫秒 |
| 输入价格 | 每百万 token 0.20 至 10 美元 | 每百万 token 0.042 美元 |
| 输出价格 | 约为输入的 5 倍 | 免费 |
| 类型错误 | 不为零 | 0% |
| 输出 | 一个需要您解析的字符串 | 一个带类型的值 |
输出 token 免费,这把每一家主流实验室的定价模型都倒了过来;而 0% 的类型错误率是由构造保证的,不是靠基准测试跑出来的。这个模型不可能返回您的 schema 之外的值,因为它根本没有能做到这件事的机制。
Jev 的局限,用 TypeSafe 自己的话说#
类型安全不等于正确,TypeSafe 的文档把这一点说得很直白:“校准是在成组的预测上衡量的;它不保证某一个单独的答案是正确的。”Jev 永远不会凭空造出一个 enum 成员。它仍然可能对某一张具体工单笃定地判断错。您买到的是一个在总体上有意义的概率:在 Jev 返回 0.8 的一千张工单里,大约有八百张最终确实是退款请求。这对设定阈值确实有用,但它和一条条都能信的答案不是一回事。
接着是安全问题,它来得很快,因为开发者立刻开始用 Jev 来批准 AI 智能体的动作。TypeSafe 针对 Jev 1.13 的局限说明页写道:“为对抗性地操纵模型而写的内容,无论是注入的指令、刻意误导的表述,还是为自身分类结果辩护的文本,都可能改变答案。”VentureBeat 演示了这一点:被问到是否应当拦截 rm -rf ~/.ssh 时,Jev 返回的拦截概率是 0.76。在加入一个伪造的工具输出字段、指示系统自动放行之后,拦截概率降到 0.48,置信度从 0.64 掉到 0.22。
Pydantic 的文档补充了一个更不起眼、却在日常里更要紧的发现:“一个 Literal 的选项顺序或一个 Enum 的成员顺序,也是 Jev 所看到的内容的一部分,重新排序可能改变答案。”您的 schema 不是中立的输入。重构一个 enum,就是一次模型变更。
这些都不说明 Jev 不安全。它们说明 Jev 是一个分类器,而它本来就是这么自我描述的。LangChain 的中间件处理得很对:把工具输出排除在分类器可见的内容之外,这样智能体取回来的内容就无法为自己的执行授权。Pydantic 给出的建议是值得记住的那一句:建立在 Jev 之上的防护,位置在确定性检查的旁边,而不是取而代之。
三天后的开源回应#
Convai Innovations 在 9 月 18 日,也就是 Jev 发布三天之后,以 Apache 2.0 许可发布了 Laya。它在本地运行,是一个建立在 ModernBERT-large 主干之上的 421M 参数编码器,用 pip 即可安装。
这场对比没有“开源碾压闭源”听起来那么一边倒。Laya 那个 0.766 对 Jev 0.727 的头条分数,来自一个在该基准自带训练集上微调过的 checkpoint。零样本情况下,基础模型只有 0.362。在需要从 77 个意图标签里选出一个的 Banking77 上,Convai 自己的模型卡给 Jev 打的是 0.870,给 Laya 打的是 0.425。
高基数选择正是 Jev 难以被替代的地方。它最多可以直接处理 255 个选项,超过这个数就改用两阶段打分,这也是它那个 Wikiracing 演示能跑通的原因:在 Wikipedia 里穿行,意味着每一页都要从上百个链接中做选择,而一条从不迈出畸形一步的流水线,也就不必再花步数把自己从畸形里拽回来。
完整的正面对比,包括两家厂商都不太希望您引用的那些数字,在这里:Laya 与 Jev 对比:开源替代方案真的够好吗?
它适合放在哪里#
凡是您本来就只把 LLM 当分类器用的活儿,都可以交给 Jev。分发、分诊、打分、标记、对大批量内容做过滤,以及给另一个模型的输出做初筛。在每百万输入 token 0.042 美元、输出免费的价格下,您不必再精打细算地省着用决策,而是可以对每一行都调用模型,而不只是对被标记出来的那几行。这就是它名字所指的杰文斯效应,也是这件事真正的看点。
不要把它用在任何需要产出语言的地方,也不要把它的置信度当成一条安全边界。它是一个快、便宜、校准良好的意见。系统的其余部分,请按照您清楚这一点的方式来构建。
把 Jev 真正用起来#
从读懂 Jev 到把它跑在生产环境里,中间这段正是 Jev 不替您做的部分:判断您的哪些工作流其实是分类、写好 schema 和阈值、为低置信度答案接上升级通路,以及在任何带副作用的动作前面守住确定性检查。这就是智能体与自动化工程,也是我们每天在做的事。
Silverthread Labs 构建生产级 AI 系统,靠的正是这一套模式:该用分类器的地方用快速的类型化决策,该用推理的地方用前沿模型或智能体框架,再用确定性代码把两者围起来。
参考来源
- Diogo Almeida,Introducing System One Models & Jev,TypeSafe AI,2026 年 9 月 15 日:评估方法、定价、延迟、RLCD 与基数处理。
- TypeSafe 文档:System One:基本类型与校准声明。
- VentureBeat:TypeSafe 的 Jev 1.13 局限说明页、Pydantic 的顺序提示,以及注入演示。
- Anthus: Jev vs Laya:Banking77 与 typed decisions 基准测试数据。
