Agentic Transaction: Towards ACID-Compliant Agent Systems 精读
清华大学Guoliang Li数据库组提出“智能体事务”概念——把数据库五十年的ACID正确性理论重释为agent执行语义:原子性=置信度引导的原子语义事务单元(探索→只读执行→append-only执行→一致性校验→提交/重试)、一致性=置信度驱动的证据整合、隔离性=依赖感知的子agent隔离调优(独立/协作/竞争三档)、持久性=仅追加工作区记忆演化。配套开源ACID-Agent框架并给出面向agent全生命周期的开放问题清单。这是“用数据库理论为agent可靠性提供形式化骨架”的问题定义级工作——把agent失败从“提示工程问题”重新定义为“正确性问题”。