面向可扩展监督的AI辩论一直受混淆论证问题阻碍,Zhiyang Xun等提出FBS Debate:Alice把原声明分解为子声明,Bob要么证明该分解对子声明小误差过于敏感让Alice直接输,要么按分数区块敏感性(fractional block sensitivity)抽样一个子声明递归,直到人类法官直接判断;Bob还可自行多次rollouts,发现任一错误的人类可判声明即揭示给法官,高概率抓住说谎Alice。相比prover-estimator debate,FBS Debate把正确性保证从平均情况提升到最坏情况,并给出更强均衡:诚实是每个辩手的最优策略,而非只保证Bob对Alice的每个不诚实策略存在某获胜策略。作者证明,把人类判断视为黑盒时,任何协议在单个问题上都无法渐近比FBS Debate更高效找出有缺陷子声明。讨论指出分数区块敏感性决定递归辩论协议确保准确训练信号所需的计算量,Bob只需理解论证结构而无需判断子声明真假;下界仅在黑盒假设下成立,打开黑盒可能更强但需“读代码”,不现实。
为什么重要 若你用 debate 生成 RL 奖励信号,这套规则更简单、能给出更强的正确性保证;但它仍是纯理论结果,没有实验数据适合 做 RL 奖励设计、可验证监督与对齐理论的研究与工程人员
| 对比项 | 之前 / 基线 | 现在 / 本方案 | |
|---|---|---|---|
| 正确性保证 | 平均情况 | 最坏情况同一理论模型内比较 | |
| 均衡概念 | 较弱均衡 | 更强均衡 | |
| 协议复杂度 | prover-estimator debate | FBS Debate 更简单作者称因此更易实际运行 |
作者 Zhiyang Xun 发布 arXiv 论文 2610.02557,提出新的 AI 辩论协议 FBS Debate。