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.
Experimentelle KI-generierte Zusammenfassung mit Polymarket-Daten. Dies ist keine Handelsberatung und spielt keine Rolle bei der Auflösung dieses Marktes. · Aktualisiert$23,744 Vol.
30. September 2026
14%
31. Dezember 2026
28%
31. Dezember 2027
56%
$23,744 Vol.
30. September 2026
14%
31. Dezember 2026
28%
31. Dezember 2027
56%
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 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.
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