M3
3 published articles
AIFeatured3 min read
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
AI2 min read
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
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