论文提出自我改进智能体的相对可计算性理论

Chien-Ping Lu 发布修订版论文（arXiv:2605.27381 v4），提出自我改进智能体的相对可计算性理论：通过获取契约与完成契约，区分“学会求解器”与“证明其可脱离教师独立工作”。 论文称受保护协议保证以最优教师调用次数完成学习，所得求解器可在无教师情况下回答所有输入并停留在基线可计算层；但完成规范无法从任意全程序中统一提取，即使单个特征维度与两个候选描述也不行。工作包含受控实验与部分 Lean 形式化，并附可复现研究工件和未完成的形式化义务。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。