EVL
AIME
Olympiad math
What this measures
The American Invitational Mathematics Examination — elite high-school competition problems with integer answers from 0–999. A favorite for measuring real reasoning models.
Sample
Find the number of ordered pairs of positive integers (a, b) such that a·b + 63 = 20·lcm(a,b) + 12·gcd(a,b).
Leaderboard · 99 models
Accuracy (% of problems solved exactly) — higher is betterBenchmark health
saturatingTop models cluster near the ceiling — differences here are getting too small to mean much. Weight newer, harder benchmarks more.
96.4
top-10 mean
99
best
99
models
Research using this benchmark
all →Weak-to-Strong Generalization via Direct On-Policy DistillationVibeThinker-3B: Exploring the Frontier of Verifiable Reasoning in Small Language ModelsKVarN: Variance-Normalized KV-Cache Quantization Mitigates Error Accumulation in Reasoning TasksStale but Stable: Staleness-Adaptive Trust Regions for Stabilizing Asynchronous Reinforcement LearningShare More, Search Less: Collaborative Parallel Thinking for Efficient Test-Time Scaling
Matched by name in title/abstract.