PAP 论文提出将责任边界作为显式编程抽象

Khadim Lo 等在 arXiv 发布论文，提出概率智能体编程（PAP），将智能体系统的责任边界作为显式编程抽象，连接授权、权力、效果与证据，并通过中介内核在工具执行前进行形式化检查、操作级审批与资源限制。论文称，在守卫正确且中介完备的前提下，归纳证明可对任意模型响应建立条件安全；其人工检查点释放程序延续，操作级审批则仍是内核的独立契约。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。