Maxproof

MaxProof, a new framework for mathematical proof generation, achieves human gold-medal performance on the IMO 2025 (35/42) and USAMO 2026 (36/42) by combining proof generation, verification, and repair capabilities trained with a low-error verifier. At test time, the system searches over a population of candidate proofs using tournament selection to identify the best solution, demonstrating effective population-level scaling for competition-level mathematics.