原视频地址：https://www.youtube.com/watch?v=2Bs0Ink_-Uo
发布时间：2026-09-17
频道：Rob Shocks
【内容提炼】
- Jev 是什么：TypeSafe 刚发布的第一个"System One"模型——它不生成文本，而是直接返回带类型的决策（typed decisions）和经过校准的概率（calibrated probabilities），代码可以拿来直接跑分支。
- 价格与速度：约 100 毫秒出结果，每十亿 token 42 美元——视频里给了真实数字，也给了前提条件和注意事项。
- 行业反应：Vercel 的 CEO 和 CTO 已经在公开称它"extraordinary"（0:00 前后）。
- 训练方式：用强化学习配合"校准过的决策"来训——模型不只给答案，还要给出自己对这个答案有多确定（0:51）。
- 真实表现与扩展：实际效果和随规模变化的表现，含速度和成本的真实数字与 caveat（2:08）。
- 关键结合点：确定性软件怎么和 AI Agent 拼在一起——把"是不是、选哪个、有多确定"这类判断外包给模型，其余逻辑仍然由确定性代码控制（4:23）。
- 现场演示：在 playground 里实操 Choice（选择）、Score（打分）、Noul、confidence（置信度）四类输出（8:04）。
- 能拿来做什么：当"前沿智力水平的一次判断"几乎免费、且只要 100 毫秒时，开发者现在就能开始搭的东西。
核心洞察：Jev 的价值不在"又一个小模型"，而在它把 LLM 的输出从自然语言收敛成了可直接被程序消费的类型化结果——判断这件事被做成了一次廉价、快速、可被 if/else 接住的函数调用。
【标签】
#Jev #TypeSafe #AI模型 #TypedDecisions #校准概率 #强化学习 #AIAgent #确定性软件 #Vercel #Playground #开发者工具 #LLM
