Side-by-side benchmark comparison across knowledge, coding, math, and reasoning.
Grok 4 is clearly ahead on the aggregate, 74 to 33. The gap is large enough that you do not need to squint at the spreadsheet to see the difference.
Grok 4's sharpest advantage is in mathematics, where it averages 86.1 against 86. The single biggest benchmark swing on the page is GPQA, 86 to 79. o1-pro does hit back in knowledge, so the answer changes if that is the part of the workload you care about most.
o1-pro is the reasoning model in the pair, while Grok 4 is not. That usually helps on harder chain-of-thought-heavy tests, but it can also mean more latency and more token spend in real use. o1-pro gives you the larger context window at 200K, compared with 128K for Grok 4.
Pick Grok 4 if you want the stronger benchmark profile. o1-pro only becomes the better choice if knowledge is the priority or you need the larger 200K context window.
Grok 4
72
o1-pro
79
Grok 4
86.1
o1-pro
86
Grok 4 is ahead overall, 74 to 33. The biggest single separator in this matchup is GPQA, where the scores are 86 and 79.
o1-pro has the edge for knowledge tasks in this comparison, averaging 79 versus 72. Inside this category, GPQA is the benchmark that creates the most daylight between them.
Grok 4 has the edge for math in this comparison, averaging 86.1 versus 86. Inside this category, AIME 2024 is the benchmark that creates the most daylight between them.
Get notified when new models drop, benchmark scores change, or the leaderboard shifts. One email per week.
Free. No spam. Unsubscribe anytime. We only store derived location metadata for consent routing.