Loading your workspace…
All markets
Will CMI declare the Navier-Stokes problem solved by ___?
Foretrace AI research
Understand the odds. Examine the reasoning.
Polymarket shows market prices. Foretrace adds AI probability estimates, opposing evidence and a price-dependent Yes, No or pass decision on eligible markets.
View a sample AI report This event is outside current AI coverage.
24h volume$0.6
Total volume$22.8K
Liquidity$23.3K
Event end date · UTCJan 1, 2029
Price history
Market probabilityLoading price history…
Polymarket · UTC
Sampled market observations, not AI forecasts. Lines connect available observations. Legend values are current provider quotes; chart points may be older.
Outcomes & resolution rules
3 marketsThese are market-implied probabilities, not AI forecasts. A displayed quote may differ from the price available for your order.
December 31, 2026Accepting ordersMarket odds4.5%
Will CMI declare the Navier-Stokes problem solved by December 31, 2026?
Yes4.5%Polymarket estimate
No95.5%Polymarket estimate
- Liquidity
- $13.2K
- Deadline · UTC
- Jan 1, 2027
- Yes bid / ask
- 4.0¢ / 5.0¢
- Trading fees
- Enabled · verify on Polymarket
AI research not covered
Initial research coverage focuses on politics and the economy.
Check AI research coverageResolution rules
This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for the Navier-Stokes existence and smoothness problem, or otherwise officially declares the Navier-Stokes existence and smoothness problem solved on its website or in an official communication, by 11:59 PM ET of the listed date. Otherwise, this market will resolve to "No". A Millennium Prize award will qualify as an official declaration, but is not required; an official CMI statement that the Navier-Stokes existence and smoothness problem has been solved is sufficient on its own. Whether the solution was produced in whole or in part by artificial intelligence, and whether any recipient accepts or declines a prize, will not be considered. A published or publicly posted proof will not qualify on its own, regardless of its acceptance by the mathematical community. The primary resolution source will be official information from the Clay Mathematics Institute (e.g., https://www.claymath.org); however, a consensus of credible reporting may be used to confirm that a qualifying CMI declaration or award has occurred.