- CMIは2026年12月31日までにナビエ–ストークス問題が解決したと宣言するでしょうか？4¢4%
- CMIは2027年12月31日までにナビエ–ストークス問題が解決したと宣言するでしょうか？14¢14%
- CMIは2028年12月31日までにナビエ–ストークス問題が解決したと宣言するでしょうか？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の存在と滑らかさの問題に対してMillennium Prizeを授与するか、またはウェブサイトもしくは公式な発表で、Navier-Stokesの存在と滑らかさの問題が解決されたと別の形で公式に宣言した場合、この市場は「はい」で決着します。それ以外の場合、この市場は「いいえ」で決着します。 Millennium Prizeの授与は公式な宣言として認められますが、必須ではありません。Navier-Stokesの存在と滑らかさの問題が解決されたというCMIの公式声明だけで十分です。解決が人工知能によって全部または一部作成されたかどうか、また受賞者が賞を受け取るか辞退するかは考慮されません。 公表または一般公開された証明は、数学界が受け入れているかどうかにかかわらず、それだけでは条件を満たしません。 決済の主な情報源はClay Mathematics Instituteの公式情報（例：https://www.claymath.org）とします。ただし、条件を満たすCMIの宣言または授賞が行われたことの確認には、信頼できる報道の総意を用いる場合があります。
機械翻訳です。解釈に相違がある場合は原文が優先されます。