Data quality warningSource data degraded
Data as of Oct 25, 2026, 6:21 AM UTC · policy pm-quality-4
Current community forecast
No 96.3%
Forecasters
25
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 9 hours ago
StaleSep 5, 26, 3:54 AM UTCDec 31, 26, 11:59 PM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
Will Anthropic announce a solution to the Navier-Stokes Millennium problem before IPO?
Manifold MarketsWhich of Anthropic and OpenAI will get more credit for the Navier-Stokes solution, in my judgement?
Manifold MarketsOpenAI retracts Navier-Stokes solution in 2026?
PolymarketOpenAI retracts Navier-Stokes solution in 2026?
PolymarketSerrano and Google DeepMind publish Navier-Stokes result by 2027?
Manifold MarketsWill Anthropic announce having solved Navier Stokes but actually not have?
Manifold MarketsRules
The Navier–Stokes existence and smoothness problem is one of the seven Clay Millennium Prize Problems, and as of 2026, the only Millennium Prize problem to have been solved is the Poincaré conjecture.
- This market asks whether Anthropic will publicly claim that one of its AI systems has resolved it.
- Resolves YES if: before 11:59 PM ET December 31, 2026, Anthropic publicly announces — or a preprint with Anthropic-affiliated authors or Anthropic’s official endorsement presents — a claimed complete resolution of the Clay Mathematics Institute’s Navier–Stokes existence and smoothness problem, with Claude or another Anthropic AI system credited as the primary source of the proof.
- • Either direction counts.
- A claimed proof of global existence and smoothness, OR a claimed counterexample (finite-time blow-up from smooth, finite-energy initial data), in either the R³ or periodic setting as specified in Clay’s official problem statement.
- Both resolve the Millennium problem and both count.
