Category Score V3 leaderboard
LMSpeed Best Models for Math
Compare the best AI models for math across foundational, competition, proof, and tool-assisted mathematics benchmarks, with raw results shown beside the LMSpeed category estimate.
Methodology 3.0
Current answer
No model currently meets the formal ranking rules. The table has 86 Estimated models and 14 Provisional models. They are useful signals, but they are not formal ranks.
Rankings can change when data or methods change. The run date appears above.
Available leaderboard data
- Models shown
- 100
- Formally ranked models
- 0
- Benchmark columns
- 14
- Dimensions with evidence
- 4/4