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 →VibeThinker-3B: Exploring the Frontier of Verifiable Reasoning in Small Language ModelsKVarN: Variance-Normalized KV-Cache Quantization Mitigates Error Accumulation in Reasoning TasksShare More, Search Less: Collaborative Parallel Thinking for Efficient Test-Time ScalingSmaller Models are Natural Explorers for Policy-Level Diversity in GRPOLoMo: Local Modality Substitution for Deeper Vision-Language Fusion
Matched by name in title/abstract.