AI Agent的"提案"不等于"落地":谁来验证它真的改变了世界?
LLM Agent可以提出并执行动作,但从"提案"到"权威授权"到"派发执行"到"验证外部效果"再到"服务上线",这条链路上每一步都可能断裂。现实中,Agent说它完成了退款,但支付网关可能根本没收到指令;Agent说它更新了库存,但仓库系统可能仍显示旧数据。这篇论文提出了Praxa——一个"证据绑定"的Agent执行框架,核心思想是:Agent的每一个动作都必须携带可验证的外部效果证据,没有证据的动作不允许进入下一环节。Praxa将提案、授权、派发、效果验证和服务推广这五个阶段解耦,并在每个阶段之间设置证据检查点。作者在多个企业级场景中验证了该框架,发现它能将"幽灵执行"(Agent声称完成但实际未生效)的比例降低一个数量级。这可能是Agent从 demo 走向生产环境的关键基础设施。
From Proposal to Verified Effect: Praxa, an Evidence-Bound Harness for Governed AI Agent Execution
Large-language-model agents can propose and execute actions, but proposal, authority, dispatch, verified external effect, and serving promotion are di