A Relative-Computability Theory of Self-Improving Agents.

arXiv:2605.27381v4 Announce Type: replace-cross Abstract: Self-improving agents can acquire a procedure without knowing when its supporting teacher can safely be removed. We extend an oracle-relative model of evolving agents with explicit acquisition and compl