研究者提出可回溯交互证明RIP模型用于可扩展监督

Ziyi Guan 等在 arXiv 发布论文，提出可回溯交互式证明（RIP），一种用于可扩展监督的相对化交互证明新模型：验证者可将 AI prover 回滚到交互早期状态再继续，以实现高效监督。该构造不假设诚实 prover，也不使用密码学；作者称诚实 prover 运行时间为原计算的线性，验证者经一次性预处理后时间近线性于输入长度。作者实现了该协议并报告初步 MNIST 实验，称 RIP 可快于一个 SOTA 部署证明系统。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。