Data quality warningSource data degraded
Data as of Oct 26, 2026, 7:03 AM UTC · policy pm-quality-4
Current community forecast
Yes 96.2%
Forecasters
17
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 34 minutes ago
Aug 17, 26, 12:34 PM UTCDec 31, 98, 4:00 PM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
Will Navier-Stokes be solved with the help of Google or Alphabet scientists by the end of 2027?
Manifold MarketsWill Anthropic announce a solution to the Navier-Stokes Millennium problem before IPO?
Manifold MarketsWhich Millennium prize problem will be solved next? (after Navier-Stokes)
Manifold MarketsDoes a smooth Navier-Stokes solution always exist?
Manifold MarketsWill CMI declare the Navier-Stokes problem solved by which date?
PolymarketOpenAI retracts Navier-Stokes solution in 2026?
PolymarketRules
Resolves YES if Navier-Stokes is solved by AI and NO if it is solved by a human.
- For a YES resolution, the AI is required to do most or all of the mathematical work.
- For a NO resolution, the human is allowed to use AI for purposes of literature search or proving minor lemmas but the bulk of the proof must come from the human mind.
- If, when the problem is solved, it becomes unclear whether AI or humans should get more credit, the issue shall be disputed in the comments.
