AI 监督能否实现零知识？

针对 AI 基于机密数据（如医疗记录、药物分子结构）生成输出的场景，近期研究通过交互式证明与辩论来验证 oracle 辅助计算的正确性，其中正确性可能依赖人类判断、物理实验或网络等 oracle。这些工作聚焦于验证者运行速度远快于证明者的验证方式。