M3
5 published articles
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
AI Labs & Research
MiniMax's M3 just wrote its own CUDA kernel, and opened the code
MiniMax M3 scores 83.5 on BrowseComp, edges past Opus 4.7, and handles up to 1M tokens natively. In a remarkable autonomy test, it self-optimized a GPU kernel from 7.6% to 71.3% peak utilization without human intervention.
2026-07-09
Artificial Intelligence
MiniMax's product blitz: new models for code, music, and video in one broad refresh
Chinese AI startup MiniMax launches MiniMax M3, Hailuo 2.3, MiniMax Code, and new speech/music models, broadening its product lineup in a competitive landscape.
2026-07-06
Artificial Intelligence
MiniMax M3 broke the open-weight ceiling with a 9.4x CUDA speedup and zero human help
MiniMax M3 delivers a 9.4x CUDA kernel speedup, beats Opus 4.7 on BrowseComp, and autonomously replicated an ICLR paper. All in an open-weight package.
2026-07-06
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