OpenAI’s September 8 announcement that an unreleased internal model, coordinating roughly 10,000 AI agents over 88 hours plus Lean formalization via GPT-6 Astra, produced a claimed solution to the Navier-Stokes existence and smoothness problem has intensified competition with Anthropic. The result remains subject to independent verification by the Clay Mathematics Institute and faces questions over completeness and priority after Anthropic researcher Levent Alpöge and NYU’s Tristan Buckmaster released related AI-assisted progress on simplified Euler and Boussinesq cases just hours earlier. Trader sentiment stays nearly even because OpenAI has stated it will not claim the prize, while Anthropic’s models contributed to the concurrent human-AI work and both labs continue rapid scaling of multi-agent systems for mathematical reasoning. Key upcoming catalysts include formal peer review of the proofs, any additional Millennium Problem claims, or public model releases demonstrating comparable capabilities.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於OpenAI
46% 機率
最新
最新
2027-12-31
OpenAI
46% 機率
最新
最新
2027-12-31
This market will resolve to "OpenAI" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before Anthropic does so. This market will resolve to "Anthropic" if Anthropic, or an official representative of Anthropic, announces that Anthropic has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before OpenAI does so.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 company, 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 company's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.OpenAI’s September 8 announcement that an unreleased internal model, coordinating roughly 10,000 AI agents over 88 hours plus Lean formalization via GPT-6 Astra, produced a claimed solution to the Navier-Stokes existence and smoothness problem has intensified competition with Anthropic. The result remains subject to independent verification by the Clay Mathematics Institute and faces questions over completeness and priority after Anthropic researcher Levent Alpöge and NYU’s Tristan Buckmaster released related AI-assisted progress on simplified Euler and Boussinesq cases just hours earlier. Trader sentiment stays nearly even because OpenAI has stated it will not claim the prize, while Anthropic’s models contributed to the concurrent human-AI work and both labs continue rapid scaling of multi-agent systems for mathematical reasoning. Key upcoming catalysts include formal peer review of the proofs, any additional Millennium Problem claims, or public model releases demonstrating comparable capabilities.
This market will resolve to "OpenAI" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before Anthropic does so. This market will resolve to "Anthropic" if Anthropic, or an official representative of Anthropic, announces that Anthropic has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before OpenAI does so.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 company, 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 company's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 company, 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 company's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.
市場開放時間： Sep 9, 2026, 3:42 PM ET
交易量
$1,588結束日期
2028-01-01市場開放時間
Sep 9, 2026, 3:42 PM ETThis market will resolve to "OpenAI" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before Anthropic does so. This market will resolve to "Anthropic" if Anthropic, or an official representative of Anthropic, announces that Anthropic has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before OpenAI does so.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 company, 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 company's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.OpenAI’s September 8 announcement that an unreleased internal model, coordinating roughly 10,000 AI agents over 88 hours plus Lean formalization via GPT-6 Astra, produced a claimed solution to the Navier-Stokes existence and smoothness problem has intensified competition with Anthropic. The result remains subject to independent verification by the Clay Mathematics Institute and faces questions over completeness and priority after Anthropic researcher Levent Alpöge and NYU’s Tristan Buckmaster released related AI-assisted progress on simplified Euler and Boussinesq cases just hours earlier. Trader sentiment stays nearly even because OpenAI has stated it will not claim the prize, while Anthropic’s models contributed to the concurrent human-AI work and both labs continue rapid scaling of multi-agent systems for mathematical reasoning. Key upcoming catalysts include formal peer review of the proofs, any additional Millennium Problem claims, or public model releases demonstrating comparable capabilities.
This market will resolve to "OpenAI" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before Anthropic does so. This market will resolve to "Anthropic" if Anthropic, or an official representative of Anthropic, announces that Anthropic has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before OpenAI does so.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 company, 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 company's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 company, 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 company's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.
交易量
$1,588結束日期
2028-01-01市場開放時間
Sep 9, 2026, 3:42 PM ETOpenAI’s September 8 announcement that an unreleased internal model, coordinating roughly 10,000 AI agents over 88 hours plus Lean formalization via GPT-6 Astra, produced a claimed solution to the Navier-Stokes existence and smoothness problem has intensified competition with Anthropic. The result remains subject to independent verification by the Clay Mathematics Institute and faces questions over completeness and priority after Anthropic researcher Levent Alpöge and NYU’s Tristan Buckmaster released related AI-assisted progress on simplified Euler and Boussinesq cases just hours earlier. Trader sentiment stays nearly even because OpenAI has stated it will not claim the prize, while Anthropic’s models contributed to the concurrent human-AI work and both labs continue rapid scaling of multi-agent systems for mathematical reasoning. Key upcoming catalysts include formal peer review of the proofs, any additional Millennium Problem claims, or public model releases demonstrating comparable capabilities.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於
警惕外部連結哦。
警惕外部連結哦。
Frequently Asked Questions