OpenAI's September 2026 announcement of an AI-generated proof—verified in Lean—showing finite-time singularity formation in forced three-dimensional Navier-Stokes equations prompted the Clay Mathematics Institute to state on September 11 that the problem appears settled. However, CMI continues to list it as active, citing its deliberate review process that requires formal publication, broad community acceptance, and a two-year scrutiny period before any prize declaration or award. Related results on Euler and Boussinesq equations by mathematicians collaborating with Anthropic added momentum but also sparked priority disputes, while the unforced existence and smoothness variants remain unresolved. Traders should watch for CMI updates on evaluation progress and any qualifying publications as key near-term catalysts.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · UpdatedView resolved

Beware of external links.
Beware of external links.
Frequently Asked Questions