OpenAI’s September 8 announcement that an internal model orchestrated roughly 10,000 autonomous agents to deliver a Lean-verified proof of finite-time singularity in the Navier-Stokes equations has sharply raised trader expectations for further AI-driven breakthroughs on the remaining Millennium Prize Problems. The result, achieved in roughly 88 hours at an estimated $15 million compute cost, followed rumors of related progress by mathematicians Tristan Buckmaster and Levent Alpöge at Anthropic and demonstrated scaled multi-agent reasoning on long-open problems. Competitive pressure is intensifying as other labs test similar systems, though the Clay Mathematics Institute’s evaluation remains deliberately unhurried, requiring peer-reviewed publication and rigorous scrutiny before any official resolution. Key near-term catalysts include additional lab announcements on the Riemann Hypothesis, P versus NP, Yang-Mills, Hodge, or Birch and Swinnerton-Dyer problems, alongside ongoing verification debates and potential disputes over data provenance.
Експериментальне резюме, згенероване ШІ з посиланням на дані Polymarket. Це не торгова порада і не впливає на вирішення цього ринку. · ОновленоAI lab announces another Millennium Prize solution by...?
AI lab announces another Millennium Prize solution by...?
$189,726 Обс.
Sep 30, 2026
September 30, 2026
29%
December 31, 2026
60%
December 31, 2027
82%
$189,726 Обс.
September 30, 2026
$74,564 Обс.
29%
December 31, 2026
$83,585 Обс.
60%
December 31, 2027
$31,577 Обс.
82%
This market will resolve to "Yes" if an eligible AI lab, or an official representative of an eligible AI lab, announces that the lab has solved any of the qualifying Millennium Prize Problems by 11:59 PM ET of the date specified in the title. Otherwise, this market will resolve to "No".
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement 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.
OpenAI’s September 8 announcement that an internal model orchestrated roughly 10,000 autonomous agents to deliver a Lean-verified proof of finite-time singularity in the Navier-Stokes equations has sharply raised trader expectations for further AI-driven breakthroughs on the remaining Millennium Prize Problems. The result, achieved in roughly 88 hours at an estimated $15 million compute cost, followed rumors of related progress by mathematicians Tristan Buckmaster and Levent Alpöge at Anthropic and demonstrated scaled multi-agent reasoning on long-open problems. Competitive pressure is intensifying as other labs test similar systems, though the Clay Mathematics Institute’s evaluation remains deliberately unhurried, requiring peer-reviewed publication and rigorous scrutiny before any official resolution. Key near-term catalysts include additional lab announcements on the Riemann Hypothesis, P versus NP, Yang-Mills, Hodge, or Birch and Swinnerton-Dyer problems, alongside ongoing verification debates and potential disputes over data provenance.
This market will resolve to "Yes" if an eligible AI lab, or an official representative of an eligible AI lab, announces that the lab has solved any of the qualifying Millennium Prize Problems by 11:59 PM ET of the date specified in the title. Otherwise, this market will resolve to "No".
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement 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.
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement 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.
Ринок відкрито: Sep 8, 2026, 3:28 PM ET
Обсяг
$189,726Дата завершення
Jan 1, 2028Ринок відкрито
Sep 8, 2026, 3:28 PM ETВирішувач
0x65070BE91...This market will resolve to "Yes" if an eligible AI lab, or an official representative of an eligible AI lab, announces that the lab has solved any of the qualifying Millennium Prize Problems by 11:59 PM ET of the date specified in the title. Otherwise, this market will resolve to "No".
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement 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.
OpenAI’s September 8 announcement that an internal model orchestrated roughly 10,000 autonomous agents to deliver a Lean-verified proof of finite-time singularity in the Navier-Stokes equations has sharply raised trader expectations for further AI-driven breakthroughs on the remaining Millennium Prize Problems. The result, achieved in roughly 88 hours at an estimated $15 million compute cost, followed rumors of related progress by mathematicians Tristan Buckmaster and Levent Alpöge at Anthropic and demonstrated scaled multi-agent reasoning on long-open problems. Competitive pressure is intensifying as other labs test similar systems, though the Clay Mathematics Institute’s evaluation remains deliberately unhurried, requiring peer-reviewed publication and rigorous scrutiny before any official resolution. Key near-term catalysts include additional lab announcements on the Riemann Hypothesis, P versus NP, Yang-Mills, Hodge, or Birch and Swinnerton-Dyer problems, alongside ongoing verification debates and potential disputes over data provenance.
This market will resolve to "Yes" if an eligible AI lab, or an official representative of an eligible AI lab, announces that the lab has solved any of the qualifying Millennium Prize Problems by 11:59 PM ET of the date specified in the title. Otherwise, this market will resolve to "No".
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement 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.
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement 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.
Обсяг
$189,726Дата завершення
Jan 1, 2028Ринок відкрито
Sep 8, 2026, 3:28 PM ETВирішувач
0x65070BE91...OpenAI’s September 8 announcement that an internal model orchestrated roughly 10,000 autonomous agents to deliver a Lean-verified proof of finite-time singularity in the Navier-Stokes equations has sharply raised trader expectations for further AI-driven breakthroughs on the remaining Millennium Prize Problems. The result, achieved in roughly 88 hours at an estimated $15 million compute cost, followed rumors of related progress by mathematicians Tristan Buckmaster and Levent Alpöge at Anthropic and demonstrated scaled multi-agent reasoning on long-open problems. Competitive pressure is intensifying as other labs test similar systems, though the Clay Mathematics Institute’s evaluation remains deliberately unhurried, requiring peer-reviewed publication and rigorous scrutiny before any official resolution. Key near-term catalysts include additional lab announcements on the Riemann Hypothesis, P versus NP, Yang-Mills, Hodge, or Birch and Swinnerton-Dyer problems, alongside ongoing verification debates and potential disputes over data provenance.
Експериментальне резюме, згенероване ШІ з посиланням на дані Polymarket. Це не торгова порада і не впливає на вирішення цього ринку. · Оновлено
Обережно з зовнішніми посиланнями.
Обережно з зовнішніми посиланнями.
Часті запитання