- CMI, 31 Aralık 2026'ya kadar Navier-Stokes probleminin çözüldüğünü ilan edecek mi?3¢%3
- CMI, Navier-Stokes probleminin 31 Aralık 2027'ye kadar çözüldüğünü ilan edecek mi?13¢%13
- CMI, Navier-Stokes probleminin 31 Aralık 2028'e kadar çözüldüğünü ilan edecek mi?30¢%30
- %3,131 Aralık 2026$9,2 B hacim
- %2%12,531 Aralık 2027$19,4 B hacim
- %2%3031 Aralık 2028$5,7 B hacim
OpenAI's September 2026 announcement of an AI-generated proof—produced by thousands of agents on an internal model and verified in Lean—established finite-time singularities for forced three-dimensional Navier-Stokes equations, covering Clay statements C and D. The Clay Mathematics Institute responded days later by labeling the problem "Active" and stating it had "apparently been settled," while emphasizing its deliberately unhurried evaluation process that requires peer-reviewed publication and credit assignment. Related human-AI work on Euler and Boussinesq equations by researchers including Tristan Buckmaster fueled credit disputes, and the unforced existence cases remain unresolved. Traders should watch for formal journal publication or CMI updates, as official Millennium Prize declaration hinges on these rigorous thresholds rather than the initial claim.
Kurallar
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.