OpenAI’s September 8 announcement that an internal model coordinated roughly 10,000 AI agents to produce a Lean-formalized proof of a singularity in the three-dimensional Navier-Stokes equations—one of the remaining Clay Millennium Prize Problems—has sharply lifted trader expectations for additional 2026 breakthroughs. The multi-agent system completed the core result in 88 hours after earlier work on the related Euler equations, at a reported cost in the millions, underscoring how scaled inference and formal verification pipelines can now tackle century-old open problems. This development intensifies competition among labs, with Anthropic, Google DeepMind, and others advancing multi-agent reasoning, IMO-level benchmarks, and FrontierMath evaluations. Key near-term catalysts include independent verification of the Navier-Stokes claim, further releases on conjectures such as the Riemann hypothesis or Hodge conjecture, and year-end benchmark updates that could shift market-implied odds on specific resolutions.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · UpdatedNEW
Dec 31, 2026
Birch and Swinnerton-Dyer
63%
Hodge Conjecture
61%
Hadwiger-Nelson Problem
61%
Hadamard Matrix Conjecture
34%
Odd Perfect Number
28%
Collatz Conjecture
30%
Beal's Conjecture
27%
Legendre's Conjecture
26%
Ramsey Number R(5,5)
25%
Strong Goldbach Conjecture
15%
Twin Prime Conjecture
14%
Riemann Hypothesis
11%
P versus NP
5%
Yang-Mills
41%
$3,909 Vol.
Birch and Swinnerton-Dyer
$486 Vol.
63%
Hodge Conjecture
$1,211 Vol.
61%
Hadwiger-Nelson Problem
$38 Vol.
61%
Hadamard Matrix Conjecture
$62 Vol.
34%
Odd Perfect Number
$28 Vol.
28%
Collatz Conjecture
$24 Vol.
30%
Beal's Conjecture
$40 Vol.
27%
Legendre's Conjecture
$24 Vol.
26%
Ramsey Number R(5,5)
$19 Vol.
25%
Strong Goldbach Conjecture
$235 Vol.
15%
Twin Prime Conjecture
$284 Vol.
14%
Riemann Hypothesis
$853 Vol.
11%
P versus NP
$495 Vol.
5%
Yang-Mills
$111 Vol.
41%
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 8 announcement that an internal model coordinated roughly 10,000 AI agents to produce a Lean-formalized proof of a singularity in the three-dimensional Navier-Stokes equations—one of the remaining Clay Millennium Prize Problems—has sharply lifted trader expectations for additional 2026 breakthroughs. The multi-agent system completed the core result in 88 hours after earlier work on the related Euler equations, at a reported cost in the millions, underscoring how scaled inference and formal verification pipelines can now tackle century-old open problems. This development intensifies competition among labs, with Anthropic, Google DeepMind, and others advancing multi-agent reasoning, IMO-level benchmarks, and FrontierMath evaluations. Key near-term catalysts include independent verification of the Navier-Stokes claim, further releases on conjectures such as the Riemann hypothesis or Hodge conjecture, and year-end benchmark updates that could shift market-implied odds on specific resolutions.
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.
Market Opened: Sep 9, 2026, 3:44 PM ET
Volume
$3,909End Date
Jan 1, 2027Market Opened
Sep 9, 2026, 3:44 PM ETResolver
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 8 announcement that an internal model coordinated roughly 10,000 AI agents to produce a Lean-formalized proof of a singularity in the three-dimensional Navier-Stokes equations—one of the remaining Clay Millennium Prize Problems—has sharply lifted trader expectations for additional 2026 breakthroughs. The multi-agent system completed the core result in 88 hours after earlier work on the related Euler equations, at a reported cost in the millions, underscoring how scaled inference and formal verification pipelines can now tackle century-old open problems. This development intensifies competition among labs, with Anthropic, Google DeepMind, and others advancing multi-agent reasoning, IMO-level benchmarks, and FrontierMath evaluations. Key near-term catalysts include independent verification of the Navier-Stokes claim, further releases on conjectures such as the Riemann hypothesis or Hodge conjecture, and year-end benchmark updates that could shift market-implied odds on specific resolutions.
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
$3,909End Date
Jan 1, 2027Market Opened
Sep 9, 2026, 3:44 PM ETResolver
0x65070BE91...OpenAI’s September 8 announcement that an internal model coordinated roughly 10,000 AI agents to produce a Lean-formalized proof of a singularity in the three-dimensional Navier-Stokes equations—one of the remaining Clay Millennium Prize Problems—has sharply lifted trader expectations for additional 2026 breakthroughs. The multi-agent system completed the core result in 88 hours after earlier work on the related Euler equations, at a reported cost in the millions, underscoring how scaled inference and formal verification pipelines can now tackle century-old open problems. This development intensifies competition among labs, with Anthropic, Google DeepMind, and others advancing multi-agent reasoning, IMO-level benchmarks, and FrontierMath evaluations. Key near-term catalysts include independent verification of the Navier-Stokes claim, further releases on conjectures such as the Riemann hypothesis or Hodge conjecture, and year-end benchmark updates that could shift market-implied odds on specific resolutions.
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