evolutionary search
2 published articles
AI5 min read
Mathematical Reasoning
The M3 team found a way to stop AI math verifiers from cheating, and it's a blueprint for every lab
M3's approach to mathematical reasoning combines three expert models, Proof, Verifier, and Fixed, with an evolutionary search framework. The account offers rare detail on reward hacking, verifier alignment, and the engineering required to make generative verifiers reliable in high-stakes reasoning tasks.
2026-07-11
AI6 min read
AI Research
How maxproof turns generative verifiers into a proof revolution engine
MaxProof is a test-time scaling framework that models mathematical proof generation as an evolutionary search process. By combining Proof RL, verifier alignment, and refinement augmentation, it turns unreliable generative verification into a trustworthy reward system for training and inference.
2026-07-05