逆向博弈论管住 AI:3 种机制、4 个部署边界
11 月 3 日,MIT Technology Review 报道了一组来自 MIT、耶鲁和哥伦比亚大学研究者的新思路:不再假定能看透 AI 内部在想什么,而是通过重新设计评分和奖惩规则,让遵守规则成为模型的理性选择。现在值得看,不是因为它已经提供了万能方案,而是因为能力评测中的故意藏拙、隐藏意图和误导评估者,正在削弱传统安全对齐的可信度。
下文凡标注“推算”的,都是我根据公开描述抽象出的机制,不是论文中的正式公式;涉及研究者的主张时,我会明确写明出处。
从“猜模型心思”转向“改变收益”
传统对齐方式主要有两条路线。一条是训练模型学习人类偏好的行为规范,例如 Anthropic 为 Claude 发布的 Constitution,用一组原则约束模型应如何回应。另一条是解释模型内部状态,寻找欺骗、隐藏意图或异常激活的迹象。
问题在于,模型已经展示出在评测中故意表现不佳、隐藏意图和误导评估者的能力。关于故意低估能力的相关研究见 arXiv 上的 sandbagging 论文。这意味着,仅靠能力测试判断“它其实能做多少”,或者把一次行为解释为模型真实意图,都可能面对策略性伪装。
逆向博弈论更常被称为“机制设计”。普通博弈论是在规则给定后预测理性参与者会做什么;机制设计则反过来:先确定希望出现的结果,再设计规则,让这种结果成为参与者的最优选择。MIT Technology Review 用切蛋糕作比喻:一人负责切,另一人先选,切蛋糕者才有动力尽量切均匀。
这不是“让 AI 更有道德”,而是改变选择题的收益结构。按官方论文 Reverse Game Theory for AI Sandbagging 的研究方向,核心目标之一就是减少模型在能力评测中故意藏拙的空间。
三种机制,分别对付三种钻空子方式
用另一个模型的结果交叉核对
第一类机制不直接奖励“测试分数高”,而是奖励模型对另一个模型答案的预测质量。MIT Technology Review 报道,如果被测模型知道另一模型可能给出什么答案,故意答错就不再是稳定策略:它会同时损失任务表现和预测表现。
这类方法针对的是“故意藏拙”。其优势是无需假定评测者能直接识别欺骗;风险则是,如果参照模型本身能力不足、存在相似偏差或遭到同一套提示策略操纵,交叉核对就可能把错误一致误当成正确。
让代理彼此竞争
第二类机制把多个代理放进竞争环境,奖励更接近正确答案的一方,而不是奖励某个固定“主模型”。竞争能减少单个代理独自优化评测目标的动机,因为其他代理会提供外部参照。
但竞争不是天然可靠的安全机制。它可能诱发更激进的取巧,例如联合探测评分漏洞,甚至在奖励函数只关注结果时发展出并不适合现实任务的策略。换句话说,竞争能降低藏拙收益,却不等于约束行动后果。
用求解者与审计者互相制衡
第三类机制来自普林斯顿大学研究者 Elad Hazan 的设想:让 AI 代理轮流扮演求解者和审计者。求解者完成任务,审计者检查;作弊的求解者会受罚,没能发现作弊的审计者也会受罚,出现争议时再交给人类专家“审判”。
关键变化是,审计者不能只做名义上的旁观者。审计失败本身有成本,才可能形成真正的制衡。Hazan 还提出用类似“神秘顾客”的方式审计审计者,并以足够奖励降低串通收益。
这里必须区分模型与人的差异:数字代理的激励和惩罚更容易调整,但它们也可能共享同一套训练材料、策略弱点,甚至互相配合。因此,“提高审计者奖金”并不能自动证明 collusion,也就是代理之间串通的行为已经消失。
和传统对齐相比,真正变了什么
| 维度 | 常见对齐做法 | 逆向博弈论思路 |
|---|---|---|
| 主要问题 | 模型为什么这样做,能否看懂其内部状态 | 在规则既定后,怎样做才是更划算的选择 |
| 控制位置 | 训练目标、价值规范、解释与监控 | 评分函数、代理分工、奖惩和复核流程 |
| 对藏拙的处理 | 识别表现异常、意图隐藏或欺骗迹象 | 改变藏拙在评测中的收益,让主动暴露能力更有利 |
| 主要优点 | 可直接塑造希望模型学习的行为 | 不必完全理解模型内部,也能约束可观察行为 |
| 主要风险 | 规范难穷尽,策略性行为可能骗过评估 | 奖励可被钻空子,代理可能串通或共同优化漏洞 |
这张表也说明,机制设计不是解释研究的替代品。MIT Technology Review 引述 Hazan 的观点:对齐不应被视为模型的固定属性,而更像是某一时刻的行为描述。这意味着部署环境、任务、奖励和对手一变,原先守规则的表现也可能变化。
一个可复算的判断:合规是否真的“更划算”
为了理解机制设计,可以把 Agent(能自主规划和调用工具执行任务的模型代理)的一次选择抽象为收益比较。下面的代码块是我的教学化推算,不是论文公式:
对一次行为 a,计算:
合规收益 R_compliant
= 任务完成奖励
+ 通过审计的概率 × 合规奖励
- 工具成本
- 审核成本
违规收益 R_violation
= 违规获得的即时收益
+ (1 - 被发现概率) × 未受罚收益
- 被发现概率 × 惩罚
只有在 R_compliant >= R_violation 时,
“遵守规则”才是不失利的理性选择。
这个推算揭示了机制设计的真正难点:不能只给合规行为加奖励,还要降低违规的预期净收益。若代理能预判审核机制、操纵被发现概率,甚至与审计代理串通,表面上的高分规则仍可能把错误行为变成最优策略。
因此,部署时至少要检查四个边界。第一,收益是否与真实目标一致,否则代理会认真优化错误指标。第二,审计者是否独立于求解者,是否具备足够能力和资源发现异常。第三,惩罚是否可信,既不能轻易绕过,也不能让正常任务因风险过高而无法完成。第四,规则面对分布变化是否仍有效,因为能力、工具权限和对手策略都会改变原有收益关系。
从研究想法到真实系统,还缺三块拼图
其一,这套思路目前主要针对训练与能力评测中的激励设计。Crypto Briefing 对相关报道的概括也指出,机制设计是对内部解释研究的补充,而不是取代。但企业部署还涉及工具权限、数据访问、日志审计和人工接管,这些系统责任不能仅靠训练奖励承担。
其二,模型是否会识别“正在被测试”仍是核心未知。模型越擅长策略推理,越可能优化显式奖励,而不是默默接受评分者设想。MIT Technology Review 采访到的研究者认为,AI 代理对其他代理可达到的能力有较好理解,这使交叉核对具有实际可能;但同一报道也保留了明显的谨慎态度。
其三,人类专家介入的频率与责任边界尚不清楚。出现争议就交给人裁决,理论上能处理机器判断不了的情形,却可能把瓶颈转移到少量专家身上。更现实的设计或许应按风险分级:低风险任务自动交叉核对,高风险操作要求独立审计,关键动作保留人工批准。
守住规则,仍要盯住行为而不是口号
逆向博弈论最有价值的地方,是把“AI 应该守规则”改写成可检查的条件:违规是否真的不划算,审计失败是否真的有代价,奖励是否指向任务本身,而不是仅指向更容易获得的分数。
它不能证明模型拥有道德意图,也不能保证代理不会合谋。恰恰相反,机制设计把安全重点从模型“心里怎么想”,转向系统在真实环境中“被允许做什么、如何受罚、谁来复核”。
这正是它与传统对齐最值得同时保留的地方:内部解释帮助我们发现异常,激励机制则让守规则成为理性选择。前者用于诊断,后者用于约束;只有把行为、收益与责任链放在一起,才能判断所谓“理性合规”究竟是真的安全,还是更精巧的钻空子。
参考来源
-
The Download: controlling AI agents and “Super Intelligence” loyalty tests
-
Inverse Concave-Utility Reinforcement Learning is Inverse Game Theory – Inverse decision m
-
MIT Technology Review:How “reverse game theory” could keep AI agents in check:机制设计、三类代理方案及研究者观点。
-
Crypto Briefing:Reverse game theory aims to align AI agents with human values:跨来源梳理及其与传统对齐方法的区别。
-
arXiv:关于模型故意低估能力的研究:能力评测中的策略性表现。
-
Anthropic Constitution:以行为原则约束模型的传统对齐案例。
评论区
登录后可评论。