Gemini 4 Carbon just claimed first place on MathArena — the most widely cited public benchmark for mathematical reasoning, dethroning GPT-6.1 Sol. It’s the first non-OpenAI model to top the leaderboard in months. Claude Fable 5.2 landed second. Neither OpenAI’s latest models nor their reported Navier-Stokes breakthroughs are publicly accessible yet, so they don’t appear on the live leaderboard at all.
MathArena scores measure correctness and reasoning depth on problems ranging from Olympiad-level algebra to formal theorem proving. Gemini 4 Carbon’s win is real. But it comes with a hard trade-off: cost. At the reasoning settings used in the test, Gemini 4 Carbon runs at roughly 15× the inference cost of GPT-6.1 Sol.
Fable 5.2 is even steeper, about 40× more expensive per query. That gap isn’t theoretical. It’s what developers would pay today, in real dollars, to run those models at scale. The Decoder notes Gemini 4 Carbon’s most frequent failure mode isn’t wrong answers, it’s timing out.




Be the first to comment
Join the argument. No password, just your email or a passkey.