Whatever Happened to Test-Time Scaling? Problems Needing pass@8192 Now Solve One-Shot

marc_lelarge · x · 2026-10-15

Marc Largouët asks what happened to test-time scaling: a year ago the field used absurdly large pass@k sampling on problems that models now one-shot. His attached table shows whole-proof generation results like DeepSeek-Prover-V2 (CoT, 671B) reaching 88.9% at pass@8192 and Kimina-Prover-Preview (72B) at 80.74%. He floats several possibilities: is test-time scaling still used in practice, was it mainly a way to mine better training data for new models, or was it never really used at all — just burning tokens?

Original post →

More from Models

Models channel →