OpenAI’s early September 2026 announcement that an internal Astra model, coordinating up to 10,000 agents over 88 hours, produced a Lean-formalized proof for the Navier-Stokes Millennium Prize Problem has sharply shifted trader focus toward additional 2026 resolutions. This multi-agent approach built on August claims of solving ten longstanding open problems across geometry, coding theory, group theory, and quantum complexity, while Anthropic’s Claude advanced Riemann-related bounds and Google DeepMind sustained IMO-level results. FrontierMath leaderboards show top models reaching 89%+ on research-tier problems, yet Erdős conjectures and several Millennium Problems remain largely unsolved, with verification of formal proofs now the key near-term catalyst before year-end.
基於Polymarket數據的AI實驗性摘要。這不是交易建議,也不影響該市場的結算方式。 · 更新於伯奇與斯溫納頓-戴爾猜想
64%
霍奇猜想
63%
哈德維格-尼爾森問題
55%
哈達瑪矩陣猜想
34%
考拉茲猜想
30%
Ramsey數R(5,5)
28%
比爾猜想
26%
勒讓德猜想
26%
孿生素數猜想
21%
強哥德巴赫猜想
15%
黎曼假設
9%
P與NP
5%
楊-米爾斯
46%
奇完全數
41%
$3,245 交易量
伯奇與斯溫納頓-戴爾猜想
64%
霍奇猜想
63%
哈德維格-尼爾森問題
55%
哈達瑪矩陣猜想
34%
考拉茲猜想
30%
Ramsey數R(5,5)
28%
比爾猜想
26%
勒讓德猜想
26%
孿生素數猜想
21%
強哥德巴赫猜想
15%
黎曼假設
9%
P與NP
5%
楊-米爾斯
46%
奇完全數
41%
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
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 early September 2026 announcement that an internal Astra model, coordinating up to 10,000 agents over 88 hours, produced a Lean-formalized proof for the Navier-Stokes Millennium Prize Problem has sharply shifted trader focus toward additional 2026 resolutions. This multi-agent approach built on August claims of solving ten longstanding open problems across geometry, coding theory, group theory, and quantum complexity, while Anthropic’s Claude advanced Riemann-related bounds and Google DeepMind sustained IMO-level results. FrontierMath leaderboards show top models reaching 89%+ on research-tier problems, yet Erdős conjectures and several Millennium Problems remain largely unsolved, with verification of formal proofs now the key near-term catalyst before year-end.
基於Polymarket數據的AI實驗性摘要。這不是交易建議,也不影響該市場的結算方式。 · 更新於


警惕外部連結哦。
警惕外部連結哦。
Frequently Asked Questions