OpenAI’s recent announcement of an AI-driven solution to the Navier-Stokes existence and smoothness problem—using thousands of agents on an unreleased internal model, followed by Lean formalization—has created a near-even split in trader sentiment around potential retraction. The 50.5% market-implied odds on “No” reflect strong verification via the public proof and repository, which independently confirms finite-time singularity in the forced case, yet balanced by intense scrutiny over credit disputes with mathematicians Tristan Buckmaster and Levent Alpöge, allegations of indirect data influence, and OpenAI’s narrowed claim that avoids the full Millennium Prize. Upcoming mathematician reviews, including a Harvard analysis, and any formal challenges to the proof’s scope could quickly shift consensus before year-end.
Eksperymentalne podsumowanie AI odwołujące się do danych Polymarket. To nie jest porada handlowa i nie ma wpływu na rozstrzyganie tego rynku. · ZaktualizowanoOpenAI retracts Navier-Stokes solution in 2026?
OpenAI's Navier-Stokes solution refers to the Navier-Stokes solution that OpenAI announced on September 8, 2026 (https://openai.com/index/navier-stokes-solution/).
A qualifying retraction occurs when OpenAI officially and publicly states that the published proof was incorrect or does not solve the Navier-Stokes problem. Statements by any other party will not qualify. Revisions that do not retract the correctness of the initial proof as a solution to the Navier-Stokes problem will not qualify. Statements about the authorship, credit, or attribution of the result, or about whether it qualifies for the Millennium Prize, will not on their own qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting may also be used.
Rynek otwarty: Sep 9, 2026, 6:04 PM ET
Rozstrzygający
0x65070BE91...OpenAI's Navier-Stokes solution refers to the Navier-Stokes solution that OpenAI announced on September 8, 2026 (https://openai.com/index/navier-stokes-solution/).
A qualifying retraction occurs when OpenAI officially and publicly states that the published proof was incorrect or does not solve the Navier-Stokes problem. Statements by any other party will not qualify. Revisions that do not retract the correctness of the initial proof as a solution to the Navier-Stokes problem will not qualify. Statements about the authorship, credit, or attribution of the result, or about whether it qualifies for the Millennium Prize, will not on their own qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting may also be used.
Rozstrzygający
0x65070BE91...OpenAI’s recent announcement of an AI-driven solution to the Navier-Stokes existence and smoothness problem—using thousands of agents on an unreleased internal model, followed by Lean formalization—has created a near-even split in trader sentiment around potential retraction. The 50.5% market-implied odds on “No” reflect strong verification via the public proof and repository, which independently confirms finite-time singularity in the forced case, yet balanced by intense scrutiny over credit disputes with mathematicians Tristan Buckmaster and Levent Alpöge, allegations of indirect data influence, and OpenAI’s narrowed claim that avoids the full Millennium Prize. Upcoming mathematician reviews, including a Harvard analysis, and any formal challenges to the proof’s scope could quickly shift consensus before year-end.
Eksperymentalne podsumowanie AI odwołujące się do danych Polymarket. To nie jest porada handlowa i nie ma wpływu na rozstrzyganie tego rynku. · Zaktualizowano

Uważaj na linki zewnętrzne.
Uważaj na linki zewnętrzne.
Często zadawane pytania