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.
Resumen experimental generado por IA con datos de Polymarket. Esto no es asesoramiento de trading y no influye en cómo se resuelve este mercado. · ActualizadoWhich company has the best Math AI model end of June?
Which company has the best Math AI model end of June?
Google 63%
Anthropic 20%
OpenAI 12%
Z.ai <1%
$220,872 Vol.
$220,872 Vol.
30 jun 2026
63%
Anthropic
20%
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 20%
OpenAI 12%
Z.ai <1%
$220,872 Vol.
$220,872 Vol.
30 jun 2026
$37,079 Vol.
63%
Anthropic
$64,549 Vol.
20%
OpenAI
$24,122 Vol.
12%
Z.ai
$15,045 Vol.
1%
Moonshot
$12,932 Vol.
1%
Alibaba
$14,890 Vol.
<1%
xAI
$14,650 Vol.
<1%
ByteDance
$6,400 Vol.
<1%
Amazon
$2,346 Vol.
<1%
Meta
$5,734 Vol.
<1%
Baidu
$2,769 Vol.
<1%
DeepSeek
$9,130 Vol.
<1%
Microsoft
$3,097 Vol.
<1%
Mistral
$4,617 Vol.
<1%
Meituan
$3,512 Vol.
<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.
Mercado abierto: May 26, 2026, 6:36 PM ET
Volumen
$220,872Fecha de finalización
30 jun 2026Mercado abierto
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.
Volumen
$220,872Fecha de finalización
30 jun 2026Mercado abierto
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.
Resumen experimental generado por IA con datos de Polymarket. Esto no es asesoramiento de trading y no influye en cómo se resuelve este mercado. · Actualizado
Cuidado con los enlaces externos.
Cuidado con los enlaces externos.
Preguntas frecuentes