最近关注到了 TypeSafe AI 推出的 Jev,对它的定位挺感兴趣:如果程序需要的只是一次分类、一个评分,或者判断下一步走哪个分支,是否有必要每次都让大模型生成一段回答?
带着这个问题,我请 AI 帮忙解释了 Jev 的原理、优势、局限和可能的应用场景,再把对话整理成这篇博客,留作后续学习的起点。
关于本文:正文主要来自 AI 生成内容的整理,反映的是 AI 基于公开资料对 Jev 的理解,也包含一些应用设想。我目前还没有实际接入 Jev 做评测,因此这里的分析不代表个人实测结论。文中补充了官方资料链接,方便大家对照阅读;如果有理解不准确的地方,欢迎指出,一起学习。
资料核对时间为 2026 年 9 月 18 日。价格、接口和产品状态可能随版本变化,具体使用时请以官方文档为准。
论文资料说明:截至上述日期,检索 TypeSafe 官方发布文章、文档目录,以及 arXiv、OpenReview 后,尚未找到 Jev 或 TypeSafe RLCD 自身的公开论文或完整技术报告。现有的发布说明和 AI primer介绍了产品与训练目标,尚不足以重建其算法。因此,下面补充的论文用于理解相关原理,不能视为 Jev 已采用这些方法的证据。
一、Jev 想解决什么问题
日常开发中,有些判断很容易写成规则:温度超过阈值就告警,库存为零就停止接单。但另一些判断需要理解语义,例如:
- 这条客户消息主要是在申请退款,还是报告故障?
- 这段回复是否回答了用户的问题?
- 这个告警是否需要交给人工进一步检查?
- 当前请求应该交给哪个工具或处理流程?
这些任务的输入可能是自然语言,输出却很有限。程序通常只需要一个类别、一个分数,或者某个条件成立的概率。
传统规则、专用分类模型和通用大语言模型都能参与解决这类问题,只是各有取舍。规则便于控制,却难以覆盖复杂表达;专用模型可以针对固定任务优化,但需要数据和维护投入;通用大模型灵活,却可能为一次简单判断付出较多推理与生成开销。
按照 TypeSafe 的官方介绍,Jev 属于其提出的 System One Model,重点是快速返回软件能够直接使用的结构化判断。这个名称借用了“快思考”的概念,可以帮助理解产品定位,但不宜据此推断模型具有与人类相同的思维机制。
用一个简化的流程表示,就是:
当前状态 + 明确的问题 + 预先定义的答案范围
↓
Jev
↓
结构化结果与概率信息
↓
业务代码决定分流、复核或执行这也是吸引我的地方:很多软件里的难点恰好位于“规则不容易写清楚,但结果又很明确”的位置。
二、它怎样把判断交给程序
Jev 的基本用法是提供状态(state)和问题(questions)。状态描述当前掌握的信息,问题说明要判断什么、按什么标准判断。
官方文档给出了三种基本问题类型:
| 类型 | 适合的问题 | 返回信息 |
|---|---|---|
| Noul | 一个条件是否成立,例如“消息是否明确要求退款” | noul,取值为 0~1,表示回答为“是”的概率 |
| Choice | 从已知选项中选择,例如工单应该分给哪个部门 | 选项、各选项的概率分布,以及 confidence |
| Score | 按事先定义的等级评分,例如问题严重程度 | 分数、等级说明、各等级的概率分布,以及 confidence |
这里容易混淆的是“概率”和“程度”。例如,Noul 返回 0.5,表示模型对某个条件是否成立不确定,并不表示事情的严重程度是“一半”。想衡量程度,就需要定义清楚 Score 的各个等级。
假设收到一条消息:
我的账号又被扣了两次钱,已经反馈几次了,麻烦尽快处理。
可以围绕同一条消息提出几个独立问题:主要诉求是什么、是否明确要求退款、表达了多强的急迫感。程序再结合订单记录和业务规则决定如何处理。
下面仅用“部门分流”和“是否要求退款”两个问题展示返回信息的含义。数值为虚构示例,只列部分字段,不是实际调用结果,也不是完整 API 响应。
{
"department": {
"choice": "billing",
"probabilities": {
"billing": 0.91,
"technical": 0.04,
"other": 0.05
}
},
"refund_requested": {
"noul": 0.72
}
}这个例子中,“账务问题”的信号比较明确,但消息没有直接说“我要退款”。即使最终识别到了退款意图,也只说明用户表达了什么,实际能否退款仍要检查订单和业务条件。
因此,模型输出可以成为程序的输入,但业务动作仍需要由代码中的规则来组织。
三、为什么它可能更快:减少逐字生成的开销
通常使用的自回归大语言模型,需要在输入之后逐步生成输出 token。即使最终只想拿到一个很短的 JSON,仍然存在输出生成的过程;如果还涉及较长的推理或解释,开销会继续增加。
TypeSafe 对 Jev 的公开描述强调了新的模型架构、并行采样,以及一次查询返回多个结构化判断。它放弃自由字符串生成,把输出限制在事先定义的类型和选项中。这里是对官方发布说明的概括,并不意味着仅凭接口就能还原它的网络结构。
这一设计对工作流有一个直观好处:多个基于相同状态、彼此独立的问题,可以放在一次请求中。
例如,“是否要求退款”“属于哪个部门”“用户有多着急”通常可以一起问。但如果必须先查到订单,再依据订单判断是否满足退款条件,就仍然存在真实的先后依赖,不能把它们简单视为全部并行。官方的问题组织说明也区分了这两种情况。
当然,通用 LLM 同样可以在一次请求中回答多个问题,也有结构化输出的使用方式。比较两者时,应该比较完整任务的准确率、延迟和成本,不能先假定 LLM 必须每个问题单独调用一次。
怎样看待宣传中的速度和价格
截至资料核对时,官方发布文章列出的端到端响应时间为 70~500 ms,输入价格为 0.042 美元/百万 token,输出暂不按 token 收费。这些是厂商公布的数据,本文没有复测。来源:TypeSafe 发布说明
官方同时说明,首页中 193.6 倍速度提升、444.6 倍成本改善的数字来自其特定工作流评测,并处于预期实际收益的较高端。因此,不能把它们理解成任意任务都能获得的固定提升。
另一个需要留意的细节是:官方工作流评测以其他大模型回答的共识作为参考,并假定工作流代码正确。这样的比较可以帮助观察模型差异,但不能直接当作业务中经过人工核实的绝对正确率。
对我来说,这些结果足以构成进一步了解的理由,是否值得接入项目,还要用自己的输入和业务标准验证。
四、RLCD、概率校准与 confidence
TypeSafe 将 Jev 的训练方法称为 RLCD(Reinforcement Learning for Calibrated Decisions),强调让模型作出判断,同时表达不确定性。官方发布说明介绍了这个训练目标,但本文不据此推断具体损失函数、模型参数量或完整训练流程。
理解“概率校准”,可以先看一个理想化例子:如果模型对很多事件都预测“发生概率约为 90%”,那么在足够多、条件相近的样本中,这些事件实际发生的比例也应该接近 90%。
校准关注的是预测概率与长期统计结果是否相符。它不能保证某一次高概率判断一定正确,也不能保证换到新的业务、语言或数据分布后仍然保持同样表现。
confidence 不能直接当作正确率
这里很容易被简化成“置信度为 90%,就有 90% 的概率判断正确”。结合文档,更准确的理解是:
- Choice 和 Score 的
confidence,是从返回的概率分布计算出的一个统计量,用来概括分布的集中程度。 - Noul 直接返回条件成立的概率,没有单独的
confidence字段。 confidence = 0.9不能直接等同于“这次判断有 90% 的正确率”。
以上区别来自官方 Confidence 文档。选项概率、分布集中程度和实际业务准确率有关联,但不是同一个概念。
工程上的价值在于,程序可以利用这些信号安排不同处理路径:明确且经过验证的情况自动分流,模糊情况补充信息或交给人工。阈值需要结合真实样本、误判代价和可接受的处理覆盖率确定,不能直接照搬文章中的示例数字。
五、结合三篇论文,进一步理解“可靠的判断”
我希望进一步弄清楚的,是模型输出一个概率之后,这个数字怎样才算有用。相关研究可以沿着三个问题读下去:
| 问题 | 相关论文 | 与 Jev 的关系 |
|---|---|---|
| 概率为什么可能不可信,怎样测量和修正? | Guo 等,On Calibration of Modern Neural Networks,ICML 2017 | 概率校准的基础背景 |
| 能否在强化学习训练时同时奖励答对和诚实表达不确定性? | Damani 等,Beyond Binary Rewards: Training LMs to Reason About Their Uncertainty,ICLR 2026;预印本发表于 2025 年 | RLCR 与 TypeSafe RLCD 的目标相关,但并非同一已公开算法 |
| 什么时候应该自动判断,什么时候应该拒答? | Geifman、El-Yaniv,SelectiveNet: A Deep Neural Network with an Integrated Reject Option,ICML 2019 | 理解回退机制和自动处理覆盖率的研究背景 |
还要避免一个缩写陷阱:2023 年已有一篇 RLCD: Reinforcement Learning from Contrastive Distillation for Language Model Alignment。它研究的是通过对比蒸馏构造偏好信号来做模型对齐,与 TypeSafe 所说的 Reinforcement Learning for Calibrated Decisions 全称不同,不能仅凭“RLCD”这个缩写就认作 Jev 的论文。
1. 概率校准:答得更准,也可能更过度自信
Guo 等人的论文研究了图像与文本分类网络,发现分类准确率提高,并不意味着预测概率更接近实际正确率。论文讨论的“confidence”是预测类别对应的概率,并非 Jev API 中概括分布集中程度的同名字段。
假设两个模型都处理了 100 条工单,各自答对 80 条,但一个模型对这批预测平均报出 0.80,另一个平均报出 0.99。它们准确率相同,对不确定性的表达却很不同。
不过,仅比较两个平均数也不够:某些样本过度自信、另一些样本过度保守,可能刚好抵消。因此需要按预测概率分组,看每一组内部是否相符。
可靠性图与 ECE
对多分类任务,先记下每条样本的预测类别和该类别的概率,再按概率区间分箱。每个箱子比较两件事:
- 平均预测概率:这一组模型平均“报了多大把握”。
- 实际准确率:这一组实际答对了多少。
把前者作为横轴、后者作为纵轴,就得到可靠性图。两者接近时,点落在对角线附近;平均概率高于实际准确率时,表现为过度自信。这是论文第 2 节介绍的评估方式。
下面是为解释计算而构造的例子,不是论文数据,也不是 Jev 测试结果:
| 概率区间 | 样本数 | 平均预测概率 | 实际准确率 | 绝对差 |
|---|---|---|---|---|
| 0.5~0.6 | 40 | 0.55 | 0.50 | 0.05 |
| 0.8~0.9 | 60 | 0.85 | 0.70 | 0.15 |
把各组差值按样本占比加权,就得到一种常用的 ECE(Expected Calibration Error,期望校准误差) 估计:
$$ \mathrm{ECE} =\sum_{m=1}^{M}\frac{|B_m|}{N} \left|\mathrm{acc}(B_m)-\mathrm{avgprob}(B_m)\right| $$这里 $N$ 是总样本数,$M$ 是分箱数,$B_m$ 是第 $m$ 个箱子的样本集合;$\mathrm{acc}$ 表示实际准确率,$\mathrm{avgprob}$ 表示平均预测概率。
上面的例子算出 $0.4\times0.05+0.6\times0.15=0.11$。它表达的是这个分箱估计下的加权差距,不是“模型错误率为 11%”。
如果评估 Noul,则应该按它给出的“是”的概率分箱,比较每箱中“是”实际出现的比例;如果评估 Choice 的预测是否正确,则比较所选类别概率与该预测的实际准确率。两种事件不能混为一谈,更不能把 Jev 的 confidence 字段直接塞进公式当成正确概率。
分箱数量、样本量和样本构成都影响估计结果。总分之外,还应看各箱样本数,以及不同语言、类别和难度下的结果,避免大量简单样本掩盖少数关键错误。
温度缩放到底改变了什么
这篇论文还讨论了 temperature scaling(温度缩放):在模型训练完成后,保持网络权重不变,用验证集拟合一个正数 $T$,调整输出概率。
设 $z_k$ 是模型在 softmax 之前对第 $k$ 类输出的原始分数,也叫 logit;共有 $K$ 个类别。调整后的概率是:
$$ p_k(T)=\frac{\exp(z_k/T)}{\sum_{j=1}^{K}\exp(z_j/T)} $$$T>1$ 会使分布变平,$0
例如,两个类别的 logits 为 $(2,0)$ 时,$T=1$ 对应的概率约为 $(0.881,0.119)$;$T=2$ 时约为 $(0.731,0.269)$。模型仍然选择第一类,只是表达得没那么确定。哪个温度更合适,需要数据回答。
对 Jev 的启发是:校准本身有多种实现路线。不能因为它提供概率,就推断其内部用了温度缩放;也不能因为它宣称训练时做了校准,就省略本业务上的验证。
2. RLCR:怎样让奖励同时关心答案和不确定性
Beyond Binary Rewards提出了 RLCR(Reinforcement Learning with Calibration Rewards)。它是这里与 TypeSafe RLCD 训练目标最相关的一篇论文,但研究对象仍是会生成答案和数值置信度的语言模型。
论文的方法可以先用两个量理解:
- $c$ 是答案是否正确:正确取 1,错误取 0。
- $q$ 是模型对“这个答案正确”的概率估计,取值为 0~1。
只按答案对错奖励时,可以写成 $R=c$。这种奖励没有直接评价 $q$ 是否可信。RLCR 则加入二元 Brier 误差,即预测概率与实际结果的平方差。论文式(8)的奖励可以简写为:
$$ R_{\mathrm{RLCR}}=c-(q-c)^2 $$第一项奖励答对,第二项惩罚概率与结果不符。以下是直接代入公式得到的示例:
| 实际结果 $c$ | 报告概率 $q$ | 平方误差 $(q-c)^2$ | 奖励 |
|---|---|---|---|
| 正确:1 | 0.90 | 0.01 | 0.99 |
| 正确:1 | 0.60 | 0.16 | 0.84 |
| 错误:0 | 0.90 | 0.81 | -0.81 |
| 错误:0 | 0.60 | 0.36 | -0.36 |
单个样本中,“自信地答错”受到更大惩罚。不过,这还没有解释模型为什么不会总报低概率以逃避惩罚,需要继续看期望奖励。
为什么它鼓励报告真实概率
在论文的建模假设下,对一个给定候选答案,设它正确的真实概率为 $p$,即 $c$ 服从参数为 $p$ 的伯努利分布。对上述奖励展开,可以得到:
$$ \begin{aligned} \mathbb{E}[R] &=p-\left[p(1-q)^2+(1-p)q^2\right]\\ &=p^2-(q-p)^2 \end{aligned} $$当候选答案固定、$p$ 不变时,模型只有令 $q=p$,才能消去最后的平方项、获得最大期望奖励。校准之后,期望奖励为 $p^2$,所以选择更可能正确的答案也更有利。这对应论文第 3 节定理 1中的两种激励。
这里证明的是这个奖励在理想条件下鼓励什么行为,并不保证有限数据、有限模型和实际优化过程一定达到该最优点。Brier 误差也同时受预测质量等因素影响,不能单独当成纯粹的校准指标。
论文实验提供了什么证据
论文主实验使用 Qwen2.5-7B Base,并以 GRPO 为基础强化学习算法。下面摘取 arXiv v2 的表 1(a)中 HotpotQA 训练设置的两组结果。该设置使用了移除部分相关证据的修改版训练数据;表中的域外结果是六个其他数据集的平均值。
| 评估范围 | 方法 | 准确率 ↑ | Brier ↓ | ECE ↓ |
|---|---|---|---|---|
| HotpotQA | RLVR | 63.0% | 0.37 | 0.37 |
| HotpotQA | RLCR | 62.1% | 0.21 | 0.03 |
| 六个域外数据集平均 | RLVR | 53.9% | 0.46 | 0.46 |
| 六个域外数据集平均 | RLCR | 56.2% | 0.21 | 0.21 |
这组数据说明,在该实验里,校准指标改善时,准确率可以保持接近;域内准确率仍有 0.9 个百分点的差异,不能把它概括成所有任务都只升不降。域外 ECE 也没有降为零,泛化后的不确定性估计仍有改进空间。
这些是 RLCR 论文作者的实验结果,既不是 Jev 的测试结果,也不是我的复现实验。目前没有证据表明 TypeSafe 使用了这个奖励函数、GRPO 或上述基础模型;这些细节不能从 RLCR 迁移成对 Jev 架构的描述。
3. SelectiveNet:自动处理率和错误率要放在一起看
前面提到“不确定就交给人工”,在研究中属于 selective prediction(选择性预测)。SelectiveNet把“预测什么”和“是否接受这次预测”放进同一个模型训练,并围绕目标覆盖率优化接受样本上的损失。
理解这个方向,先看两个指标就够了:
$$ \mathrm{Coverage}=\frac{\text{接受并自动处理的样本数}}{\text{全部样本数}} $$$$ \mathrm{SelectiveRisk}=\frac{\text{自动处理样本中的错误数}}{\text{自动处理样本数}} $$第二个公式采用分类任务的 0/1 错误定义,且要求至少接受一个样本。覆盖率为零时,不应把这个比值写成“零错误率”来宣传可靠性。
下面同样是构造的例子,用来说明如何阅读这两个指标:
| 处理策略 | 总样本 | 自动处理 | 自动处理中出错 | 覆盖率 | 选择性错误率 |
|---|---|---|---|---|---|
| 全部自动处理 | 1,000 | 1,000 | 100 | 100% | 10% |
| 接受较明确的预测 | 1,000 | 600 | 12 | 60% | 2% |
| 仅接受最明确的预测 | 1,000 | 300 | 3 | 30% | 1% |
最后一行自动处理部分的准确率达到 99%,但仍有 70% 的输入需要其他流程处理。它可能适合某种业务,也可能让人工负担过大;单看“99%”无法判断系统价值。
在实际数据上改变接收阈值,可以画出风险与覆盖率的关系。阈值提高通常会减少接受量,但如果模型的排序信号本身不好,错误率未必随之稳定下降,需要实测。
SelectiveNet 本身使用共享表示以及预测、选择、辅助三个输出分支,这是该论文的具体结构。论文第 4 节可以帮助理解“拒答能力也能训练”;在 Jev 外围增加阈值回退,只是选择性预测的一种应用方式,不能据此说 Jev 内部实现了 SelectiveNet。
4. 把三篇论文连起来看
对一个想接入程序的判断模型,这三条研究线分别回答了:如何测量概率是否可信、如何在训练中鼓励可信概率,以及如何利用不确定性决定哪些样本自动处理。
还有一个容易忽略的区别:校准和区分难易样本的能力并不相同。假设一个模型在某批数据上实际正确率为 80%,却对所有输入都报 0.8,那么它在这一粗粒度统计上可能校准得很好,却无法帮程序挑出哪部分更值得自动处理。
因此,理解 Jev 时,应该同时关心答案质量、概率校准、错误识别能力,以及接入工作流后的覆盖率。模型提供了一组数字,只是评估的起点。
六、从工程角度看,它有哪些优势
下面几项是这份 AI 解读中值得继续关注的方向,是否成立到足以影响选型,仍要看具体任务。
1. 输出更贴近程序要消费的数据
如果业务需要的是一个枚举值或者评分,直接接收对应类型的结果,确实便于接入分支逻辑、排序和工作流。
需要区分的是,减少输出格式问题,并不会消除输入检查、业务校验、超时重试和服务故障处理。这些仍然属于应用本身的职责。
2. 适合把复杂策略拆成小判断
一个含糊的问题,比如“这张工单应该怎么处理”,往往同时混合了意图识别、订单状态、优先级和权限规则。
拆开之后,可以让模型处理语义判断,让代码处理明确条件。例如,模型判断消息是否表达退款意图,代码检查订单是否存在、是否已退款、是否允许当前操作。
这种写法也便于定位问题:结果不符合预期时,可以检查是哪一个判断出错,还是业务规则组合有误。
3. 不确定性可以进入工作流
如果模型只返回一个类别,调用方很难区分“比较明确”和“勉强选一个”。返回概率分布后,就多了一种设计空间:允许系统在信息不足时暂不自动处理。
这并不自动带来可靠性,但让“转人工”“补充上下文”“调用其他模型”能够成为明确的处理分支。
4. 高频小判断可能更有成本优势
Agent 或自动化系统的一次任务中,可能反复出现工具分流、结果检查、继续或停止等小判断。如果这类调用占了大量时间和费用,专门面向结构化决策的模型就值得比较。
不过,应该计算整个流程的成本,包括重试、回退、人工复核和错误处理。单次调用便宜,并不一定意味着完成一次业务任务更便宜。
七、局限:哪些事情仍然不能省略
1. 自由文本生成不属于它的主要输出能力
写文章、生成代码、解释原因、起草计划,需要的是开放的文本输出。按照当前公开定位,Jev 更适合对已有状态作有限范围的判断,不能直接承担这些生成任务。
一种可能的组合是:生成模型提出候选内容,判断模型检查某些明确条件,程序再组织后续流程。这里描述的是架构设想,并不代表这样组合后就一定更准确。
2. “零幻觉”需要明确边界
TypeSafe 的发布说明把其“零幻觉”数据与 schema 匹配保证联系起来。也就是说,输出受到预先定义的结构和选项约束。来源:官方关于类型安全的说明
但“类型合法”和“判断正确”是两件事:如果正确答案是 A,模型仍然可能在合法选项中选出 B。
所以,合法的工具名不代表应该调用这个工具,合法的分类值也不代表分类符合事实。模型结果进入业务系统之后,仍然需要相应的检查。
3. 问题和选项设计会影响结果
“这个操作危险吗?”缺少明确的判断标准。更具体的问题可能是:是否删除文件、是否向外部发送数据、是否修改权限,然后由程序结合操作范围和授权信息处理。
选项也必须覆盖可能出现的情况。如果只给“账务”和“技术支持”,一条商务合作消息就没有合适的位置。官方文档建议在需要时增加 other 或“以上都不是”之类的选项。
增加兜底选项有帮助,但它也不能保证模型总能识别未知情况。仍需检查模糊样本和错误案例。
4. 专用模型仍然值得比较
如果任务长期固定、标注数据充足,并且已经有可维护的本地分类器,换用 Jev 未必更合适。
选型时可以比较维护成本、准确率、延迟、部署条件和数据要求,而不是仅因为它更“新”就替换现有方案。本地模型同样有计算和运维成本,实际表现要看模型、硬件和运行负载。
5. API 延迟不是实时性保证
响应快并不意味着每次都能在固定期限内完成。网络波动、超时、限流和服务不可用都需要由应用处理。
如果一个业务动作有严格的时间要求,就要考察尾延迟和失败路径,而不能只看平均响应时间。
八、可能适合哪些应用场景
官方评测站点展示了客服、安全事件、发票处理和 Agent 执行记录检查等工作流。结合前面的接口特点,可以把值得尝试的方向整理为下表。这里列的是用途分析,并非个人验证过的推荐清单。
| 场景 | 可以交给模型判断的内容 | 程序仍需负责的内容 |
|---|---|---|
| 客服工单分流 | 主要诉求、所属部门、急迫程度 | 订单查询、权限和具体处理规则 |
| Agent 工具路由 | 哪个工具或工作流更匹配当前请求 | 参数检查、授权和实际调用 |
| Agent 结果检查 | 是否遗漏要求、是否需要进一步复核 | 可执行验证、失败处理和任务状态 |
| 内容审核与告警分流 | 是否符合某类条件、风险线索是否明显 | 审核标准、升级流程和人工复核 |
| 文档与数据打标签 | 已定义类别、相关性和等级 | 抽样检查、标签体系和质量统计 |
| 模型路由 | 请求是否需要复杂推理或特定能力 | 模型可用性、预算和回退策略 |
一个适合初步验证的任务是工单分流,因为结果容易观察,错误也相对容易纠正。其业务逻辑可以先写成下面这样:
# 业务伪代码,不是 Jev SDK 示例。
# 分流策略及阈值应先用本业务的标注样本验证。
if request_failed or answer.choice == "other":
send_to_review()
elif routing_policy.accepts(answer.probabilities):
route_to_department(answer.choice)
else:
send_to_review()评估时,除了总体准确率,还要观察自动处理了多少样本、这些样本中错了多少,以及剩下的人工复核成本。只在最容易的少量样本上取得高准确率,并不等于整个流程已经实现自动化。
九、机器人方向:值得关注的是行为建议
对机器人相关应用,我比较感兴趣的是:它能否帮助理解任务描述、整理异常状态,或者在已有行为选项中提供建议。这是从接口特征延伸出的设想,本文没有机器人接入或实机测试依据。
例如,系统已经获得结构化状态:任务目标暂时不可见、某条通道被占用、电量下降。模型可以判断是否需要操作员补充信息,或者在“继续观察、请求协助、建议返航”等高层选项中给出建议。
但这些建议不能跳过机器人的状态机、任务权限和安全条件直接执行。模型对文字状态的理解,也不能替代感知、定位、路径规划与运动控制本身。
如果是速度指令、关节力矩或高频控制环,本文没有任何依据认为这类网络模型适合直接参与。此类环节对时限、状态新鲜度和稳定性有不同要求,应由经过验证的控制系统承担。
TypeSafe 的 Doom 演示说明也有一个容易忽略的前提:该演示给模型的是结构化文本状态,并非直接输入画面。因此,不能从演示直接推导出它能理解机器人摄像头数据,更不能据此证明实机可靠性。
十、如果实际接入,可以怎样设计验证
结合前面的论文,一个初步验证可以按下面的顺序推进。这是由相关研究延伸出的评估建议,目前还没有在 Jev 上执行。
- 先固定任务和标签标准。例如只判断工单应该转给哪个部门,明确类别、例外和“信息不足”的条件。遇到人工也无法一致判断的样本,先处理标签歧义。
- 分开调参数据和最终测试数据。前者用于调整问题、选择阈值,或拟合校准参数;后者用于评价最终方案,避免一边看测试答案一边调规则。
- 同时记录准确率、Brier 和分箱校准结果。对 Choice,区分所选类别概率、完整分布和 confidence;对 Noul,记录条件成立的概率与真实二元标签。指标的事件定义和归一化方式要保持一致。
- 观察风险与覆盖率。每个阈值都记录自动处理数量、其中的错误、回退数量和人工成本,并单独检查高代价错误。样本少时给出错误计数,不能仅报一个漂亮的百分比。
- 比较完整业务链路。在同一批输入和同一判定标准下,对照规则、已有分类模型和合理配置的 LLM。统计包含网络、重试、回退在内的每任务成本,以及中位数和 P95 等延迟。
- 检查变化后的表现。中文表达、缺失字段、新类别、长输入和模型版本变化,都可能影响原本有效的概率与阈值。保留这些维度的结果,便于后续重新评估。
还要给“标注不足”留出位置。如果某类输入只有十几条,即使暂时没有出错,也不足以说明它在更大规模下可靠。公式和指标帮助组织证据,不能替代足够且有代表性的数据。
十一、接下来想弄清楚的问题
读完这份 AI 梳理,我更感兴趣的是一个具体方向:让语义判断以清楚的输入、输出和不确定性信号进入普通程序。
如果后续有机会实际接入 Jev,我想先从一个范围较小的分类任务开始,重点观察:
- 中文表达、信息缺失和模糊输入下,判断是否稳定。
- 概率和
confidence能否帮助筛出容易出错的样本。 - 加入人工复核或其他模型回退后,整体成本与延迟是否仍有优势。
- 与规则、现有分类器和结构化输出的 LLM 相比,究竟改善了哪个环节。
目前先把这篇文章作为学习记录。它的主体来自 AI 对官方资料和相关论文的理解,我自己也还在了解这个方向。后续如果 TypeSafe 公开 Jev 或 RLCD 的论文,再对照实际方法继续补充;欢迎已经使用过 Jev,或者研究过类似决策模型的朋友分享经验,我们一起把这些问题弄清楚。
参考资料
Jev 官方资料
- TypeSafe:Introducing System One Models & Jev
- TypeSafe 文档:Introduction
- TypeSafe 文档:Primitives(Questions)
- TypeSafe 文档:Confidence
- TypeSafe:Workflow evals
- TypeSafe 文档:AI primer
相关论文
- Chuan Guo、Geoff Pleiss、Yu Sun、Kilian Q. Weinberger,On Calibration of Modern Neural Networks,ICML 2017。本文参考其第 2 节的校准度量和第 4.2 节的温度缩放。
- Mehul Damani 等,Beyond Binary Rewards: Training LMs to Reason About Their Uncertainty,ICLR 2026,预印本首发于 2025 年。公式与数据按 arXiv v2 第 3 节式(8)、定理 1,以及表 1(a) 核对。
- Yonatan Geifman、Ran El-Yaniv,SelectiveNet: A Deep Neural Network with an Integrated Reject Option,ICML 2019。本文参考其第 2 节的风险与覆盖率定义和第 4 节的模型设计。
- Kevin Yang 等,RLCD: Reinforcement Learning from Contrastive Distillation for Language Model Alignment,2023 年预印本。此处仅用于区分同名缩写,并非 Jev 论文。