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

Platform comparison

Market context

The market bets on which firm will hold the top spot on the Chatbot Arena’s Math leaderboard when checked on 31 July 2026. Current data shows Anthropic’s claude-opus-4-6-thinking leading the Math category with an Elo of 1518, while the crowd assigns a 49% implied probability to the “YES” outcome, though Polymarket’s own page lists Anthropic at 64% and Google at 30% [1][2].

Historical leaderboard shifts reveal rapid Elo gains in math, which has climbed +172 points since tracking began, averaging faster improvement than most categories [2]. Past cycles show that a 8–10 Elo lead can be erased within weeks if a rival releases a thinking-mode variant; for example, GPT-5.4 briefly overtook Claude Opus 4.6 by 8 points in April 2026 before the gap narrowed [4]. This volatility suggests the current 49% probability may understate the risk of a late July release from Google or OpenAI.

Traders should monitor Anthropic’s release schedule for a potential Opus 4.7 update and Google’s Gemini 3.1 Pro roadmap, as both firms have previously used “thinking” architectures to jump math rankings [2][4]. A recent industry report notes that platform stability and agentic orchestration now matter more than raw Elo for developers, which could shift leaderboard weight if the Math tab incorporates agentic benchmarks [4]. On Polymarket, odds are shown as implied probability (49%), whereas Kalshi uses decimal odds and Betfair/Smarkets apply a fee structure that can alter effective payouts; KYC requirements also diverge, with Kalshi enforcing stricter identity checks than Polymarket’s global access.

Sources: 1 · 2 · 3 · 4 · 5

Methodology

We read Which company has the best Math AI model end of July? from four platform perspectives: Polymarket (on-chain CLOB), Kalshi (CFTC-regulated exchange), Betfair Exchange (sports book exchange), Smarkets (peer-to-peer betting exchange). Polymarket's live mid is the canonical probability; the side-by-side columns benchmark fees, KYC, settlement currency and deposit rails so you can choose the venue that fits your jurisdiction and trade size.

Resolution & payout

Settlement is the biggest difference between the four platforms: Polymarket on-chain in USDC (instant), Kalshi USD via CFTC (T+1), Betfair and Smarkets in local currency via bank withdrawal (T+1 to T+3). On-chain settlement clears in minutes — the fastest payout path of the four.

FAQ

Polymarket vs Kalshi — which is better?

Depends on your location. Kalshi is CFTC-regulated, US-only with full KYC. Polymarket is global, on-chain, no KYC up to $1,500. Polymarket has ~10x higher liquidity but higher regulatory risk.

What does Polymarket cost vs Kalshi?

Polymarket: 0% fees, only Polygon network costs (~$0.01/trade). Kalshi: up to 7% per trade plus spread. For high-frequency traders, Polymarket is dramatically cheaper.

Is Betfair a Polymarket alternative?

Only partially. Betfair Exchange is UK-focused with a sports-betting emphasis; they have politics markets but with thinner liquidity than Polymarket. Settlement in GBP/EUR, 2-5% commission on winnings.

What about Smarkets as an alternative?

Smarkets is a UK betting exchange with a lower default commission (2%) than Betfair. Liquidity on political markets is below Polymarket, comparable to Kalshi. Geo-blocked in many jurisdictions.

Are all these platforms regulated?

No. Kalshi is CFTC-regulated (US). Betfair and Smarkets are UK Gambling Commission licensed. Polymarket operates without explicit regulation — a different risk profile than a regulated sportsbook.