Recent announcements from OpenAI on September 8, 2026, claiming its unreleased multi-agent Astra model generated a formal proof for the Navier-Stokes existence and smoothness Millennium Problem in 88 hours using up to 10,000 coordinated agents have sharply elevated trader expectations for AI-driven advances on major open conjectures this year. Complementary progress includes Anthropic’s Claude improving bounds related to the Riemann hypothesis, OpenAI’s earlier disproof of the Erdős unit-distance conjecture, and consistent medal-level or better performance on IMO problems by systems from Google DeepMind and others throughout 2025–2026. These results stem from test-time scaling, multi-agent harnesses, and formal verification tools like Lean, though independent mathematician review of the Navier-Stokes claim remains pending and could introduce volatility if verification hurdles emerge before year-end.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於最新
2026-12-31
霍奇猜想
56%
伯奇與斯溫納頓-戴爾猜想
55%
黎曼假設
51%
勒讓德猜想
50%
楊-米爾斯
50%
考拉茲猜想
50%
強哥德巴赫猜想
50%
孿生素數猜想
50%
奇完全數
50%
哈德維格-尼爾森問題
50%
哈達瑪矩陣猜想
50%
比爾猜想
50%
Ramsey數R(5,5)
50%
P與NP
48%
$393 交易量
霍奇猜想
$315 交易量
56%
伯奇與斯溫納頓-戴爾猜想
$0 交易量
55%
黎曼假設
$0 交易量
51%
勒讓德猜想
$0 交易量
50%
楊-米爾斯
$0 交易量
50%
考拉茲猜想
$0 交易量
50%
強哥德巴赫猜想
$0 交易量
50%
孿生素數猜想
$0 交易量
50%
奇完全數
$0 交易量
50%
哈德維格-尼爾森問題
$0 交易量
50%
哈達瑪矩陣猜想
$0 交易量
50%
比爾猜想
$0 交易量
50%
Ramsey數R(5,5)
$0 交易量
50%
P與NP
$78 交易量
48%
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.Recent announcements from OpenAI on September 8, 2026, claiming its unreleased multi-agent Astra model generated a formal proof for the Navier-Stokes existence and smoothness Millennium Problem in 88 hours using up to 10,000 coordinated agents have sharply elevated trader expectations for AI-driven advances on major open conjectures this year. Complementary progress includes Anthropic’s Claude improving bounds related to the Riemann hypothesis, OpenAI’s earlier disproof of the Erdős unit-distance conjecture, and consistent medal-level or better performance on IMO problems by systems from Google DeepMind and others throughout 2025–2026. These results stem from test-time scaling, multi-agent harnesses, and formal verification tools like Lean, though independent mathematician review of the Navier-Stokes claim remains pending and could introduce volatility if verification hurdles emerge before year-end.
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.
市場開放時間： Sep 9, 2026, 3:44 PM ET
交易量
$393結束日期
2027-01-01市場開放時間
Sep 9, 2026, 3:44 PM ETThis 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.Recent announcements from OpenAI on September 8, 2026, claiming its unreleased multi-agent Astra model generated a formal proof for the Navier-Stokes existence and smoothness Millennium Problem in 88 hours using up to 10,000 coordinated agents have sharply elevated trader expectations for AI-driven advances on major open conjectures this year. Complementary progress includes Anthropic’s Claude improving bounds related to the Riemann hypothesis, OpenAI’s earlier disproof of the Erdős unit-distance conjecture, and consistent medal-level or better performance on IMO problems by systems from Google DeepMind and others throughout 2025–2026. These results stem from test-time scaling, multi-agent harnesses, and formal verification tools like Lean, though independent mathematician review of the Navier-Stokes claim remains pending and could introduce volatility if verification hurdles emerge before year-end.
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.
交易量
$393結束日期
2027-01-01市場開放時間
Sep 9, 2026, 3:44 PM ETRecent announcements from OpenAI on September 8, 2026, claiming its unreleased multi-agent Astra model generated a formal proof for the Navier-Stokes existence and smoothness Millennium Problem in 88 hours using up to 10,000 coordinated agents have sharply elevated trader expectations for AI-driven advances on major open conjectures this year. Complementary progress includes Anthropic’s Claude improving bounds related to the Riemann hypothesis, OpenAI’s earlier disproof of the Erdős unit-distance conjecture, and consistent medal-level or better performance on IMO problems by systems from Google DeepMind and others throughout 2025–2026. These results stem from test-time scaling, multi-agent harnesses, and formal verification tools like Lean, though independent mathematician review of the Navier-Stokes claim remains pending and could introduce volatility if verification hurdles emerge before year-end.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於
警惕外部連結哦。
警惕外部連結哦。
Frequently Asked Questions