自我改进智能体的相对可计算性理论：区分能力获取与独立性认证

一篇 31 页论文提出自我改进智能体的相对可计算性理论，用显式的获取与完成契约把“学会求解器”和“认证其已脱离教师”分开。对已知有限维布尔特征语言，带守卫的协议可在保证以最优教师调用次数完成的同时允许修改查询提议者，所得求解器无需教师即可回答所有输入。核心障碍在于完成规格无法从任意全程序中被基线有效过程统一提取，即使只有一个特征维度或两个候选描述。