Verification Won’t Keep Up With Smarter Coding Agents
As code‑generating models get better, checking their output becomes the bottleneck. The paper shows that any fixed verification‑based reward will eventually fail, because intent is underspecified and proxies degrade, forcing reward design to evolve alongside generators.