AI 不写字之后——Jev 生态大爆发与决策模型的范式转移
读前必读:一个用 AI 实现 JavaScript
padStart()(字符串填充)的 GitHub 项目,在社区拿下 60 分并引发激烈争论——"如果连字符对齐都做不好,AI 的通用智能声称是否可信?"这个看似荒诞的切面,映射出一个正在爆发的真问题:当整个行业都在用 LLM 生成文本时,一群开发者在反向而行——让 AI「不写字」,只输出决策。33ms 单次前向传播,校准概率可以用作生产分支条件,成本只有 LLM 的 1/50。这不是小修小补,这是一场关于「LLM 该不该做所有事」的架构革命。
读完你能带走什么:
- 理解为什么所有 LLM 的置信度本质上不可信——以及什么数学框架可以真正替代它
- 掌握「非自回归决策」的完整技术栈:RLCD 训练、校准门控、决策原语设计
- 获得一份 Jev/Laya/Kev/Candle/OpenJev 五军对决的决策指南——每个工具的边界和适用场景
- 学会在你的 Agent 系统中落地"决策分流",用最低成本实现最高可靠性
适合读者:Agent 系统开发者、架构师、技术决策者、关注 AI 工程效率的工程师。预计阅读 18 分钟。
一、一个 leftpad 引发的血色争议
2026 年 9 月,GitHub 上一个名为jev-leftpad的项目悄悄爬上了 Hacker News 热榜——用 TypeSafe AI 的 Jev 决策模型来做 JavaScript 的padStart()函数。也就是:把一个字符串填充到指定长度。
社区炸了。
争论的迅速分成了三派。反对派认为这是一个教科书级的"高射炮打蚊子":调用一个 AI 模型来做 N 行代码就能搞定的字符操作,成本、延迟、失败率都是工程倒退。支持派的反驳超出了代码本身——他们说这不是关于 leftpad,而是关于"AI 应用的诚实评估":如果一个号称"前沿智能"的模型连字符对齐都无法可靠完成,那我们对它的通用智能声称是否该更冷静?工程派则从中提炼出了一个真问题:在真实生产系统中,高频低价值任务(过滤、分类、路由、评分)到底该用什么驱动?
这场争论的核心其实指向一个被长期忽视的架构错位:**我们用 System 2 的工具,在执行 System 1 的任务。**而 Jev 背后的技术路线,正是试图纠正这个错位。
二、LLM 置信度:一个存在性的数学骗局
要理解 Jev 路线的价值,必须理解当前 LLM 在决策任务上的根本缺陷。
2.1 Token 预测≠答案正确率
当你问一个 LLM"这封邮件是不是钓鱼攻击?",它回答"confidence": 0.97。这个 0.97 意味着什么?几乎什么都不是。
原因在于自回归 LLM 的工作原理。模型生成"0.97"这三个 token,是基于上下文 token 的条件概率预测。这个预测:
- 不是针对"答案正确性"的概率
- 而是针对"token 序列"的概率
- 同一个正确答案可以通过完全不同的 token 序列表达
- 而这些不同序列的概率可能天差地别
更关键的是,Temperature sampling 进一步破坏了 token 概率与正确率的对应关系。当 Temperature=0.7 时,高 token 概率不代表高多样性场景下的稳定性。你拿到的 0.97,充其量是"模型听起来很自信"的语义,而非统计学意义上的正确概率。
2.2 过度自信的系统性偏差
大量实证研究揭示了一个不安的事实:自回归 LLM 在完全不确定时,仍然会输出 0.9+ 的置信度。这种过度自信不是 bug,而是 cross-entropy 训练目标的结构性产物。
模型的训练目标是"让正确答案的 logit 最大化"。为了实现这一点,logit 被推向无界增长——softmax 后的概率趋向 1.0。结果是:模型即使在面对无关输入或无意义问题时,仍然给出高置信度预测。
这意味着在生产代码中写"置信度 < 0.85 转人工审核"这样的逻辑,会因为模型从不输出低于 0.85 的值而归零——不是模型多准,而是门控逻辑形同虚设。
2.3 校准的数学含义
什么是有意义的置信度?核心标准只有一个:ECE(Expected Calibration Error)。
一个完美校准的模型,在输出 0.8 置信度的所有预测中,实际正确率必须恰好是 80%。如果实际只有 60%,那这 0.8 就是虚假的——相差的 0.2 就是校准误差。
ECE 的计算方式:将置信度分为 N 个桶,每个桶计算 |平均置信度 - 实际正确率|,按样本数加权平均:
ECE=∑m=1M∣Bm∣n∣acc(Bm)−conf(Bm)∣ECE = \sum_{m=1}^{M} \frac{|B_m|}{n} |acc(B_m) - conf(B_m)|ECE=m=1∑Mn∣Bm∣∣acc(Bm)−conf(Bm)∣
当前最好的自回归 LLM 在决策任务上的 ECE 通常在 0.15-0.35 之间——这意味着它们的置信度是一个不可靠的工程参数。
而基于 RLCD 训练的 System One 模型,ECE 可以压到 0.08 以下。0.08 意味着:当模型说 80% 确定时,你确实可以信任这个 80%。
三、System 1 决策引擎:从 Kahneman 的心理学到 Almeida 的工程
3.1 双系统理论的 AI 映射
Kahneman 在《思考,快与慢》中的框架被 TypeSafe AI 的创始人 Diogo Almeida 移植到了模型架构层面:
| 系统 | 人类认知特征 | AI 映射 | 典型操作 |
|---|---|---|---|
| System 1 | 快速/自动/无意识/情绪化 | 单次前向传播决策 | 分类/路由/评分/审核/分支 |
| System 2 | 缓慢/刻意/有意识/逻辑化 | 自回归文本生成 | 推理/创作/对话/代码生成 |
Jev 的核心论断是:当前 AI 用 System 2 的模型(自回归 LLM)在执行 System 1 的任务(快速结构化决策),这是系统性的错配。
3.2 非自回归决策的本质
System One Models 放弃自回归文本生成,转而采用并行采样(Parallel Sampling):
- 传统 LLM:逐 token 生成,每个 token 依赖前一个。一个包含 N 个 token 的输出需要 N 次前向传播。延迟随输出长度线性增长。
- System One Models:单次前向传播直接输出结构化概率分布。无论输出复杂度如何,延迟恒定通常在 30-500ms。
这个取舍的核心是:放弃了"生成任意文本"的灵活性,换取了"在已知输出空间内做精确概率预测"的能力。
对于输出空间可枚举的任务(比如从 5 个选项中选一个、给出 0-1 的概率值、确定一个 1-5 的评分),这种取舍极度划算——你不需要"一个能写小说的模型"来完成"这封邮件该分到哪个队列"的任务。
3.3 RLCD:让概率不再说谎
RLCD = Reinforcement Learning for Calibrated Decisions(强化学习校准决策)
这是整条技术路线的核心差异化因素。普通的 supervised fine-tuning(SFT)使用 cross-entropy loss,只训练"答对"。RLCD 通过 PPO 强化学习,直接训练"概率值的诚实度"。
RLCD 的训练目标可以形式化为:
π∗=argmaxπE[Rcal(y,p^,y^)]\pi^* = \arg\max_{\pi} \mathbb{E}[R_{cal}(y, \hat{p}, \hat{y})]π∗=argπmaxE[Rcal(y,p^,y^)]
其中RcalR_{cal}Rcal是一个校准感知奖励,当预测概率p^\hat{p}p^与实际正确率∣1[y^=y]−p^∣|\mathbb{1}[\hat{y}=y] - \hat{p}|∣1[y^=y]−p^∣对齐时给出高分。
传统 RLHF(Reinforcement Learning from Human Feedback)优化的是"人类偏好评分",RLVR(RL with Verifiable Rewards)优化的是"可验证正确性",而 RLCD 优化的是"概率与正确率的对齐程度"——这是三种完全不同的奖励信号。
具体来说,RLCD 的训练奖励公式采用 Brier Score 的变体:
Rcal=−∑k=1K(pk−1[k=y])2R_{cal} = -\sum_{k=1}^{K} (p_k - \mathbb{1}[k=y])^2Rcal=−k=1∑K(pk−1[k=y])2
其中pkp_kpk是模型对第 k 个类别的预测概率,1[k=y]\mathbb{1}[k=y]1[k=y]是实际正确类别的 one-hot。Brier Score 的最优解正是完美校准——当pk=P(correct=k)p_k = P(\text{correct}=k)pk=P(correct=k)时取得。
这意味着 RLCD 的模型天然具有校准特性:你拿它输出的任何概率值,都可以直接在生产代码中做分支判断。
四、RLCD 训练管线:三阶段从随机到校准
理解 RLCD 的训练管线是理解整条技术路线工程价值的关键。这不是理论推演,而是一个经过社区实证可复现的完整工程流程。
4.1 Stage 1:基础能力预训练
目标:让模型学会"答对"。
使用 supervised fine-tuning(SFT)+ cross-entropy loss 作为基础训练,让模型在决策任务上的准确率达到可用水平(通常 60-75%)。
这一步的本质是建立模型的"逻辑能力"——让它在选择题中能识别出正确答案。但此时模型的置信度仍然是虚假的:它可能对正确答案给出 0.6 的置信度,对错误答案给出 0.9 的置信度。
技术要点:使用双向编码器(如 ModernBERT-large / mmBERT-base)而非 decoder-only 架构。双向注意力天然适合"从完整输入中判断结构化输出"的决策任务,避免了 decoder-only 架构对输出长度的依赖。
4.2 Stage 2:RLCD 校准微调
目标:让模型的概率值与正确率对齐。
这是核心差异化的训练阶段,使用 PPO(Proximal Policy Optimization)在连续概率空间中直接优化校准质量:
- 采样:对每个输入,模型产生 K 个候选概率分布
- 奖励计算:使用 Brier Score 计算每个候选的校准奖励
- 策略更新:PPO 裁剪目标函数更新策略
- 基线减除:使用价值函数估计器降低方差
关键工程发现:PPO 的 clip 范围ϵ=0.2\epsilon=0.2ϵ=0.2、学习率η=10−6\eta=10^{-6}η=10−6、mini-batch 大小 32-64 是经过大量实验验证的稳定配置。
经过这一阶段后,模型的 ECE 通常从 0.2-0.3 降到 0.08-0.12,输出的概率值开始具有工程意义。
4.3 Stage 3:温度缩放后处理
目标:进一步消除系统性偏差。
温度缩放(Temperature Scaling)是最简洁有效的校准后处理方法:在 logits 后加一个全局温度参数 T:
pkcalibrated=ezk/T∑jezj/Tp_k^{calibrated} = \frac{e^{z_k/T}}{\sum_j e^{z_j/T}}pkcalibrated=∑jezj/Tezk/T
T > 1 时概率分布更平坦(降低过度自信),T < 1 时更尖锐。通过在一组 held-out 验证集上优化 T(通常 T ∈ [0.5, 2.0]),可以将 ECE 再降 10-30%。
温度缩放的优势在于:不改变模型的预测排序,只调整概率的绝对值——这意味着准确率不变,同时校准质量提升。
经过三阶段训练后,一个 System One 决策模型具备了:
- 60-75% 的基础准确率(Stage 1)
- ECE < 0.10 的校准质量(Stage 2)
- 消除系统性偏差的概率值(Stage 3)
这套管线已被 Laya 项目的训练代码完全开源复现(GitHub: NandhaKishorM/laya/finetune)。
五、五军对决:决策模型的生态大爆发
围绕 TypeSafe AI 的 System One Models 宣言,一个完整的生态在 2026 年 9 月爆发。这不是一个产品的发布,而是一个技术范式的分叉点。
5.1 闭源先锋:TypeSafe Jev
- 创始人:Diogo Almeida(OpenAI ChatGPT 共同发明者)
- 模式:按量计费 API,$0.042/M input tokens,输出免费
- 性能:官方宣称 70-150ms(端到端响应,含排队),第三方观测 P50 约 236-276ms
- 校准:ECE=0.246(Laya 的 3 倍差)
- 准确率:typed-decisions 基线 0.727
- 定位:高端商业用户,愿意为服务稳定性付费,不需要本地部署
- 局限:无技术论文、无开放权重、无本地部署选项
5.2 开源主力:Laya
- 创始人:Nandakishor Mukkunnoth(ConvAI Innovations)
- 模式:Apache 2.0 完全开源,自托管部署
- 性能:32.8ms 单 GPU 推理(批量 10 问题仅 7.2ms/问题),比 Jev 快 7.8 倍
- 校准:ECE=0.081(3 倍优于 Jev)
- 准确率:typed-decisions 0.766、AG News 0.950
- 定位:自托管+高吞吐+100+语言,适合成本敏感的高频 API 服务
- 核心优势:前身 SalesRLAgent 论文(arXiv:2503.23303)于 2025 年 3 月发表,比 Jev 发布早整整 18 个月。所有模型权重、训练数据、评估工具均已开放。
5.3 通用微调方案:Kev
- 核心创新:证明 RLCD 方法论可移植到任意基座模型
- 底座:Qwen3.5 微调
- 定位:边缘设备可部署的小尺寸决策家族
- 意义:决策模型从"专用架构产品"变为"通用微调管线"——任何团队都可以在自己的数据上训练校准决策模型
5.4 本地 Rust 实现:Laya Candle
- 技术栈:基于 Rust 机器学习框架 Candle
- 定位:纯本地、零依赖、支持 WASM/边缘设备
- 意义:决策模型进入浏览器和嵌入式场景,无需 GPU
5.5 浏览器 Agent 层:OpenJev + jev-ultrafast
- OpenJev:社区为绕开 Jev waitlist 创建的免费托管实例,完全 API 兼容
- jev-ultrafast:浏览器 Agent 的动态索引动作空间——将页面数百个可交互元素按功能语义聚类为复合动作,有效动作空间压缩 10 倍以上
- 意义:System One 从"后端决策引擎"延展到"前端智能体"
生态竞争洞察
五方竞争揭示了一个关键趋势:决策模型不再是「单一产品的竞争」,而是「完整技术栈」的竞争。
一个团队如果要在生产系统中落地 System One 决策,需要的不只是一个模型,而是:训练框架 + 评估工具 + 推理服务 + 部署优化 + 领域适配——Laya 的全开源栈覆盖了完整链路,而 Jev 目前只覆盖了 API 层。
六、行业格局:OpenAI 的 fast-follow 信号
社区讨论中有一个被低估的信号:「OpenAI is well positioned to fast-follow Jev」。
这背后的逻辑清晰而有力:
- OpenAI 已有低延迟模型路径:GPT-6 系列的多模态优化中已经包含了"低时延推理"作为明确目标方向
- 技术储备充足:PPO/RLHF 团队在 OpenAI 内部是最成熟的,迁移到 RLCD 的成本远小于外界预期
- 市场定位更清晰:OpenAI 可以将 System One 决策作为"ChatGPT Enterprise 的实时分类/路由模块"打包销售
如果 OpenAI 在 2026 年 Q4 发布对标产品,对 TypeSafe API 商业模式的冲击将是结构性的。但这也验证了整个方向的正确性——当 OpenAI 决定 fast-follow 一个方向时,这个方向已经从小众学术探索变成了行业共识。
对中国开发者的意义
System One 决策引擎对中国 AI 生态有特殊价值:
- DeepSeek/Qwen/GLM 的调用成本正在下降,但延迟和置信度问题并未根本解决
- RLCD 的训练方法论(PPO + Brier Score 奖励)可以用任何中文基座模型复现
- Laya 提供了 100+ 语言支持(含中文),可以直接用于中文内容审核、客服路由等高频场景
- "校准概率"的概念一旦被社区接受,"未校准的 LLM 置信度"将逐步成为工程反模式
七、生产落地:ROI 与真实部署模式
决策模型从社区热度到生产落地之间,隔着一道"工程现实主义"的检验。以下是从真实信号中提炼的部署模式。
7.1 模式一:Decision Gating(决策门控)
场景:客服工单自动路由
fromlayaimportRouterfromopenaiimportOpenAI router=Router(preload=True)openai=OpenAI()# Phase 1: Laya 快速决策(33ms)decision=router.predict(ticket,{"queue":{"type":"choice","criteria":{...}}})# Phase 2: 低置信度 → LLM 兜底ifdecision.confidence<0.85:openai.chat.completions.create(...)# 仅~3%流量进入LLM经济账(示意性计算,基于公开定价估算):
- 100 万次路由决策:纯 LLM 方案约 $50-200,Laya 方案约 $0.76-4.2
- 假设 97% 的请求由 Laya 即时处理,3% 低置信度请求转 LLM
- 总体成本节省约 85-95%,P99 延迟从数百 ms 降到 72ms 量级
7.2 模式二:Multi-LLM Judge Replacement(多LLM评估替代)
场景:AI 输出质量评估、安全护栏、内容审核
传统方案中,"LLM-as-Judge"的主观性、不一致性和高成本一直是痛点:
- 同一输入不同模型给出不同评分
- 同一模型不同次采样给出不同评分
- 评估成本在生产总成本中占相当比例(高频场景下尤为显著)
解决方案:类型化 Jev 决策树(jevals 项目方案)
- 将评估逻辑表达为可组合的决策节点
- 可跨模型复用,不需要每次重新调用 LLM
- 评估结果可缓存和微分(A/B 评估一致性提升)
7.3 模式三:Agentic Memory Control(Agent 记忆控制)
Jev-Mem 项目展示了 System One 控制策略在 Agent 记忆管理中的应用:
- System One(实时):每轮对话结束时即时决策——保留完整上下文、压缩为摘要、或丢弃。决策基于任务相关性和信息新鲜度。
- System Two(空闲):非高峰时段执行实体提取、关系建模、知识图谱更新。
这个双轨架构解决了 Agent 开发中最被低估的工程问题:上下文窗口不是免费的。对大多数 Agent 场景,System One 控制可以显著降低有效上下文消耗,减少不必要的 token 占用和推理成本。
7.4 模式四:Real-Time Safety Guard(实时安全护栏)
在安全防护场景中,决策模型、传统 LLM 和规则引擎形成了一个互补的防御层次:
| 护栏维度 | 决策模型(Jev/Laya) | 传统LLM | 规则引擎 |
|---|---|---|---|
| 延迟 | 30-150ms | 500-2000ms | <5ms |
| 成本($/M tokens) | $0.042 | $3-15 | $0 |
| 覆盖未知攻击模式 | ✅ 泛化能力 | ✅ 理解能力 | ❌ 仅已知模式 |
| 校准门控能力 | ✅ 概率可直接路由 | ❌ 置信度不可靠 | N/A |
关键洞察:决策模型的核心护栏价值不是"比 LLM 更准",而是"在可接受的成本下覆盖足够广的攻击模式"——让绝大多数攻击在 30ms 内被拦截,只在极可疑场景中调 LLM 做深度分析。校准概率在这里起到了关键的路由作用——它是门控逻辑的可信基础。
八、反思:真实边界的冷静判断
在生态大爆发中保持清醒,需要理解 System One 决策引擎的本质局限。
8.1 什么不能做
- 不能生成文本:Jev 不输出自然语言。如果你需要模型"解释为什么分类为A",需要额外调用 LLM。
- 不能处理未预定义空间:决策空间必须在 Schema 中预先定义。开域问答、创意写作、多步骤推理都不适合。
- 准确率不是100%:在 typed-decisions 任务上,Laya 准确率 76.6%,Jev 仅 72.7%——这意味着每 4-5 次决策就有 1 次错误,必须有兜底机制。
8.2 社区争议的真实核心
"I really don’t understand Jev hype"这个 75.55 分的热帖,核心论点是:
System One/Second 框架来自 Kahneman 2011 年的认知心理学,非 TypeSafe 的创新。非自回归决策模型在学术界早有论文,2025 年 3 月就有开源实现。Jev 的贡献在于工程化产品化,不在于科学突破。
这个论点值得认真对待。科学突破 ≠ 工程价值。Kubernetes 重混了 Google 的 Borg 思想,但它的产业意义不因此减少。Jev 的真正贡献是:
- 将 RLCD 训练方法论标准化为一个可复现的流程
- 证明了校准概率在商业场景中的经济价值
- 引发了社区对"LLM ≠ 万能"的工程反思
- 倒逼开源社区快速产出更优的开放替代方案
8.3 不是替代,是分工
最终,System One 模型不会替代 LLM。它们是在同一个系统中分工合作:
- Jev/Laya 承担高频/低延迟/高容量的分类路由打分(系统95%的决策量)
- LLM 承担低频/高复杂度/需要深度的推理生成(系统5%的决策量)
- 校准概率作为两者之间的桥梁——当 System One 不确定时,决定是否触发 LLM
"不写字的AI"不是在贬低 LLM,而是在说:让对的模型做对的事。
九、总结与下一步
核心洞察
- LLM 的置信度本质上不可信——token 预测数 ≠ 答案正确率,ECE=0.15-0.35 意味着"置信度 < 0.85 转人工"的门控逻辑形同虚设。
- RLCD 训练框架给出了工程解——PPO + Brier Score 奖励 + 温度缩放三阶段管线,将 ECE 压到 0.08,使概率值真正可用作生产分支条件。
- 生态五军对决已成型——Jev(闭源API)、Laya(全开源)、Kev(通用微调)、Candle(Rust本地)、OpenJev(浏览器Agent)各自覆盖不同工程需求。
- 分工范式确立——System One 做高频廉价的决策(95%量),System Two 做低频深度的推理(5%量),校准概率是两者间的路由开关。
资源速查表
| 资源 | 链接 |
|---|---|
| Jev 官方 | typesafe.ai |
| Laya 源码 | github.com/NandhaKishorM/laya |
| Laya Demo | huggingface.co/spaces/convaiinnovations/laya-demo |
| SalesRLAgent 论文 | arxiv.org/abs/2503.23303 |
| Schema Decisions 论文 | arxiv.org/abs/2510.01237 |
| RLCD 训练 Notebook | Kaggle 2xT4 全流程 |