Will AI produce a proof of finite-time blow-up for the unforced Navier–Stokes equations before 2027?
One-OffKITechnikWissenschaft2Mon
Manifold MarketsKein KYCVerifizierte AuflösungsdatenOrdentlich kalibriertAktuelle Community-PrognoseNein 68.7%
Prognostiker
9
Fragetyp
binary
Methodik
Play-money forecasting platform
Quellentyp
Prognose
Marktdaten
Aktualisiert vor 5 Stunden
Veraltet9. Sept. 26, 19:42 UTC31. Dez. 26, 23:59 UTC
Trends
Regeln
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.
