CMU提出可验证Agent保险机制
热点事件持续更新
CMU提出可验证Agent保险机制
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
卡内基梅隆大学发表论文，提出可验证智能体保险（VAI）框架：提供商在区块链上存入押金并承诺可程序化检查的规则，由中立验证器比对工具调用日志与链上哈希，违规时用押金赔付用户。 作者在 3 个基准的 696 次违规运行中测试该机制，检查器仅能证明 42.2% 的违规，常见失败原因是审批只存在于聊天文本中。作者称，若智能体显式发出结构化审批记录，可证明比例估计提升至 83.0%，每会话区块链费用低于 1 美分。 据该论文，OpenClaw 的日志使 4 起策略违规中 0 起可被证明。
AI 根据报道生成 · 59 分钟前更新
最新进展10月14日 22:12
卡内基梅隆论文：智能体日志难以证明违规，提出可验证智能体保险框架报道时间线
沿着报道，了解事件的不同侧面。
10月14日
- Rohan Paul卡内基梅隆论文：智能体日志难以证明违规，提出可验证智能体保险框架
卡内基梅隆论文提出可验证智能体保险（VAI），提供商在区块链上存入押金并承诺可程序化检查的规则，中立验证器比对工具调用日志与链上哈希，违规时用押金赔付用户。在 3 个基准的 696 次违规运行中，检查器证明了 42.2%，常因审批只存在于聊天文本而失败；若智能体显式发出结构化审批记录，作者估计可提升至 83.0%，每会话区块链费用低于 1 美分。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。