Data quality warningSource data degraded
Data as of Oct 23, 2026, 5:10 PM UTC · policy pm-quality-4
Current community forecast
No 68.7%
Forecasters
9
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 8 hours ago
StaleSep 9, 26, 7:42 PM UTCDec 31, 26, 11:59 PM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
Serrano and Google DeepMind publish Navier-Stokes result by 2027?
Manifold MarketsWill Anthropic announce a solution to the Navier-Stokes Millennium problem before IPO?
Manifold MarketsWill Anthropic announce a claimed solution to Navier–Stokes before the end of 2026?
Manifold MarketsWill Anthropic announce having solved Navier Stokes but actually not have?
Manifold MarketsOpenAI retracts Navier-Stokes solution in 2026?
PolymarketOpenAI retracts Navier-Stokes solution in 2026?
PolymarketRules
Title: Will AI produce a proof of finite-time blow-up for the unforced Navier–Stokes equations before 2027?
- Description:
- On September 8, 2026, OpenAI announced an AI-generated, Lean-verified proof that the 3D incompressible Navier–Stokes equations can develop a finite-time singularity from smooth initial data under a smooth external force.
- That construction addresses options C and D of the Clay Institute's official problem statement, which permit a smooth forcing term satisfying specified decay conditions; Clay has said the problem is "apparently settled" pending its review.
- This market is about a different and still-open question: the unforced equations (f ≡ 0).
- No external force is available to drive the singularity, and mathematicians have identified concrete obstacles to removing the force from the current construction.
