arXiv · cs.AI· Carlo Ciliberto·· 6 天前AI 评分51
Carlo Ciliberto 提出 Proof-Carrying Contracts 框架，用机器可验证证明约束 AI 智能体行为
Proof-Carrying Contracts: Commitments AI Agents Cannot Break
来源与原文
arXiv · cs.AI
作者：Carlo Ciliberto
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.28484v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
Carlo Ciliberto 在 arXiv 发布论文，提出 Proof-Carrying Contracts（PC2）框架，要求智能体在执行操作前提交机器可验证的证明，说明该操作在其模型允许的所有情况下都保留约定约束。名为 Airlock 的执行系统负责检验证明并控制访问，论文证明了约束在执行全程每个时刻都成立，即使智能体是对抗性的，并提供可复用能力模块用于构建合约。
来源：arXiv · cs.AI · arxiv.org