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 when the table is checked for “Math” on 31 July 2026 at 12:00 PM ET. Current form points to Anthropic’s claude-opus-4-6-thinking, which held the #1 Math rank with 1518 Elo as of July 2026, ahead of OpenAI’s gpt-5.4-high at second place [1][3].

Historical volatility in leaderboard rankings mirrors earlier shifts: Math Elo has climbed +172 points since tracking began, making it one of the fastest-improving categories, yet gaps between top models like GPT-5.4 and Claude 4.6 remain statistically negligible for most tasks [3][4]. Past leaderboards show frequent rank swaps when new models launch, meaning a 50% crowd-implied probability reflects genuine uncertainty rather than a clear incumbent advantage.

Traders should monitor Anthropic and OpenAI release calendars for July 2026, especially any “Math”-tuned variants or architecture updates, as new votes can rapidly alter Elo scores [1]. Google’s gemini-3.1-pro-preview, currently #3 in Math, could surge if a preview update targets reasoning benchmarks, while xAI’s Grok 4 and DeepSeek V3/R1 remain potential disruptors if they enter the arena with specialised math weights [1][5].

Sources: 1 · 2 · 3 · 4 · 5

Methodology

Football-specific comparison page for Which company has the best Math AI model end of July?. Polymarket's live quote (Polygon order book) plus platform attributes for the three reference venues. Sports markets reward liquidity — Polymarket and Betfair are materially deeper than Kalshi (US-focused) or Manifold (play-money).

Resolution & payout

Sports markets typically settle on official final-whistle plus league confirmation. Polymarket uses UMA Optimistic Oracle with a source URL per contract — usually official league data feeds or ESPN/Soccerway. Two-hour dispute window, then smart-contract payout in USDC.

FAQ

What are live sports odds on Polymarket?

Some top-tier matches stay open during play — you can trade the half-time probability in the 70th minute. Polymarket mid-prices update second-by-second; any frontend mirroring the order book shows the same movement.

Which sports markets are available?

Football (soccer) dominates — Champions League, World Cup, Premier League, La Liga, Bundesliga — followed by NFL, NBA, tennis Grand Slams, Formula 1, boxing/MMA. Resolution via official league source confirmation.

How fast do sports winnings settle?

Once the official league outcome is logged in the UMA Oracle (typically 1-2 hours after the final whistle), Polymarket's smart contract triggers USDC payout. To your wallet within minutes.

What's the difference between match odds and outright odds?

Match odds cover a single game ("Bayern beats BVB"). Outright odds are long-term aggregates ("Bayern wins the league"). Outright markets have deeper liquidity; match markets have faster resolution.

Can I import form data and lineups?

This page shows the live Polymarket quote as an implied probability. Form data and lineups must be researched separately via sports data providers (e.g. Soccerway, ESPN, FBref) — we surface the market probability, not the sport analysis.