论文研究不依赖两个能力相当、且至少一方诚实的 AI 辩手，能否用单证明者交互式证明验证强模型输出。作者针对带预言机的计算提出双重高效证明与论证，在鲁棒预言机或低次多项式预言机条件下，说明交互式验证可在无辩论场景中成立。
最近 24 小时暂无可用热度快照。