arXiv cs.AI· Chien-Ping Lu·· 9 天前AI 评分22
Agentic AI 的验证与自我改进：基础与边界
Verification and Self-Improvement in Agentic AI: Foundations and Limits
AI 导读
研究提出用有界验证框架区分 Agentic AI 系统性能提升的不同机制，将阶段定义为可接受转录、多项式界、交替验证协议与终端检查器的组合。在均匀逐点概率间隔与任务相对可靠性下，独立多数放大可保持原生可达与闭包前沿两类语言，而随机磁带上的存在性接受可能引入错误输出。递归自我改进中，在共同可靠解释器与固定验证协议下的一致有界自我修改仍处于同一验证类，另设条件误差预算控制自适应候选选择中的误选。
正文 · AI 翻译
摘要：智能体 AI 系统可以通过更长时间搜索、获得额外支持，或修改其提出和验证输出的方式来改进。性能分数无法区分这些机制。我们通过带有隐藏终端随机性的有界验证来比较这些变化。一个阶段规定了可接受的记录、多项式界、交替验证协议和终端检查器。其原生可达范围使用默认支持；其闭包前沿允许接口已接纳的所有支持。在一致逐点概率差距和任务相对可靠性下，这些是定义良好的语言。我们证明，独立多数放大保持这两种语言不变，而对随机带的存在性接受可能接纳不正确的输出。精确验证是零随机性情形，具有放置和完备性结果。随机验证者类满足 $\Sigma_k^{\mathrm{P}}\subseteq\Sigma_k^{\mathrm{RV}}\subseteq\Sigma_{k+1}^{\mathrm{P}}$；严格扩大和深度分离需要显式的复杂性假设，而 $\mathrm{BPP}=\mathrm{P}$ 产生具有相同前沿的精确伴随类。表示分析将不变接受与可能在重构下发生变化的核心与支持标签区分开来。对于递归自我改进，在共同可靠解释器和固定验证协议下的均匀有界自我修改仍处于同一验证类中。单独的条件误差预算控制跨自适应选择候选的假选择。一个配额强制 XOR 合成族将搜索成功的无界比率与接受语言的变化分离开来；精确和概率审计检查由此产生的证据要求。该框架将自我改进主张与正确性、可接受证据、验证资源和选择误差方面的义务联系起来。
| 评论： | 26 页，5 幅图。包含证明和可复现性工件 |
| 主题： | 人工智能（cs.AI）；计算复杂性（cs.CC） |
| 引用为： | arXiv:2610.10611 [cs.AI] |
| （或 arXiv:2610.10611v1 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.10611 由 DataCite 颁发的 arXiv DOI |
提交历史
来自：Chien-Ping Lu [查看电子邮件]
[v1]
2026 年 10 月 7 日星期三 06:47:49 UTC（90 KB）
来源：arXiv cs.AI · arxiv.org