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 in the Chatbot Arena’s Text Arena | Math leaderboard when checked on 31 July 2026. Current odds imply a near-even split, with Anthropic’s Claude Opus 4.6-Thinking holding the #1 Math rank as of April 2026 at 1518 Elo, while GPT-5.4-High sits just behind at #2 [1][3].

Historical volatility in math-specific Elo scores suggests caution: the category has gained +172 points since tracking began, averaging faster improvement than overall text performance, and top ranks have shifted multiple times as new models launch [3]. Comparable cases show that a 20–30 Elo lead can evaporate within months if a rival releases a focused math update, making the 49% implied probability reflect genuine uncertainty rather than a clear favourite.

Traders should monitor Anthropic’s and OpenAI’s release calendars for Q3 2026, particularly any “thinking” or math-tuned variants, as well as updates to the LMSYS leaderboard methodology that could alter ranking stability [1]. Recent reporting notes the gap between GPT-5.4 and Claude 4.6 is statistically negligible for most tasks, meaning a single high-profile benchmark win could flip the outcome [4]. No sportsbook lines exist for this contract, so the 49% figure stands as the primary market signal against analyst consensus that currently favours Anthropic based on current Elo.

Sources: 1 · 2 · 3 · 4 · 5

Methodology

This page is a comparison snapshot: one live quote, four reference venues with their key attributes, and a single execution path — every trade button routes to Best Prediction Markets UK, which mirrors the Polymarket order book directly.

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

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.

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 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.