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

Platform comparison

Market context

The market resolves on which firm owns the top-ranked math model in the Chatbot Arena leaderboard as of 31 July 2026, with Anthropic currently holding an 80% crowd-implied lead against Google’s 13% [1]. Historical data shows the Arena math Elo has climbed +172 points since tracking began, averaging rapid monthly gains that make the category one of the fastest-improving benchmarks in LLM evaluation [2]. At present, Anthropic’s claude-opus-4-6-thinking leads the math sub-arena with 1518 Elo, while coding and general reasoning remain tightly contested between Anthropic and OpenAI’s GPT-5.4 Pro [2][4]. This 49% YES probability likely reflects uncertainty over whether Anthropic will maintain its math lead through July 2026, given that model rankings can shift quickly with new releases and arena re-calibrations.

Traders should monitor Anthropic’s release schedule for any Opus 4.7 or Sonnet variants targeting mathematical reasoning, as well as Google’s Gemini 3.1 Pro updates, which have shown strength in coding-arena play [5]. A key dependency is the stability of the LMSys Arena leaderboard itself; any changes to Elo calculation methodology or style-control defaults could alter final rankings [8]. Recent reports note that while GPT-5.4 Pro leads in general reasoning, Anthropic still dominates Python, Rust, and Go coding tasks, suggesting a potential divergence between general and math-specific performance [4]. Programmatic approaches to this market would involve scraping the live math leaderboard at lmarena.ai daily, filtering for the “Text Arena | Math” tab with style control off, and tracking rank changes against model ownership metadata to automate position adjustments before the settlement window closes.

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 Polymarket Review UK, which mirrors the Polymarket order book at 0% fees.

Resolution & payout

At resolution the UMA oracle takes over: a proposer posts the outcome with a bond, any token holder can dispute within two hours. Without dispute the result is accepted and the smart contract distributes USDC instantly.

On Kalshi (CFTC-regulated) resolution runs through their in-house clearing engine in USD. Betfair Exchange settles after match end in the account's local currency. Manifold pays no cash — only its in-platform "mana" currency.

FAQ

Is this market available outside the US?

Polymarket itself is geo-blocked in the US/UK/EU. Always check the legal status of prediction markets in your jurisdiction before trading.

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 fast are USDC deposits?

Polygon credits deposits after 12 confirmations — usually under 30 seconds. Withdrawals follow the same path and land back in your wallet within minutes.

Do I need to KYC for this market?

On Polymarket directly, no — it's wallet-based. Intermediary brokers like Polymarket Review UK trigger KYC only above $1,500 of lifetime trading volume; under that you trade pseudonymously with a single wallet address.

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.