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 Math leaderboard with claude-opus-4-6-thinking at 1518 Elo, placing the market’s 49% YES probability on a model owned by the firm rather than OpenAI or Google [1]. This near-even split reflects the historical volatility of the Math category, where Elo scores have surged by +172 points since tracking began, making it one of the fastest-improving benchmarks and prone to rapid rank shifts [1]. Past leaderboards show that gaps between frontier models like GPT-5.4 and Claude 4.6 are often statistically negligible, with differences of just 8 points that can flip overnight depending on data sampling [3].

Traders should monitor Anthropic’s release schedule for any Opus 4.7 or Fable 5 updates, as these could cement or erode the current lead before the July 31 settlement [2]. The market resolves on the specific “Text Arena | Math” table with style control off, meaning minor adjustments in model prompting or training data could alter the final rank [1]. Recent research highlights that Chatbot Arena rankings are highly sensitive to tiny data subsets, where removing just two preferences out of 57,000 can change the top model, adding uncertainty to the outcome [8]. On Polymarket.za.com, positions are settled in USDC on Polygon using conditional tokens, so liquidity and slippage will dictate entry costs as the probability drifts toward the resolution date.

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 PolyGram, 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 PolyGram. Kalshi charges up to 7% per trade; Betfair Exchange takes 2-5% commission on net winnings.

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.

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.

Do I need to KYC for this market?

On Polymarket directly, no — it's wallet-based. Intermediary brokers like PolyGram 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.