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 Math leaderboard by late July 2026, with current odds implying a 50% chance for the YES outcome. At present, Anthropic’s claude-opus-4-6-thinking leads the Math Arena with an Elo of 1518, while OpenAI’s GPT-5.4 Pro sits just behind at 1502, a gap of only 16 points that has narrowed significantly since early 2026 [1][3].

Historical leaderboard shifts show that Math Elo has gained +172 points since tracking began, making it one of the fastest-improving categories where small data changes can flip rankings [1]. Past volatility in Chatbot Arena rankings is well-documented; research indicates that dropping just two out of 57,000 preferences can alter the top model, meaning the final rank is highly sensitive to the specific dataset slice used at settlement [8]. This fragility suggests the current 50% implied probability may understate the risk of a sudden title change between now and July 31.

Traders should monitor upcoming model releases from Anthropic, OpenAI, and Google, as new versions often trigger immediate leaderboard jumps. Recent composite quality indices already place Anthropic’s Claude Fable 5 at the top overall, though Math-specific dominance remains with claude-opus-4-6-thinking [1][2]. Any announcement of a “Math-tuned” variant or a major architecture update in the next three weeks could materially shift the odds, given the category’s rapid Elo growth rate of 10.4 points per month [1].

Sources: 1 · 2 · 3 · 4 · 5

Methodology

We track Which company has the best Math AI model end of July? across the five venues with material prediction-market liquidity. The probability shown is the live Polymarket mid; the comparison rows summarise how each venue treats the underlying contract — fees, KYC thresholds, settlement currency, deposit options. The highlighted row marks the cheapest route into Polymarket's order book.

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.

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.