论文：LLM 安全监控的监督缺口并非能力问题
The Oversight Gap: What LLM Safety Monitors Miss, and Why It Is Not Capability
AI 导读
论文指出跨租户不干扰、故意藏拙和评测感知等安全监控属性属于 2-safety 超属性，单条执行轨迹无法判定，作者用测量替代二元不可判定性，给出单轨迹监控器平衡准确率的上界 1/2+1/2·TV(P0,P1)，并定义监督缺口为监控器低于该上界的差距。在 TV 有闭式解的泄露族上，九个 LLM 监控器在 TV=0 时最优，但随 TV 增大捕获信号很少，TV=1 时平均仅 60.9%，而一段 20 行成员检查可达 100%。