新 AI 辩论协议实现实例级最优：最坏情况正确且诚实为占优策略

研究者提出一种新的 AI 辩论协议，用于在监督有限的情况下判断复杂问题的解是否正确。相比此前仅对具有稳定子问题分解的问题在平均情况下成立的协议，新协议在若干方面有所改进：正确性在最坏情况下成立，诚实且正确对双方辩手构成占优策略均衡，而非 Stackelberg 均衡。作者还证明了黑盒下界，表明在只对人类判断做黑盒查询的前提下，该协议对这类问题是实例级最优的。这些结果通过将稳定问题分解与查询复杂度中的分数块敏感度概念联系起来得到。