mlsanityData to 14 Oct 2026

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

arXiv 2606.13473 ↗First posted 11 Jun 2026cs.LG cs.AI cs.CLcited by 4

On the map: LLM reasoning → Mathematical reasoning

Abstract (arXiv)

We present MaxProof, a population-level test-time scaling framework for competition-level mathematical proof in the MiniMax-M3 series. M3 first trains three proof-oriented capabilities -- proof generation, proof verification, and critique-conditioned proof repair -- using a defense-in-depth generative verifier engineered for low false-positive rate. These capabilities are merged into a single released M3 model. At test time, MaxProof treats the model as a generator, verifier, refiner, and ranker, searches over a population of candidate proofs, and returns one final proof through tournament selection. With MaxProof test-time scaling, the M3 model reaches 35/42 on IMO 2025 and 36/42 on USAMO 2026, exceeding the human gold-medal threshold on both.

Key facts. Cited by 4 papers in the map (data through 14 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 5 of its 44 references that are in the map. First posted on arXiv 11 Jun 2026.

Builds on

5 of 44 references.

Closest ancestors · 2

Same direction, newest first

  1. 2026Achieving Gold-Medal-Level Olympiad Reasoning via Simple and Unified Scaling13 May
  2. 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models5 Feb

Other references · 3

  1. 2024Large Language Monkeys: Scaling Inference Compute with Repeated Samplingcited by 991
  2. 2026GLM-5: from Vibe Coding to Agentic Engineeringcited by 587
  3. 2025Kimi K2: Open Agentic Intelligencecited by 567

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 4.

4 papers.

  1. 2026Autonomous Research Agents: A Survey of AI Scientists and the Verification Gapcited by 9
  2. 2026SimpleOPD: Simple Tokenizer-Agnostic On-Policy Distillation for Long-Context Reasoningcited by 6
  3. 2026Theoretical Foundations of max@k Reinforcement Learningcited by 0
  4. 2026Self-Evolving Algorithm-Design Agents: Escaping In-Context Evolutionary Stagnation via Population-Curated Policy Optimizationcited by 0

Similar, not cited

Close in wording, no citation either way

  1. 2025Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection
  2. 2025EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
  3. 2026AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
  4. 2026Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization
  5. 2026TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science
  6. 2026Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness
  7. 2026V1: Unifying Generation and Self-Verification for Parallel Reasoners
  8. 2025Variation in Verification: Understanding Verification Dynamics in Large Language Models