arXiv · cs.AI· Ziyi Guan·· 16 小时前AI 评分47
通过回滚实现高效可扩展监督：可回滚交互式证明（RIP）
Efficient Scalable Oversight via Rewinding
来源与原文
arXiv · cs.AI
作者：Ziyi Guan
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.40535v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
研究提出可回滚交互式证明（RIP），一种用于可扩展监督的新型相对化交互证明模型：验证者可将 AI prover 回滚到交互早期状态再继续。该构造不假设诚实 prover，也不使用密码学，诚实 prover 运行时间为原计算线性，验证者经一次性预处理后时间近线性于输入长度。作者实现了协议并报告初步 MNIST 实验，显示 RIP 可快于一个 SOTA 部署证明系统。
来源：arXiv · cs.AI · arxiv.org