放在过去两年的大模型行业里看,几乎所有的注意力都押在了 System 2 这一侧 —— 各家都在拼推理链更长、工具调用更准、Agent 任务完成率更高。TypeSafe 反过来问了一个问题:软件里所有需要 AI 参与的任务,真的都值得让模型停下来认真推理吗?
显然不是。判断一句客诉是不是退款请求,不需要模型写几千个 Token 的思考过程,人类几乎是瞬间反应。TypeSafe 索性把这块被行业忽略的 System 1 单独拎出来做成了一个模型 —— 这也是 Jev 官方自称 System One Model 的由来。
顺带一提,"Jev" 这个名字来自经济学家 William Stanley Jevons,他提出过著名的 "杰文斯悖论"(Jevons Paradox):一项资源变得更高效、更便宜之后,人类对它的总消耗量未必减少,反而可能因为门槛降低而暴涨。TypeSafe 的赌注是:如果一次语义判断便宜到可以忽略不计、速度只要几十到几百毫秒,那么软件里原本一个普通的 if 判断,很可能会被大量替换成一次 AI 判断 —— 需求不会减少,只会被重新释放出来。 和普通 LLM 的本质区别:不是 "更小",而是 "不生成"