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

Platform comparison

Market context

The real-world event determining this market is which company will own the top-ranked mathematics artificial intelligence model on the Chatbot Arena leaderboard by 31 July 2026. In prediction markets, a YES share pays out if the market resolves in favour of the listed outcome, while a NO share pays if it does not; here, the 49% crowd-implied probability suggests the market views the current favourite as having a near-even chance of retaining the top spot.

Historically, leaderboard dominance in specialised categories like mathematics has been volatile, with the top Arena Elo score for math rising by 172 points since tracking began, averaging rapid monthly gains that often shift the leader within months [2]. In chess, a 400-point Elo difference means the higher-rated player wins roughly 91% of the time, yet current gaps between top models like Claude Opus 4.6 and competitors are often statistically negligible for most tasks, meaning a single new release could overturn the ranking [2][3].

Traders should monitor upcoming model release schedules from major firms, particularly Anthropic, Google, and OpenAI, as new versions frequently reset leaderboard positions. Recent data confirms Anthropic’s Claude Opus 4.6 currently leads the math category with an Elo of 1518, but the fast-improving nature of this category means the lead is not secure [2]. Any announcement of a “thinking” or reasoning-focused model update in the weeks leading to July 2026 will be a critical catalyst for the outcome.

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 Prediction Market UK, which mirrors the Polymarket order book directly.

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

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

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.