Google leads with a 62.5% market-implied probability due to DeepMind's recent AlphaProof Nexus system, which solved multiple longstanding open Erdős problems in late May 2026 at low computational cost, building on Gemini 3.1 Pro's strong showing across reasoning and competition math benchmarks. Anthropic trails at 19% on the strength of Claude Opus 4.8's consistent performance in multi-step agentic math and related evaluations, while OpenAI sits at 11.5% amid GPT-5.5 variants topping select FrontierMath and MATH-500 leaderboards. Traders appear focused on demonstrated formal proof capabilities and recent verified advances over broader general-reasoning scores, with little movement expected absent major new releases before the end-of-June resolution.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於Google 63%
Anthropic 19%
OpenAI 12%
Z.ai <1%
$220,872 交易量
$220,872 交易量
2026-06-30
63%
Anthropic
19%
OpenAI
12%
Z.ai
1%
Moonshot
1%
Alibaba
<1%
xAI
<1%
ByteDance
<1%
Amazon
<1%
Meta
<1%
Baidu
<1%
DeepSeek
<1%
Microsoft
<1%
Mistral
<1%
Meituan
<1%
Google 63%
Anthropic 19%
OpenAI 12%
Z.ai <1%
$220,872 交易量
$220,872 交易量
2026-06-30
$37,079 交易量
63%
Anthropic
$64,549 交易量
19%
OpenAI
$24,122 交易量
12%
Z.ai
$15,045 交易量
1%
Moonshot
$12,932 交易量
1%
Alibaba
$14,890 交易量
<1%
xAI
$14,650 交易量
<1%
ByteDance
$6,400 交易量
<1%
Amazon
$2,346 交易量
<1%
Meta
$5,734 交易量
<1%
Baidu
$2,769 交易量
<1%
DeepSeek
$9,130 交易量
<1%
Microsoft
$3,097 交易量
<1%
Mistral
$4,617 交易量
<1%
Meituan
$3,512 交易量
<1%
This market will resolve according to the company that owns the model that has the highest arena rank based on the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) when the table under the "Leaderboard" tab for "Math" is checked on June 30, 2026, 12:00 PM ET.
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.Google leads with a 62.5% market-implied probability due to DeepMind's recent AlphaProof Nexus system, which solved multiple longstanding open Erdős problems in late May 2026 at low computational cost, building on Gemini 3.1 Pro's strong showing across reasoning and competition math benchmarks. Anthropic trails at 19% on the strength of Claude Opus 4.8's consistent performance in multi-step agentic math and related evaluations, while OpenAI sits at 11.5% amid GPT-5.5 variants topping select FrontierMath and MATH-500 leaderboards. Traders appear focused on demonstrated formal proof capabilities and recent verified advances over broader general-reasoning scores, with little movement expected absent major new releases before the end-of-June resolution.
This market will resolve according to the company that owns the model that has the highest arena rank based on the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) when the table under the "Leaderboard" tab for "Math" is checked on June 30, 2026, 12:00 PM ET.
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.
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.
市場開放時間： May 26, 2026, 6:36 PM ET
交易量
$220,872結束日期
2026-06-30市場開放時間
May 26, 2026, 6:36 PM ETResolver
0x69c47De9D...This market will resolve according to the company that owns the model that has the highest arena rank based on the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) when the table under the "Leaderboard" tab for "Math" is checked on June 30, 2026, 12:00 PM ET.
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.Google leads with a 62.5% market-implied probability due to DeepMind's recent AlphaProof Nexus system, which solved multiple longstanding open Erdős problems in late May 2026 at low computational cost, building on Gemini 3.1 Pro's strong showing across reasoning and competition math benchmarks. Anthropic trails at 19% on the strength of Claude Opus 4.8's consistent performance in multi-step agentic math and related evaluations, while OpenAI sits at 11.5% amid GPT-5.5 variants topping select FrontierMath and MATH-500 leaderboards. Traders appear focused on demonstrated formal proof capabilities and recent verified advances over broader general-reasoning scores, with little movement expected absent major new releases before the end-of-June resolution.
This market will resolve according to the company that owns the model that has the highest arena rank based on the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) when the table under the "Leaderboard" tab for "Math" is checked on June 30, 2026, 12:00 PM ET.
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.
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.
交易量
$220,872結束日期
2026-06-30市場開放時間
May 26, 2026, 6:36 PM ETResolver
0x69c47De9D...Google leads with a 62.5% market-implied probability due to DeepMind's recent AlphaProof Nexus system, which solved multiple longstanding open Erdős problems in late May 2026 at low computational cost, building on Gemini 3.1 Pro's strong showing across reasoning and competition math benchmarks. Anthropic trails at 19% on the strength of Claude Opus 4.8's consistent performance in multi-step agentic math and related evaluations, while OpenAI sits at 11.5% amid GPT-5.5 variants topping select FrontierMath and MATH-500 leaderboards. Traders appear focused on demonstrated formal proof capabilities and recent verified advances over broader general-reasoning scores, with little movement expected absent major new releases before the end-of-June resolution.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於
警惕外部連結哦。
警惕外部連結哦。
Frequently Asked Questions