标签
该论文提出一个理论框架，通过带隐藏终端随机性的有界验证来分析搜索、支持与检查器变化如何影响 Agentic AI 系统可接受的任务集合，并证明了独立多数放大、随机化验证器类的复杂度包含关系，以及在统一有界自修改下递归自我改进仍停留在同一验证类内的结论。