Verdict
o3 leads 17–3 across 20 shared benchmarks.
o3 17 · o4-mini 3 · higher isn't always better — check the caveats below.
Reported scores — protocols may differ. How we compare
Reasoning: o3 leads 5–0 across 5 shared reasoning benchmarks (largest gap: SimpleQA Verified, 53 vs 23.9 — single evaluator).
Math: Evenly split 1–1 across 2 shared math benchmarks (largest gap: OTIS Mock AIME 2024-2025, 84.43 vs 81.65 — single evaluator).
o3 leads 17–3 across 20 shared benchmarks. o3 leads 17 benchmarks and o4-mini leads 3. Higher isn't always better — see the integrity caveats on each benchmark.
o3 and o4-mini have 20 benchmarks in common in our data — those are the only rows where a direct, apples-to-apples comparison is drawn.
o3 leads reasoning 5–0.