Which company has the best Math AI model end of July?

Platform comparison

Market context

Anthropic currently holds the top spot in the Chatbot Arena’s Math leaderboard with claude-opus-4-6-thinking at 1518 Elo, giving its parent company the strongest position for the July 2026 settlement [1]. The market prices this outcome at 49% YES, reflecting a tight contest where OpenAI’s GPT-5.4 trails by just 8 Elo points at 1502, a gap deemed statistically negligible for most tasks [3]. Math Elo has surged +172 points since tracking began, making it one of the fastest-improving categories and amplifying volatility in final rankings [1].

Historical leaderboard shifts show the top Arena Elo score gained +407 points over 39 months, averaging 10.4 points monthly, meaning a single late release could overturn the current lead [1]. Comparable cases in coding and general text arenas reveal that gaps under 10 Elo often flip within weeks due to model updates, so the 49% probability aligns with a near-even coin flip rather than a clear favourite [3].

Traders should monitor Anthropic’s and OpenAI’s release schedules for July, particularly any “thinking” or “fable” variant launches that target math reasoning. Recent composite quality indices show Claude Fable 5 leading overall, but Math-specific rankings remain dominated by the Opus variant, so a Sonnet or Fable update focused on math could shift the arena rank [2]. Dependencies include the official Chatbot Arena table check at 12:00 PM ET on 31 July 2026, with USDC settlement on Polygon via conditional tokens if the rank tie-breaker rules are triggered.

Sources: 1 · 2 · 3 · 4 · 5

Methodology

This page reviews Which company has the best Math AI model end of July? across five venues. The live probability is the Polymarket mid-price, sourced directly from the on-chain Polygon order book; the comparison columns benchmark each venue on fee structure, KYC, settlement currency and payment rails. Every CTA routes to Kalshi UK, which mirrors the Polymarket order book at 0% fees.

Resolution & payout

Settlement runs on-chain. Polymarket's contract logic separates YES and NO shares as conditional tokens; at resolution the winning share lifts to $1.00 and the losing one to $0. The outcome input comes from the UMA Optimistic Oracle, which secures against bad resolution with a bond + dispute window.

Once finalised, the smart contract pays USDC to the holders' wallets within minutes — no withdrawal fees beyond Polygon network gas. Kalshi settles in USD via CFTC clearance, Betfair in account currency net of commission, Manifold in play-money mana with no cash-out.

FAQ

Where can I trade this market with the lowest fees?

Polymarket is geo-blocked in the US/UK/EU. The easiest 0%-fee broker into the same order book is Kalshi UK. Kalshi charges up to 7% per trade; Betfair Exchange takes 2-5% commission on net winnings.

How does resolution work?

Through the UMA Optimistic Oracle on Polygon: a proposer submits the outcome, a two-hour challenge window opens, and USDC payouts settle automatically once the result is final.

What's the difference between YES and NO shares?

A YES share pays $1.00 if the event happens, $0 otherwise. A NO share pays $1.00 if the event doesn't happen. The market price between 0¢ and 100¢ is the implied probability.

What does Polymarket cost to trade?

Polymarket itself charges 0% — the only cost is the Polygon network fee, typically under $0.01 per transaction. Off-chain venues like Kalshi or Betfair charge 2-7% commission.

How reliable are the quoted odds?

The YES/NO percentages are the live mid-prices of the Polymarket order book. On deep markets they move every few seconds; on thinner ones you'll see short plateaus.