#交互式证明

一帮研究者给 AI 监管想了个新招：验证器能把 AI 回滚到之前状态反复盘问，不需要“有一个 AI 说真话”的假设，还比现有证明系统跑得快。