Proof-Carrying Contracts（PC2）：AI 智能体无法违背的承诺框架

一篇 arXiv 论文提出 Proof-Carrying Contracts（PC2）框架，让 AI 智能体在执行操作前必须提供机器可验证的证明，表明其行为始终符合约定约束。名为 Airlock 的执行系统负责检验证明并控制操作访问，论文证明即使面对对抗性智能体，约束在执行全程也成立，并提供可复用的能力模块供构建合约。