Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?

该论文对ARC-AGI-3智能体的关键组件（可执行世界模型、简化机制、验证机制）进行了系统的消融归因研究，填补了此前端到端智能体设计缺乏组件级理解的空白。核心发现——可执行世界模型并非普遍有益、文本基线在某些设置下反而优于可执行变体、验证机制贡献最大但资源消耗显著——为后续ARC类智能体设计提供了清晰的经验指引。然而，论文结论局限于公开游戏集（饱和而非泛化），且ARC-AGI-3本身是特定评测基准，故对更广泛的AI行业格局影响有限。综合判定为局部竞争格局级别的贡献。

该论文通过系统消融实验归因了可执行世界建模、调度简化和精确回放验证在ARC-AGI-3上的贡献，为结构化Agent架构设计提供了稀缺的归因证据。核心发现——验证机制贡献最大但资源消耗极高、文本基线在某些设置下优于可执行变体——对Agent产品设计有直接指导意义。但长期复利价值受三个因素制约：一是公开集饱和而非泛化能力突破，作者明确声明不应过度解读；二是核心技术组件均为已知方法组合，无独占性壁垒；三是验证变体的极端资源消耗使其很难在成本敏感场景落地。该工作更可能作为方法论被整合进更大的Agent平台，而非自立为商业实体。