MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
From Daily Paper Cast by Jingwen Liang, Gengyu Wang
June 13, 2026 · 24 min · Episode 1961
About this episode
This episode discusses MaxProof, a framework for scaling mathematical proof using generative-verifier reinforcement learning.
🤗 Upvotes: 69 | cs.LG, cs.AI, cs.CL Authors: Jiacheng Chen, Xinyu Zhang, Shunkai Zhang, Yanmohan Wang, Lin Li, Tiancheng Qin, Qin Wang, Zhengmao Zhu, Tianle Li, Jingyang Li, Zehan Li, Binyang Jiang, Jin Zhu, Han Ding, Fei Yu, Chenyu Du, Zijian Song, Jiayuan Song, Zhi Zhang, Yunan Huang, Weiyu Cheng, Pengyu Zhao, Yu Cheng Title: MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling Arxiv: http://arxiv.org/abs/2606.13473v1 Abstract: 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…
People in this episode
Hosts: Jingwen Liang, Gengyu Wang
Topics covered
- mathematical proof
- generative verification
- test-time scaling
- artificial intelligence
- machine learning
- competition-level performance
Keywords
- MaxProof
- mathematical proof
- generative-verifier
- reinforcement learning
- population-level scaling
- M3 model
- IMO 2025
- USAMO 2026
More episodes of Daily Paper Cast
- EvoArena: Tracking Memory Evolution for Robust LLM Agents in Dynamic Environments · June 13, 2026 · 24 min
- MiniMax Sparse Attention · June 13, 2026 · 26 min
- SpatialClaw: Rethinking Action Interface for Agentic Spatial Reasoning · June 13, 2026 · 23 min
- InterleaveThinker: Reinforcing Agentic Interleaved Generation · June 13, 2026 · 21 min
- FORT-Searcher: Synthesizing Shortcut-Resistant Search Tasks for Training Deep Search Agents · June 13, 2026 · 23 min
- Robust-U1: Can MLLMs Self-Recover Corrupted Visual Content for Robust Understanding? · June 13, 2026 · 20 min
Explore listener stats, chart rankings, contacts and more on the Daily Paper Cast podcast page.