cd/entity/USAMO· home› entities› USAMO
grep -l @usamo /news/*.json | wc -l → 2

USAMO

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

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…

00:00
2026-06-12
korbonits.com
large-language-models

Easier to Convince Than to Prove

A new paper from MiniMax, MaxProof, trains a model to write competition-math proofs and achieves high scores on IMO and USAMO problems, but a cross-verification experiment reveals that among proofs th…

// co-occurs with top 8 entities
MaxProof 2 IMO 2 MiniMax-M3 1 MiniMax 1 M3 1 Melanie Wood 1 DeepMind 1 GPT-5.5 1
// topics top 6 topics
large language models 2 ai research 2 machine learning 1 artificial intelligence 1 ai safety 1 generative ai 1