Pronóstico: 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 mathematical reasoning model in the Chatbot Arena’s Text Arena | Math leaderboard as of 31 July 2026. Current form favours Anthropic, whose claude-opus-4-6-thinking holds a 1518 Elo in math, the highest recorded in that category since tracking began, with a +172-point gain marking it as the fastest-improving segment [2]. Historical volatility in the leaderboard is notable: research shows the top-ranked model can flip by removing just two preferences from the 57,000-data set, meaning a 49% crowd-implied probability reflects genuine uncertainty rather than a clear incumbent advantage [7].

Traders must watch for Anthropic’s next Opus iteration and OpenAI’s GPT-5.5 release, both expected before the settlement window, as even marginal Elo shifts can alter the rank order [3]. The math leaderboard’s sensitivity to data sampling means a single high-profile benchmark update or a shift in user preference weighting could displace the current leader [7]. With the gap between GPT-5.4 and Claude 4.6 statistically negligible for most tasks, any new model announcement carrying a coding or reasoning focus could indirectly boost math performance through architectural improvements [3]. Monitor lmsys.org and Anthropic’s press channel for release dates; a delayed launch from either firm would likely cement the current frontrunner.

Sources: 1 · 2 · 3 · 4 · 5

Methodology

Football-specific comparison page for Pronóstico: 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

When do sports markets resolve?

Typically within hours of the official final whistle. Polymarket uses UMA Optimistic Oracle with source URLs pointing at official league data feeds — e.g. the Premier League for EPL markets, UEFA for Champions League, FIFA for World Cup.

Can I bet on individual matches?

Yes, Polymarket lists every major Premier League / Champions League / World Cup match as its own market. Liquidity varies — top matches like El Clásico or a semi-final often have six-figure pools, lower-league games closer to three-figure.

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.

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.