论文分析有限行动时间下 Agent 的安全保证边界

Leo Zeitler、Jack Richings 和 Victoria Nockles 研究部分可观测且必须在有限时间内行动的环境，提出即使是完美 Agent 也无法保证安全行为。作者通过无限状态空间和信号混合两种场景讨论与 Agent 无关的安全保证边界，并强调 AI 安全或对齐证明需要将环境及其安全行动具体纳入分析。基于论文摘要，具体证明形式与实验细节未说明。