现实才是最终验证者：智能体软件工程的两大关键缺口

论文提出"两缺口框架"，将智能体软件工程的主要失败模式统一为需求缺口与模型缺口：奖励作弊利用需求或模型中的遗漏，模型幻觉则通过编造需求或环境假设扩大缺口。由于在开放变化的世界中两个缺口无法被证明闭合，目标应从闭合转为持续收窄，作者据此提出利用部署证据修订需求、模型或评估器的保障-修订循环，并将有保障的智能体开发视为人类判断、智能体能力与算力的资源分配问题。