OpenAI’s September 8 announcement of an AI-generated solution to the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—has sharply elevated trader expectations for additional breakthroughs. An internal model far more capable than GPT-6 Astra deployed roughly 10,000 agents over 88 hours, producing both a proof of finite-time singularity and Lean formalization at an estimated cost in the millions. The effort followed rumors of parallel work by Anthropic-linked researchers on related fluid equations, highlighting intense AI-lab competition in mathematical reasoning benchmarks. OpenAI explicitly declined to claim the $1 million prize, framing the result instead as evidence of accelerating model progress. Mathematicians are now scrutinizing the proof while labs test remaining problems, with any verified follow-on announcement likely to move odds quickly given the demonstrated agentic workflow and compute scale.
Experimentelle KI-generierte Zusammenfassung mit Polymarket-Daten. Dies ist keine Handelsberatung und spielt keine Rolle bei der Auflösung dieses Marktes. · Aktualisiert$231,940 Vol.
30. September 2026
16%
31. Dezember 2026
59%
31. Dezember 2027
84%
$231,940 Vol.
30. September 2026
16%
31. Dezember 2026
59%
31. Dezember 2027
84%
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.
Markt eröffnet: Sep 9, 2026, 12:00 PM ET
Abwickler
0x65070BE91...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.
Abwickler
0x65070BE91...OpenAI’s September 8 announcement of an AI-generated solution to the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—has sharply elevated trader expectations for additional breakthroughs. An internal model far more capable than GPT-6 Astra deployed roughly 10,000 agents over 88 hours, producing both a proof of finite-time singularity and Lean formalization at an estimated cost in the millions. The effort followed rumors of parallel work by Anthropic-linked researchers on related fluid equations, highlighting intense AI-lab competition in mathematical reasoning benchmarks. OpenAI explicitly declined to claim the $1 million prize, framing the result instead as evidence of accelerating model progress. Mathematicians are now scrutinizing the proof while labs test remaining problems, with any verified follow-on announcement likely to move odds quickly given the demonstrated agentic workflow and compute scale.
Experimentelle KI-generierte Zusammenfassung mit Polymarket-Daten. Dies ist keine Handelsberatung und spielt keine Rolle bei der Auflösung dieses Marktes. · Aktualisiert


Vorsicht bei externen Links.
Vorsicht bei externen Links.
Häufig gestellte Fragen