双系统理论(System 1 / System 2)
一句话定义:人的思考分成两套——系统一(System 1)又快又直觉,系统二(System 2)又慢又费劲。 Jev 把这一区分搬到模型设计上,把自己定位成”系统一”:一层快速、聚焦的判断。
1. 来源:卡尼曼《思考,快与慢》
官方 System One 页明确交代出处:
“The System One name comes from the concept Daniel Kahneman popularized in his book Thinking, Fast and Slow. System 1 thinking is fast and intuitive. System 2 is slower and more deliberate. Here, the emphasis is on fast, focused judgments.”
翻译:“系统一”这个名字来自 丹尼尔卡尼曼 在《思考,快与慢》中普及的概念。系统一思考是快速而直觉的,系统二是更慢、更审慎的。在这里,强调的是快速、聚焦的判断。
2. 官方为什么敢叫”System One Models”
博客 FAQ 里说明了命名动机,并补了一句态度:
“‘System 1 thinking’ has also implied error-prone. For reasons we will get into in the future, we believe System One Models can be made more reliable than its alternatives.”
翻译:“系统一思考”这个说法同时也暗示着容易出错。出于我们之后会展开的原因,我们相信系统一模型可以做得比它的替代方案更可靠。
也就是说,TypeSafe 借用的是速度与直觉这一面,同时主张”直觉判断不等于不可靠”。
3. 系统一模型是”一层”,不是完整智能
官方把它定位成工作流里的一个判断环节:
- 输入一段状态(state),返回类型化(typed)的决策与概率;
- 不写回复、不写代码、不解释推理理由;
- 多个问题并行且彼此隔离地评估同一个状态,因此增加问题几乎不增加延迟;官方原话是”adding more questions does not create context-rot”(增加更多问题不会造成上下文腐坏),见 上下文腐坏。
需要多步推理、写作、精确计算的任务被明确划给别的模型。model-jaggedness__jev-1.13.md 把数学与数字、计数、日期时间比较、间接推理(indirection)、生成都列为已知弱项,并给出的建议是”把算术留在代码里""生成任务改用生成式模型”。
4. 与 Jev 的关系
- 定位:Jev 就是”系统一”判断层。官方原话是把它当成 “frontier-intelligence function call: unstructured state in, typed probabilistic decisions out”(前沿智能的函数调用:非结构化状态进,类型化概率决策出)。
- 分工:低置信度或高风险时,由代码把个案升级给”系统二”——更贵、更慢的推理模型或人。见 置信度与概率。
- 不替代系统二:需要思维链(Chain-of-Thought, CoT)的任务不在 Jev 的定位内;相关机制见 思维链 与 推理期缩放。
- 控制流归代码:模型只负责判断,“接下来做什么”由代码决定,见 模型与框架分责。
- 训练目标配套:要让”直觉层”可信,概率必须诚实,这正是 概率校准 与 RLCD 要解决的问题。
5. 一个具体的工作流例子
官方的退款申请示例:应用先构造状态(客户消息、相关交易、退款政策),再一次并行问三个独立问题——是否请求退款、证据是否显示重复扣款、政策是否支持退款;最后在代码里把答案与确定性检查组合,决定执行还是复核。
这体现了系统一的正确定位:每个问题都小到像”一个很有知识的人几秒内能做出的判断”,组合与权衡留给外部逻辑。
相关来源
concepts__system-one.md—— “系统一/系统二”的官方定义与出处o04-blog-sysone.txt—— 命名动机、“系统一不等于不可靠”的表态o02-docs-intro.txt—— “把问题拆小、在代码里组合”的方法论model-jaggedness__jev-1.13.md—— 系统一模型的能力边界(数学、计数、间接推理、生成)