Recent OpenAI claims of an AI-driven solution to the Navier-Stokes existence and smoothness problem, announced September 8 with a Lean formalization after deploying thousands of agents on an internal model, have elevated expectations for AI in advanced mathematics while anchoring market-implied odds heavily toward zero or one additional Millennium Prize resolution in 2026. The remaining problems—Riemann hypothesis, P versus NP, Yang-Mills, Birch and Swinnerton-Dyer, and Hodge conjecture—lack comparable verified progress or benchmark demonstrations, and the substantial compute costs plus extended human scrutiny timelines for any new claims reinforce trader consensus that further breakthroughs this year remain improbable. Upcoming developer conferences and potential follow-on agentic scaling experiments could shift sentiment, yet current positioning reflects the gap between demonstrated capability on fluid dynamics and the deeper barriers in number theory and algebraic geometry.
Résumé expérimental généré par IA à partir des données Polymarket. Ceci n'est pas un conseil de trading et ne joue aucun rôle dans la résolution de ce marché. · Mis à jour0 50%
1 34%
2 12%
3 5.3%
$147,394 Vol.
$147,394 Vol.
31 déc. 2026
0
50%
1
34%
2
12%
3
5%
4
2%
5
1%
0 50%
1 34%
2 12%
3 5.3%
$147,394 Vol.
$147,394 Vol.
31 déc. 2026
0
$36,863 Vol.
50%
1
$16,755 Vol.
34%
2
$35,129 Vol.
12%
3
$40,264 Vol.
5%
4
$15,425 Vol.
2%
5
$2,959 Vol.
1%
This market will resolve according to the number of distinct qualifying Millennium Prize Problems for which an eligible AI lab announces a solution by December 31, 2026, 11:59 PM ET.
Each qualifying problem is counted once, regardless of how many eligible AI labs announce a solution to it or how many announcements are made.
The qualifying problems are, in alphabetical order, the Birch and Swinnerton-Dyer Conjecture, the Hodge Conjecture, P versus NP, the Riemann Hypothesis, and the Yang-Mills existence and mass gap problem (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem 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 Clay Math 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.Recent OpenAI claims of an AI-driven solution to the Navier-Stokes existence and smoothness problem, announced September 8 with a Lean formalization after deploying thousands of agents on an internal model, have elevated expectations for AI in advanced mathematics while anchoring market-implied odds heavily toward zero or one additional Millennium Prize resolution in 2026. The remaining problems—Riemann hypothesis, P versus NP, Yang-Mills, Birch and Swinnerton-Dyer, and Hodge conjecture—lack comparable verified progress or benchmark demonstrations, and the substantial compute costs plus extended human scrutiny timelines for any new claims reinforce trader consensus that further breakthroughs this year remain improbable. Upcoming developer conferences and potential follow-on agentic scaling experiments could shift sentiment, yet current positioning reflects the gap between demonstrated capability on fluid dynamics and the deeper barriers in number theory and algebraic geometry.
This market will resolve according to the number of distinct qualifying Millennium Prize Problems for which an eligible AI lab announces a solution by December 31, 2026, 11:59 PM ET.
Each qualifying problem is counted once, regardless of how many eligible AI labs announce a solution to it or how many announcements are made.
The qualifying problems are, in alphabetical order, the Birch and Swinnerton-Dyer Conjecture, the Hodge Conjecture, P versus NP, the Riemann Hypothesis, and the Yang-Mills existence and mass gap problem (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem 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 Clay Math 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.
Each qualifying problem is counted once, regardless of how many eligible AI labs announce a solution to it or how many announcements are made.
The qualifying problems are, in alphabetical order, the Birch and Swinnerton-Dyer Conjecture, the Hodge Conjecture, P versus NP, the Riemann Hypothesis, and the Yang-Mills existence and mass gap problem (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem 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 Clay Math 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.
Marché ouvert : Sep 9, 2026, 12:05 PM ET
Volume
$147,394Date de fin
1 janv. 2027Marché ouvert
Sep 9, 2026, 12:05 PM ETRésolveur
0x69c47De9D...This market will resolve according to the number of distinct qualifying Millennium Prize Problems for which an eligible AI lab announces a solution by December 31, 2026, 11:59 PM ET.
Each qualifying problem is counted once, regardless of how many eligible AI labs announce a solution to it or how many announcements are made.
The qualifying problems are, in alphabetical order, the Birch and Swinnerton-Dyer Conjecture, the Hodge Conjecture, P versus NP, the Riemann Hypothesis, and the Yang-Mills existence and mass gap problem (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem 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 Clay Math 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.Recent OpenAI claims of an AI-driven solution to the Navier-Stokes existence and smoothness problem, announced September 8 with a Lean formalization after deploying thousands of agents on an internal model, have elevated expectations for AI in advanced mathematics while anchoring market-implied odds heavily toward zero or one additional Millennium Prize resolution in 2026. The remaining problems—Riemann hypothesis, P versus NP, Yang-Mills, Birch and Swinnerton-Dyer, and Hodge conjecture—lack comparable verified progress or benchmark demonstrations, and the substantial compute costs plus extended human scrutiny timelines for any new claims reinforce trader consensus that further breakthroughs this year remain improbable. Upcoming developer conferences and potential follow-on agentic scaling experiments could shift sentiment, yet current positioning reflects the gap between demonstrated capability on fluid dynamics and the deeper barriers in number theory and algebraic geometry.
This market will resolve according to the number of distinct qualifying Millennium Prize Problems for which an eligible AI lab announces a solution by December 31, 2026, 11:59 PM ET.
Each qualifying problem is counted once, regardless of how many eligible AI labs announce a solution to it or how many announcements are made.
The qualifying problems are, in alphabetical order, the Birch and Swinnerton-Dyer Conjecture, the Hodge Conjecture, P versus NP, the Riemann Hypothesis, and the Yang-Mills existence and mass gap problem (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem 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 Clay Math 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.
Each qualifying problem is counted once, regardless of how many eligible AI labs announce a solution to it or how many announcements are made.
The qualifying problems are, in alphabetical order, the Birch and Swinnerton-Dyer Conjecture, the Hodge Conjecture, P versus NP, the Riemann Hypothesis, and the Yang-Mills existence and mass gap problem (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must be made by an eligible AI lab or an official representative of the lab, and must express that the problem 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 Clay Math 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
$147,394Date de fin
1 janv. 2027Marché ouvert
Sep 9, 2026, 12:05 PM ETRésolveur
0x69c47De9D...Recent OpenAI claims of an AI-driven solution to the Navier-Stokes existence and smoothness problem, announced September 8 with a Lean formalization after deploying thousands of agents on an internal model, have elevated expectations for AI in advanced mathematics while anchoring market-implied odds heavily toward zero or one additional Millennium Prize resolution in 2026. The remaining problems—Riemann hypothesis, P versus NP, Yang-Mills, Birch and Swinnerton-Dyer, and Hodge conjecture—lack comparable verified progress or benchmark demonstrations, and the substantial compute costs plus extended human scrutiny timelines for any new claims reinforce trader consensus that further breakthroughs this year remain improbable. Upcoming developer conferences and potential follow-on agentic scaling experiments could shift sentiment, yet current positioning reflects the gap between demonstrated capability on fluid dynamics and the deeper barriers in number theory and algebraic geometry.
Résumé expérimental généré par IA à partir des données Polymarket. Ceci n'est pas un conseil de trading et ne joue aucun rôle dans la résolution de ce marché. · Mis à jourConnexes
La conjecture de Hodge sera-t-elle le prochain problème du prix du millénaire résolu par l'IA ?
61%
Oui
Un laboratoire d'IA annoncera-t-il une nouvelle solution à un problème du prix du Millénaire d'ici le 31 décembre 2027 ?
84%
Oui
L'IA résoudra-t-elle la conjecture de la matrice de Hadamard en 2026 ?
33%
Oui
Méfiez-vous des liens externes.
Méfiez-vous des liens externes.
Questions fréquentes