- OpenAI retracts Navier-Stokes solution in 2026?6¢6%
OpenAI’s September 2026 announcement of an AI-generated proof establishing finite-time singularity for the forced 3D Navier-Stokes equations—complete with a publicly released 166-page manuscript and Lean formalization—has anchored trader sentiment against retraction. The machine-verified formalization and the result’s alignment with Clay Institute statements C and D provide a high bar for any later withdrawal, even amid credit disputes with Buckmaster and Alpöge and separate retractions of other OpenAI math preprints in October. Community scrutiny continues without reported fatal errors, while the company’s decision not to claim the Millennium Prize reduces external pressure. A reversal would require discovery of a substantive flaw in the verified construction or a major shift in how the result is framed, outcomes that remain low-probability given the current verification status.
Rules
This market will resolve to "Yes" if OpenAI retracts its Navier-Stokes solution between market creation and December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No". 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.