Updated daily at 05:00 UTC
Benchmarks
Mathematics
Competition and research mathematics, scored on final answers or on graded proofs.
How the score works
A model's score is built only from results that someone other than its maker ran.
- The scoring set is the benchmarks chosen for this specialty. A benchmark takes part only when at least 5 models have an independent or third-party result on it.
- Each result is rescaled to 0 to 1, and a model's best setting counts.
- The score is the average over the benchmarks a model has, times 100.
- A model ranks only when it has results on enough of them. The rest show "Not enough independent results yet".
- Self-reported results are shown but never counted.
Method: category-2026-09-29.1
Scoring set and effective set
Scoring set: FrontierMath Erdős, MathArena (ArXivMath, BrokenArXiv, ArXivLean).
Effective set (used for the score today): none yet.
- FrontierMath Erdős: no importable independent results yet
- MathArena (ArXivMath, BrokenArXiv, ArXivLean): no importable independent results yet
All benchmarks
- AIME 2025/2026 (MathArena)SupersededSaturated0 results
- FrontierMath ErdősActiveHeadroomCounts toward the score0 results
- FrontierMath Tier 4ActiveSaturated63 results
- FrontierMath Tier 4 (v1)SupersededHeadroom61 results
- FrontierMath Tiers 1-3ActiveSaturated108 results
- FrontierMath Tiers 1-3 (v1)SupersededSaturated94 results
- GSM8KUnmaintainedSaturated88 results
- IMO-ProofBench (Advanced)ActiveSaturated0 results
- MATH Level 5ActiveSaturated106 results
- MathArena (ArXivMath, BrokenArXiv, ArXivLean)ActiveNear-ceilingCounts toward the score0 results
- OTIS Mock AIME 2024-2025ActiveSaturated281 results
- ProofBench (Vals AI, FormalProofBench)ActiveSaturated0 results