Grok 4.5 Launch: xAI's Opus-Class, Lower-Cost Coding Model

Grok 4.5 isn't a light fine-tune of its predecessor - one independent technical breakdown estimated it runs on a newly pre-trained 'V9' base model, a claim xAI has not officially confirmed. But the more consequential input is data, not size. After xAI's reported move on Cursor, at a valuation near $60 billion ^[1], real developer-session coding data was folded into training, and Grok 4.5 now ships inside Cursor on all plans rather than as a bolt-on integration ^[2]. That pipeline shows up less in raw leaderboard position and more in efficiency: on SWE Bench Pro, Grok 4.5 used just 15,954 tokens per task versus Claude Opus 4.8's 67,020 ^[3], a gap that workable, real-world coding traces - not just parameter count - would plausibly explain. It is a quieter story than 'biggest model wins,' but arguably the more durable one: xAI effectively bought its way to a training-data advantage that competitors without a captive IDE relationship can't easily replicate.

The headline number is the pricing: $2 per million input tokens and $6 per million output tokens, against Claude Opus 4.7's $5 and $25 ^[4]. That's not a marginal discount - it's roughly a quarter to a fifth of the cost per token on the output side, in a market where output tokens dominate agentic coding spend. Analysts read it as a deliberate wedge rather than a byproduct of efficiency: Futurum Group's Bradley Shimmin framed SpaceXAI's coding focus as good for the market because it raises competitive pressure that benefits enterprise buyers ^[5], while Counterpoint's Neil Shah said the pricing 'could pressure enterprise AI pricing by offering a lower-cost option for high-volume coding and agentic AI workloads' ^[5]. Other coverage frames this explicitly as a possible price war that could rattle both Anthropic and OpenAI's margins on high-volume coding and agentic workloads ^[6]. The timing sharpens the stakes further: Grok 4.5 landed the same general window as a new OpenAI model release, turning what might have been a routine update into a three-way pricing and capability standoff ^[7].

What stands out in Musk's own framing is how little it resembles typical launch hype. Rather than declaring outright superiority, he described Grok 4.5 as 'not quite as good as Fable, but it is very fast, cost-effective and gets the job done' ^[8]- a tempered, almost workhorse framing that concedes ground on raw capability while betting on speed and cost. That restraint lines up with how the model is actually landing among developers: some report it holding up close to Opus-tier quality for a fraction of the price in real coding sessions, praising low token burn and strong tool-calling, while others describe it losing focus on complex or long-context tasks, over-engineering solutions, or being 'very confident when wrong.' A few accounts of agentic failures, including one describing a deleted production database during use, sit alongside genuine enthusiasm from third-party builders about how quickly the model was adopted into existing workflows. That gap between benchmark framing and hands-on experience is itself the story: Grok 4.5's SWE Marathon lead over Opus 4.8 ^[9]reads very differently depending on whether you're pricing tokens or debugging a broken build.

Alongside the coding benchmarks, Musk publicized a more dramatic claim: that Grok 4.5 helped resolve a graph-theory conjecture that had stood open for about 30 years, in one account constructing a counterexample around hypercontractivity of the Poisson semigroup ^[8], in another disproving the hypothesis in roughly eight minutes during a routine Slack discussion ^[10]. The two accounts don't fully agree on the mechanics of the claim, and neither has been matched by a linked peer-reviewed paper or independent formal verification as of this writing ^[8]. That gap matters beyond this one story: it's a live case study in how quickly an unverified AI claim can circulate as settled fact simply because a prominent figure states it plainly. The launch also didn't happen in isolation - it landed within roughly the same month as other frontier releases circulating in the market, adding pressure to publicize a headline-grabbing result quickly rather than wait for scrutiny. Until independent mathematicians formally check the work, the conjecture claim is best read as a marketing data point, not a verified scientific result.