OpenAI's recent demonstration of solving a key aspect of the Navier-Stokes Millennium Prize Problem has anchored trader sentiment at 64% implied probability for the company. On September 8, 2026, OpenAI published a Lean-verified proof from an internal large language model and 10,000 coordinated AI agents showing finite-time singularities under smooth forcing, establishing statements C and D in the official formulation after roughly 88 hours of compute. The effort followed rumors of related progress on forced Euler equations by NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge, whose AI-assisted stepping-stone results used models from both labs. While controversy persists over potential indirect influence from prior user data, OpenAI's scale, verification, and timing on the fuller Navier-Stokes variant currently outweigh Anthropic's contributions, though independent mathematical review and any future claims could shift the market-implied odds.
Experimentelle KI-generierte Zusammenfassung mit Polymarket-Daten. Dies ist keine Handelsberatung und spielt keine Rolle bei der Auflösung dieses Marktes. · AktualisiertOpenAI
OpenAI
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.
Markt eröffnet: Sep 9, 2026, 3:42 PM ET
Abwickler
0x65070BE91...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.
Abwickler
0x65070BE91...OpenAI's recent demonstration of solving a key aspect of the Navier-Stokes Millennium Prize Problem has anchored trader sentiment at 64% implied probability for the company. On September 8, 2026, OpenAI published a Lean-verified proof from an internal large language model and 10,000 coordinated AI agents showing finite-time singularities under smooth forcing, establishing statements C and D in the official formulation after roughly 88 hours of compute. The effort followed rumors of related progress on forced Euler equations by NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge, whose AI-assisted stepping-stone results used models from both labs. While controversy persists over potential indirect influence from prior user data, OpenAI's scale, verification, and timing on the fuller Navier-Stokes variant currently outweigh Anthropic's contributions, though independent mathematical review and any future claims could shift the market-implied odds.
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