系统验证

研究人员提出Agentic Transaction Processing（ATP）事务模型，将AI生成的工作流动作视为“待验证提案”，通过确定性约束集检验后才可执行，显著提升生成式AI工作流的可靠性与安全性。