- 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）在所列日期的 23:59 ET 前，因 Navier-Stokes 存在性与光滑性问题颁发千禧年大奖，或以其他方式在其网站或官方通信中正式宣布 Navier-Stokes 存在性与光滑性问题已解决，则该市场将判定为“是”。否则，本市场将以“否”结算。 颁发千禧年大奖将符合正式声明的条件，但并非必要；CMI 正式声明 Navier-Stokes 存在性与光滑性问题已解决，本身即已足够。不会考虑解答是否全部或部分由人工智能生成，也不会考虑任何获奖者是否接受或拒绝奖项。 已发表或公开发布的证明本身不符合条件，无论数学界是否接受该证明。 主要判定依据为 Clay Mathematics Institute 的官方信息（例如 https://www.claymath.org）；不过，也可采用可信报道的共识，确认 CMI 是否已作出符合条件的声明或颁发奖项。
机器翻译。如有争议，以原文为准。