IneqMath: leaderboard
Olympiad-level inequality proof benchmark evaluating both final-answer correctness and step-wise reasoning soundness for chat and reasoning LLMs.
Metric: Overall Accuracy (self-reported). Source: benchmarklist.com. Status: saturated. 42 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | GPT-5 | 47 |
| 2 | O3 Pro | 46 |
| 3 | O3 | 37 |
| 4 | GPT-5 Mini | 30.5 |
| 5 | O4 Mini | 15.5 |
| 6 | DeepSeek R1 0528 | 9.5 |
| 7 | O3 Mini | 9.5 |
| 8 | Kimi K2 | 9 |
| 9 | O1 | 8 |
| 10 | DeepSeek V3 (0324) | 7 |
| 11 | Qwen 3 4B | 5.5 |
| 12 | Grok 3 | 3.5 |
| 13 | GPT-4o | 3 |
| 14 | Gemini 2.0 Flash | 3 |
| 15 | Qwen 2.5 7B | 3 |
Interactive version: theaggregate.ai/benchmark?slug=ineqmath · How It Works · Data refreshed daily, snapshot 2026-09-05.