OpenAI’s September 8 announcement that an unreleased internal model, guided by roughly 10,000 autonomous AI agents, produced a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem has sharply shifted trader sentiment on whether the company will publicly claim another Millennium Prize solution soon. The result demonstrates finite-time singularity formation in smooth fluid flows, marking the first AI-driven solution to a classic Millennium problem and underscoring rapid gains in mathematical reasoning capabilities. Competitive pressure from parallel work by NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, plus questions over data provenance, has added scrutiny but not overturned the core finding. OpenAI explicitly stated it does not intend to claim the $1 million prize, focusing instead on showcasing model progress, while the broader math community now reviews the write-up and formalization. Upcoming catalysts include any follow-on announcements targeting remaining open problems such as the Riemann Hypothesis or P versus NP before year-end deadlines, alongside potential independent verifications or competing claims from other labs.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於最新
2026-09-30
2026年9月30日
8%
2026年12月31日
24%
2027年12月31日
46%
$5,755 交易量
2026年9月30日
$3,168 交易量
8%
2026年12月31日
$2,586 交易量
24%
2027年12月31日
$1 交易量
46%
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 unreleased internal model, guided by roughly 10,000 autonomous AI agents, produced a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem has sharply shifted trader sentiment on whether the company will publicly claim another Millennium Prize solution soon. The result demonstrates finite-time singularity formation in smooth fluid flows, marking the first AI-driven solution to a classic Millennium problem and underscoring rapid gains in mathematical reasoning capabilities. Competitive pressure from parallel work by NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, plus questions over data provenance, has added scrutiny but not overturned the core finding. OpenAI explicitly stated it does not intend to claim the $1 million prize, focusing instead on showcasing model progress, while the broader math community now reviews the write-up and formalization. Upcoming catalysts include any follow-on announcements targeting remaining open problems such as the Riemann Hypothesis or P versus NP before year-end deadlines, alongside potential independent verifications or competing claims from other labs.
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
交易量
$5,755結束日期
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 unreleased internal model, guided by roughly 10,000 autonomous AI agents, produced a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem has sharply shifted trader sentiment on whether the company will publicly claim another Millennium Prize solution soon. The result demonstrates finite-time singularity formation in smooth fluid flows, marking the first AI-driven solution to a classic Millennium problem and underscoring rapid gains in mathematical reasoning capabilities. Competitive pressure from parallel work by NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, plus questions over data provenance, has added scrutiny but not overturned the core finding. OpenAI explicitly stated it does not intend to claim the $1 million prize, focusing instead on showcasing model progress, while the broader math community now reviews the write-up and formalization. Upcoming catalysts include any follow-on announcements targeting remaining open problems such as the Riemann Hypothesis or P versus NP before year-end deadlines, alongside potential independent verifications or competing claims from other labs.
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.
交易量
$5,755結束日期
2028-01-01市場開放時間
Sep 9, 2026, 12:00 PM ETOpenAI’s September 8 announcement that an unreleased internal model, guided by roughly 10,000 autonomous AI agents, produced a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem has sharply shifted trader sentiment on whether the company will publicly claim another Millennium Prize solution soon. The result demonstrates finite-time singularity formation in smooth fluid flows, marking the first AI-driven solution to a classic Millennium problem and underscoring rapid gains in mathematical reasoning capabilities. Competitive pressure from parallel work by NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, plus questions over data provenance, has added scrutiny but not overturned the core finding. OpenAI explicitly stated it does not intend to claim the $1 million prize, focusing instead on showcasing model progress, while the broader math community now reviews the write-up and formalization. Upcoming catalysts include any follow-on announcements targeting remaining open problems such as the Riemann Hypothesis or P versus NP before year-end deadlines, alongside potential independent verifications or competing claims from other labs.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於
警惕外部連結哦。
警惕外部連結哦。
Frequently Asked Questions