Verification - Repair - Elimination: this evolutionary search is much smarter than brute-force parameter stacking, and the performance of MiniMax-M3 truly holds up.

View Original
CoinNetwork
MiniMax open-source mathematical proof framework MaxProof, using evolutionary search to push M3 over the gold medal line
CryptoWorld News, MaxProof has open-sourced and published a technical paper, presenting a testing framework for large model mathematical proofs. It transforms the reasoning phase of proofs into an evolutionary search system, relying on verification, repair, and elimination to achieve reasoning expansion. Under this framework, MiniMax-M3 scored 35 and 36 on the IMO 2025 and USAMO 2026 test sets respectively, reaching the gold medal threshold. Its proof capability is more robust due to the integration of generation, verification, and repair abilities.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Reward
  • Comment
  • Repost
  • Share
Comment
Add a comment
Add a comment
No comments
  • Pinned