世界模型碎片：总代理结构认证

在大规模世界设定中，智能体不可能具有普遍的能力，他们的能力不可避免地在世界模型中是专业化的。因此，标准统一保证无法区分对关键瓶颈和不相关故障的理解。我们首先通过证明一般代理不是通用的，从而使标准的最坏情况分析缺乏信息来形式化这一限制。为了克服这个问题，我们引入了结构认证，这是一种局部转换框架，它将有界目标条件的性能映射到代理内部世界模型的入门保证。我们的主要贡献是建设性的。我们提供使用深层组合目标过滤特定转换的算法，并证明这些目标的通用代理具有 $\mathcal{O}(1/n) + \mathcal{O}(δ)$ 错误界限的结构世界模型。相反，在小 $δ$ 制度中，这个界限是严格的，我们的认证明确保证了其存在。这些结果通过本地化长期规划可靠的特定转换，实现了通用代理的可认证部署。