cd/entity/MaxProof· home› entities› MaxProof
grep -l @maxproof /news/*.json | wc -l → 1

@MaxProof

mentions 1 type Organization feed RSS
12:00
2026-06-12
arxiv.org
machine-learning

Maxproof

Researchers have developed MaxProof, a population-level test-time scaling framework for mathematical proof that enables the MiniMax-M3 model to achieve 35 out of 42 on IMO 2025 and 36 out of 42 on USA…

// co-occurs with top 3 entities
MiniMax-M3 1 IMO 1 USAMO 1