- CMI 會在 2026年12月31日 前宣布 Navier-Stokes 問題已解決嗎？4¢4%
- CMI 會在 2027年12月31日 前宣布 Navier-Stokes 問題已解決嗎？14¢14%
- CMI 會在 2028年12月31日 前宣布 Navier-Stokes 問題已解決嗎？38¢38%
OpenAI’s September 2026 announcement that an internal multi-agent AI system produced a Lean-formalized proof of finite-time singularity in the forced three-dimensional Navier-Stokes equations has driven recent trader sentiment, though CMI immediately described the problem as only “apparently settled.” The institute’s rules require peer-reviewed publication in a qualifying journal, broad community acceptance, and a two-year waiting period before any declaration, leaving the problem officially active as of late October. Parallel human-AI results on related forced Euler and Boussinesq equations by Buckmaster and Alpöge have added context but do not resolve the unforced case central to the prize formulation. Ongoing scrutiny, including an October arXiv note questioning semantic fidelity of the Lean formalization, and the absence of an accepted journal paper keep resolution timelines uncertain despite the computational milestone.
規則
如果 Clay Mathematics Institute（CMI）在所列日期的 下午11:59 ET 前，因 Navier-Stokes 存在性與光滑性問題頒發千禧年大獎，或以其他方式在其網站或官方通訊中正式宣布 Navier-Stokes 存在性與光滑性問題已獲解決，此市場將判定為「是」。否則，此市場將以「否」結算。 頒發千禧年大獎將符合正式聲明的資格，但並非必要條件；CMI 正式聲明 Navier-Stokes 存在性與光滑性問題已獲解決，本身即足以構成依據。不會考量解答是否全部或部分由人工智慧產生，也不會考量任何得獎者是否接受或拒絕獎項。 已發表或公開張貼的證明本身不符合條件，不論數學界是否接受該證明。 主要判定依據為 Clay Mathematics Institute 的官方資訊（例如 https://www.claymath.org）；但也可採用可信報導的共識，確認 CMI 是否已作出符合條件的聲明或頒發獎項。
機器翻譯。如有爭議，以原文為準。