Formal Limits of Verification and Self-Improvement in Agents
October 9, 2026
This paper provides a theoretical framework for comparing agentic improvement mechanisms like search duration and verification protocols. It uses bounded verification with hidden randomness to prove that independent majority amplification preserves language classes while existential acceptance over random tapes may introduce errors.
HOW THIS AFFECTS YOU
●
researcherYou can use these complexity bounds to understand the fundamental limits of agentic self-improvement.
●
policyThis research highlights the inherent risks of allowing agents to accept outputs based on random verifiers.