Trader consensus on Polymarket assigns Anthropic a 66% implied probability of fielding the top math AI model by May 31, driven by Claude Mythos Preview's dominance on advanced benchmarks like USAMO 2026 math proofs (97.6%) and its #1 ranking on provisional leaderboards such as BenchLM.ai, outpacing rivals in competition-level reasoning. The Stanford AI Index 2026 report, highlighted in early May discussions, reinforces this with Anthropic's Claude Opus models leading the Arena Elo at 1,503—edging OpenAI (1,481) and Google (1,494) in a fiercely competitive top tier. OpenAI's GPT-5 series holds strong on MATH-500 (99.4% as of May 12) but lags in proof-heavy tasks, while Google's Gemini trails slightly amid thin margins. With two weeks left, new model previews or evaluations could shift dynamics rapidly.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · UpdatedAnthropic 69%
OpenAI 21%
Google 10%
ByteDance <1%
$104,622 Vol.
$104,622 Vol.

Anthropic
69%

OpenAI
21%

10%

ByteDance
1%

DeepSeek
1%

Meta
1%

xAI
1%

Baidu
<1%

Alibaba
<1%

Moonshot
<1%

Z.ai
<1%

Amazon
<1%

Mistral
<1%

Meituan
<1%

Microsoft
<1%
Anthropic 69%
OpenAI 21%
Google 10%
ByteDance <1%
$104,622 Vol.
$104,622 Vol.

Anthropic
69%

OpenAI
21%

10%

ByteDance
1%

DeepSeek
1%

Meta
1%

xAI
1%

Baidu
<1%

Alibaba
<1%

Moonshot
<1%

Z.ai
<1%

Amazon
<1%

Mistral
<1%

Meituan
<1%

Microsoft
<1%
Results from the "Rank" column under the "Text Arena | Math" Leaderboard tab at https://arena.ai/leaderboard/text/math-no-style-control with style control off will be used to resolve this market.
Models will be ordered primarily by their leaderboard rank at the market’s check time. If two or more models are tied on rank, they will be ordered by their Arena score, including any underlying, unrounded, granular values reflected in the data below the leaderboard. If a tie still remains, alphabetical order of company names as listed in this market group will be used as a final tiebreaker (e.g., if the two models are tied by exact arena score, “Google” would be ranked ahead of “xAI”). This market will resolve based on the company that occupies first place under this ranking.
The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://lmarena.ai/. If this resolution source is unavailable at check time, this market will remain open until the leaderboard comes back online and will resolve based on the first check after it becomes available. If it becomes permanently unavailable, this market will resolve based on another resolution source.
Market Opened: Apr 27, 2026, 5:49 PM ET
Resolver
0x69c47De9D...Results from the "Rank" column under the "Text Arena | Math" Leaderboard tab at https://arena.ai/leaderboard/text/math-no-style-control with style control off will be used to resolve this market.
Models will be ordered primarily by their leaderboard rank at the market’s check time. If two or more models are tied on rank, they will be ordered by their Arena score, including any underlying, unrounded, granular values reflected in the data below the leaderboard. If a tie still remains, alphabetical order of company names as listed in this market group will be used as a final tiebreaker (e.g., if the two models are tied by exact arena score, “Google” would be ranked ahead of “xAI”). This market will resolve based on the company that occupies first place under this ranking.
The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://lmarena.ai/. If this resolution source is unavailable at check time, this market will remain open until the leaderboard comes back online and will resolve based on the first check after it becomes available. If it becomes permanently unavailable, this market will resolve based on another resolution source.
Resolver
0x69c47De9D...Trader consensus on Polymarket assigns Anthropic a 66% implied probability of fielding the top math AI model by May 31, driven by Claude Mythos Preview's dominance on advanced benchmarks like USAMO 2026 math proofs (97.6%) and its #1 ranking on provisional leaderboards such as BenchLM.ai, outpacing rivals in competition-level reasoning. The Stanford AI Index 2026 report, highlighted in early May discussions, reinforces this with Anthropic's Claude Opus models leading the Arena Elo at 1,503—edging OpenAI (1,481) and Google (1,494) in a fiercely competitive top tier. OpenAI's GPT-5 series holds strong on MATH-500 (99.4% as of May 12) but lags in proof-heavy tasks, while Google's Gemini trails slightly amid thin margins. With two weeks left, new model previews or evaluations could shift dynamics rapidly.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · Updated
Beware of external links.
Beware of external links.
Frequently Asked Questions