LLM智能体逐动作授权无法组合：CAF概念与AL-SYNTH工具

2026年10月21日，一项arXiv cs.AI领域研究发现，LLM智能体的逐动作授权无法组合成全局授权，局部许可的执行可能违反跨意图、目的等全局策略。 研究提出组合式授权失败（CAF）概念，证明关系性目的违规属于二阶安全超性质，无单轨迹归因点，现有六种护栏均未实现跨执行监控。作者随后提出基于SAT/SMT综合器AL-SYNTH生成最小CAF见证。 评估显示，九种LLM在单轨迹视角下几乎全部误许合成见证，但在双执行共同展示时能识别违规，表明组合性授权需跨执行视角才能有效保障安全。

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

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