OpenAI’s September 2026 announcement that an internal model coordinated thousands of AI agents to produce a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem—one of the Clay Millennium Prize Problems—has sharply lifted trader expectations for additional major breakthroughs before year-end. The result followed months of rapid progress, including Anthropic’s Claude advancing bounds on the Riemann hypothesis, OpenAI’s Astra delivering new results across sphere packing, coding theory, and combinatorics, and multiple disproofs of longstanding conjectures via multi-agent systems. Competitive pressure among OpenAI, Anthropic, and Google DeepMind, combined with rising AI use in math preprints (now over 24%), underscores the market’s focus on which open problems—such as Birch and Swinnerton-Dyer or the Hodge conjecture—could see verified solutions next, pending independent review of recent claims.
Riepilogo sperimentale generato dall'AI con riferimento ai dati di Polymarket. Questo non è un consiglio di trading e non ha alcun ruolo nella risoluzione di questo mercato. · AggiornatoQuali problemi matematici risolverà l'IA nel 2026?
Quali problemi matematici risolverà l'IA nel 2026?
$23,689 Vol.
31 dic 2026
Congettura di Hodge
47%
Congettura della matrice di Hadamard
40%
Birch e Swinnerton-Dyer
19%
Congettura di Beal
15%
Congettura forte di Goldbach
14%
Numero di Ramsey R(5,5)
12%
Problema di Hadwiger-Nelson
12%
Congettura dei primi gemelli
10%
Numero perfetto dispari
10%
Ipotesi di Riemann
8%
Yang-Mills
7%
Congettura di Collatz
6%
Congettura di Legendre
5%
P contro NP
3%
$23,689 Vol.
Congettura di Hodge
$5,102 Vol.
47%
Congettura della matrice di Hadamard
$1,142 Vol.
40%
Birch e Swinnerton-Dyer
$5,765 Vol.
19%
Congettura di Beal
$769 Vol.
15%
Congettura forte di Goldbach
$496 Vol.
14%
Numero di Ramsey R(5,5)
$672 Vol.
12%
Problema di Hadwiger-Nelson
$1,373 Vol.
12%
Congettura dei primi gemelli
$791 Vol.
10%
Numero perfetto dispari
$1,235 Vol.
10%
Ipotesi di Riemann
$2,251 Vol.
8%
Yang-Mills
$630 Vol.
7%
Congettura di Collatz
$1,288 Vol.
6%
Congettura di Legendre
$1,110 Vol.
5%
P contro NP
$1,063 Vol.
3%
This market will resolve to "Yes" if an eligible AI lab announces a solution to the problem specified in the title by December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No".
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem specified in the title has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of the lab, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the lab's models, compute, or research credits, will not qualify. No further confirmation from the Clay Mathematics Institute or any other organization is required.
The eligible AI labs are Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan, and 01.AI, together with their subsidiaries and research divisions, and any other company with a model listed on the MMLU-pro leaderboard (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) at the time of the announcement. Announcements by any other company, organization, or individual will not qualify.
The primary resolution source for this market will be official information from the eligible AI labs and/or their official representatives; however, a consensus of credible reporting may also be used.OpenAI’s September 2026 announcement that an internal model coordinated thousands of AI agents to produce a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem—one of the Clay Millennium Prize Problems—has sharply lifted trader expectations for additional major breakthroughs before year-end. The result followed months of rapid progress, including Anthropic’s Claude advancing bounds on the Riemann hypothesis, OpenAI’s Astra delivering new results across sphere packing, coding theory, and combinatorics, and multiple disproofs of longstanding conjectures via multi-agent systems. Competitive pressure among OpenAI, Anthropic, and Google DeepMind, combined with rising AI use in math preprints (now over 24%), underscores the market’s focus on which open problems—such as Birch and Swinnerton-Dyer or the Hodge conjecture—could see verified solutions next, pending independent review of recent claims.
This market will resolve to "Yes" if an eligible AI lab announces a solution to the problem specified in the title by December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No".
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem specified in the title has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of the lab, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the lab's models, compute, or research credits, will not qualify. No further confirmation from the Clay Mathematics Institute or any other organization is required.
The eligible AI labs are Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan, and 01.AI, together with their subsidiaries and research divisions, and any other company with a model listed on the MMLU-pro leaderboard (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) at the time of the announcement. Announcements by any other company, organization, or individual will not qualify.
The primary resolution source for this market will be official information from the eligible AI labs and/or their official representatives; however, a consensus of credible reporting may also be used.
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem specified in the title has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of the lab, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the lab's models, compute, or research credits, will not qualify. No further confirmation from the Clay Mathematics Institute or any other organization is required.
The eligible AI labs are Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan, and 01.AI, together with their subsidiaries and research divisions, and any other company with a model listed on the MMLU-pro leaderboard (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) at the time of the announcement. Announcements by any other company, organization, or individual will not qualify.
The primary resolution source for this market will be official information from the eligible AI labs and/or their official representatives; however, a consensus of credible reporting may also be used.
Mercato aperto: Sep 9, 2026, 3:44 PM ET
Volume
$23,689Data di fine
1 gen 2027Mercato aperto
Sep 9, 2026, 3:44 PM ETRisolutore
0x65070BE91...This market will resolve to "Yes" if an eligible AI lab announces a solution to the problem specified in the title by December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No".
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem specified in the title has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of the lab, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the lab's models, compute, or research credits, will not qualify. No further confirmation from the Clay Mathematics Institute or any other organization is required.
The eligible AI labs are Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan, and 01.AI, together with their subsidiaries and research divisions, and any other company with a model listed on the MMLU-pro leaderboard (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) at the time of the announcement. Announcements by any other company, organization, or individual will not qualify.
The primary resolution source for this market will be official information from the eligible AI labs and/or their official representatives; however, a consensus of credible reporting may also be used.OpenAI’s September 2026 announcement that an internal model coordinated thousands of AI agents to produce a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem—one of the Clay Millennium Prize Problems—has sharply lifted trader expectations for additional major breakthroughs before year-end. The result followed months of rapid progress, including Anthropic’s Claude advancing bounds on the Riemann hypothesis, OpenAI’s Astra delivering new results across sphere packing, coding theory, and combinatorics, and multiple disproofs of longstanding conjectures via multi-agent systems. Competitive pressure among OpenAI, Anthropic, and Google DeepMind, combined with rising AI use in math preprints (now over 24%), underscores the market’s focus on which open problems—such as Birch and Swinnerton-Dyer or the Hodge conjecture—could see verified solutions next, pending independent review of recent claims.
This market will resolve to "Yes" if an eligible AI lab announces a solution to the problem specified in the title by December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No".
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem specified in the title has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of the lab, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the lab's models, compute, or research credits, will not qualify. No further confirmation from the Clay Mathematics Institute or any other organization is required.
The eligible AI labs are Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan, and 01.AI, together with their subsidiaries and research divisions, and any other company with a model listed on the MMLU-pro leaderboard (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) at the time of the announcement. Announcements by any other company, organization, or individual will not qualify.
The primary resolution source for this market will be official information from the eligible AI labs and/or their official representatives; however, a consensus of credible reporting may also be used.
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem specified in the title has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of the lab, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the lab's models, compute, or research credits, will not qualify. No further confirmation from the Clay Mathematics Institute or any other organization is required.
The eligible AI labs are Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan, and 01.AI, together with their subsidiaries and research divisions, and any other company with a model listed on the MMLU-pro leaderboard (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) at the time of the announcement. Announcements by any other company, organization, or individual will not qualify.
The primary resolution source for this market will be official information from the eligible AI labs and/or their official representatives; however, a consensus of credible reporting may also be used.
Volume
$23,689Data di fine
1 gen 2027Mercato aperto
Sep 9, 2026, 3:44 PM ETRisolutore
0x65070BE91...OpenAI’s September 2026 announcement that an internal model coordinated thousands of AI agents to produce a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem—one of the Clay Millennium Prize Problems—has sharply lifted trader expectations for additional major breakthroughs before year-end. The result followed months of rapid progress, including Anthropic’s Claude advancing bounds on the Riemann hypothesis, OpenAI’s Astra delivering new results across sphere packing, coding theory, and combinatorics, and multiple disproofs of longstanding conjectures via multi-agent systems. Competitive pressure among OpenAI, Anthropic, and Google DeepMind, combined with rising AI use in math preprints (now over 24%), underscores the market’s focus on which open problems—such as Birch and Swinnerton-Dyer or the Hodge conjecture—could see verified solutions next, pending independent review of recent claims.
Riepilogo sperimentale generato dall'AI con riferimento ai dati di Polymarket. Questo non è un consiglio di trading e non ha alcun ruolo nella risoluzione di questo mercato. · AggiornatoCorrelati
L'IA risolverà 0 altri Problemi del Premio Millennium nel 2026?
40%
Sì
Un laboratorio di intelligenza artificiale annuncerà un'altra soluzione per un Premio Millennium entro il 31 dicembre 2027?
84%
Sì
Moonshot sarà la terza migliore azienda di intelligenza artificiale cinese alla fine di novembre 2026?
31%
Sì
Fai attenzione ai link esterni.
Fai attenzione ai link esterni.
Domande frequenti