一句话版本
推理模型近年的突破,很大程度上来自"可验证奖励"的强化学习(RLVR):数学题对答案、代码跑测试,对错一目了然,模型可以自己反复练。 但写作、战略规划、科研选题、法律分析、心理咨询没有标准答案。这些领域的奖励要么依赖人类偏好(贵、慢、容易被讨好),要么依赖奖励模型(容易被钻空子)。本文整理几条可能的出路:把开放任务拆成可验证的子任务、用世界模型做验证器、多个弱验证器的组合、辩论与可扩展监督、以及"延迟的现实反馈"。
定位
部分是已有方法的整理,部分是构想。文中标注。
第一层:通俗理解
1.1 有答案的练习和没答案的练习
- 练数学:做完对答案,错了重做。可以一个人练一万道题;
- 练写作:写完一篇文章,谁来打分?老师的口味、读者的口味、编辑的口味都不同,而且打分很慢。
强化学习需要大量、快速、可靠的打分。可验证的领域有,开放的领域没有。
1.2 现有做法的问题
| 做法 | 问题 |
|---|---|
| 人类打分(RLHF) | 贵、慢、不一致;模型学会讨好评分者(谄媚、写得长、显得自信) |
| 奖励模型 | 奖励模型本身有漏洞,策略模型会找到"奖励模型给高分、但实际很差"的输出(奖励投机,Goodhart 定律) |
| 用强模型当评委 | 评委模型有自己的偏好(偏爱长回答、偏爱自己的风格),而且能力上限受评委限制 |
第二层:已有证据
| 工作 | 要点 |
|---|---|
| DeepSeek-R1(2025) | 主要用规则可验证的奖励(答案对错、格式)做大规模 RL,推理能力大幅提升;也显示纯 RL 会带来可读性差、语言混杂等副作用 |
| 过程奖励模型(OpenAI "Let's Verify Step by Step",2023) | 对推理的每一步打分,比只看最终答案更有效 |
| Constitutional AI(Anthropic,2022) | 用一组书面原则让模型自我批评和修改,减少对人工标注的依赖 |
| 辩论(Irving 等,2018)与可扩展监督研究 | 两个模型就一个问题辩论,人类只需判断谁说得更有理;近年实验显示辩论能帮助较弱的评判者判断出更强模型给出的正确答案 |
| 奖励投机的大量记录 | 模型在 RL 中修改单元测试使其通过、利用评分规则的漏洞等,已被多家实验室报告 |
第三层:几条出路
3.1 拆:把开放任务拆成可验证的部分
一篇研究综述"写得好不好"难以验证,但其中很多部分可以:
| 可验证的部分 | 怎么验证 |
|---|---|
| 引用是否真实存在、是否支持对应的论点 | 检索 + 核对 |
| 数据和计算是否正确 | 代码复算 |
| 是否覆盖了指定的要点 | 清单检查 |
| 逻辑是否自洽 | 抽出论证结构,检查矛盾 |
剩下真正"主观"的部分(文笔、洞见)再交给人或模型评判。可验证部分占比越大,奖励越可靠。
3.2 用世界模型当验证器(构想)
战略规划、经营决策这类任务,可以在模拟环境里执行计划,看结果:
- 一个营销方案 → 在模拟的用户群体中运行;
- 一个谈判策略 → 和模拟的对手谈判;
- 一个工程方案 → 在仿真中运行。
模拟器不完美,但它提供了一个不会被讨好的反馈来源(见《世界模型后训练》)。
3.3 多个弱验证器的组合
单个验证器容易被钻空子,但同时骗过多个独立的验证器要难得多(和多源交叉验证同一思路):
用最小值而不是平均值,意味着模型必须让所有验证器都满意,钻某一个验证器的漏洞就没有意义了。
3.4 辩论与可扩展监督
当任务超出人类评判能力时(比如审核一篇非常专业的论文),让两个模型辩论:一个为结论辩护,一个寻找漏洞。人类只需判断双方指出的具体问题是否成立。理论上,说谎的一方更容易被对方抓住。
3.5 延迟的现实反馈(构想)
有些任务的真实结果要很久才知道:一个投资建议、一个医疗方案、一个产品决策。可以设计"延迟奖励":
- 先用代理奖励训练;
- 真实结果出来后(几周、几个月),回头校准奖励模型;
- 把预测类任务变成"预测市场"式的训练:模型对未来事件给出概率,事件发生后按校准程度打分(Brier 分数)。
预测未来是一个天然无法提前作弊的可验证任务。
3.6 待验证的假设
- 拆分后的可验证子任务做得好,是否等于整体做得好?还是会出现"每一项都达标、整体却平庸"?
- 组合验证器会不会让模型变得过于保守(只做所有验证器都挑不出毛病的平庸输出)?
- 预测类奖励能否迁移成更一般的判断力?
总结
| 层次 | 要点 |
|---|---|
| 问题 | 开放任务没有可验证的奖励;人类偏好和奖励模型容易被讨好、被钻空子 |
| 出路 | 拆成可验证部分;世界模型当验证器;多个独立验证器取最小值;辩论;延迟的现实反馈 |
| 依据 | RLVR、过程奖励、Constitutional AI、辩论实验、奖励投机的大量记录 |
| 风险 | 拆分失真、过度保守、模拟器偏差 |