OpenAI’s September 8 announcement that an internal model, more capable than GPT-6 Astra, used roughly 10,000 AI agents to produce a Lean-verified proof of singularity formation in the Navier-Stokes equations has sharply raised trader expectations for rapid follow-on progress. The result, reached in 88 hours after a September 1 start triggered by rumors of parallel work at Anthropic, marks the first AI-driven solution to a Millennium Prize Problem and underscores accelerating AI math capabilities amid competition with labs like Anthropic. OpenAI explicitly declined to claim the $1 million prize, framing the effort as a benchmark of model advancement rather than a formal submission. Key near-term catalysts include peer scrutiny of the proof, potential additional Millennium Problem attempts, and any public statements on further internal breakthroughs before year-end.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於最新
$23,744 交易量
2026-09-30
2026年9月30日
14%
2026年12月31日
28%
2027年12月31日
56%
$23,744 交易量
2026年9月30日
$12,885 交易量
14%
2026年12月31日
$8,725 交易量
28%
2027年12月31日
$2,134 交易量
56%
This market will resolve to "Yes" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved any of the qualifying Millennium Prize Problems between market creation and the specified date, 11:59 PM ET. 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 OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI'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/or its official representatives; however, a consensus of credible reporting may also be used.OpenAI’s September 8 announcement that an internal model, more capable than GPT-6 Astra, used roughly 10,000 AI agents to produce a Lean-verified proof of singularity formation in the Navier-Stokes equations has sharply raised trader expectations for rapid follow-on progress. The result, reached in 88 hours after a September 1 start triggered by rumors of parallel work at Anthropic, marks the first AI-driven solution to a Millennium Prize Problem and underscores accelerating AI math capabilities amid competition with labs like Anthropic. OpenAI explicitly declined to claim the $1 million prize, framing the effort as a benchmark of model advancement rather than a formal submission. Key near-term catalysts include peer scrutiny of the proof, potential additional Millennium Problem attempts, and any public statements on further internal breakthroughs before year-end.
This market will resolve to "Yes" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved any of the qualifying Millennium Prize Problems between market creation and the specified date, 11:59 PM ET. 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 OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI'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/or its 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 OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI'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/or its official representatives; however, a consensus of credible reporting may also be used.
市場開放時間： Sep 9, 2026, 12:00 PM ET
交易量
$23,744結束日期
2028-01-01市場開放時間
Sep 9, 2026, 12:00 PM ETThis market will resolve to "Yes" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved any of the qualifying Millennium Prize Problems between market creation and the specified date, 11:59 PM ET. 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 OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI'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/or its official representatives; however, a consensus of credible reporting may also be used.OpenAI’s September 8 announcement that an internal model, more capable than GPT-6 Astra, used roughly 10,000 AI agents to produce a Lean-verified proof of singularity formation in the Navier-Stokes equations has sharply raised trader expectations for rapid follow-on progress. The result, reached in 88 hours after a September 1 start triggered by rumors of parallel work at Anthropic, marks the first AI-driven solution to a Millennium Prize Problem and underscores accelerating AI math capabilities amid competition with labs like Anthropic. OpenAI explicitly declined to claim the $1 million prize, framing the effort as a benchmark of model advancement rather than a formal submission. Key near-term catalysts include peer scrutiny of the proof, potential additional Millennium Problem attempts, and any public statements on further internal breakthroughs before year-end.
This market will resolve to "Yes" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved any of the qualifying Millennium Prize Problems between market creation and the specified date, 11:59 PM ET. 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 OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI'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/or its 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 OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI'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/or its official representatives; however, a consensus of credible reporting may also be used.
交易量
$23,744結束日期
2028-01-01市場開放時間
Sep 9, 2026, 12:00 PM ETOpenAI’s September 8 announcement that an internal model, more capable than GPT-6 Astra, used roughly 10,000 AI agents to produce a Lean-verified proof of singularity formation in the Navier-Stokes equations has sharply raised trader expectations for rapid follow-on progress. The result, reached in 88 hours after a September 1 start triggered by rumors of parallel work at Anthropic, marks the first AI-driven solution to a Millennium Prize Problem and underscores accelerating AI math capabilities amid competition with labs like Anthropic. OpenAI explicitly declined to claim the $1 million prize, framing the effort as a benchmark of model advancement rather than a formal submission. Key near-term catalysts include peer scrutiny of the proof, potential additional Millennium Problem attempts, and any public statements on further internal breakthroughs before year-end.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於
警惕外部連結哦。
警惕外部連結哦。
Frequently Asked Questions