- CMIは2026年12月31日までにミレニアム懸賞問題の一つが解決されたと宣言するでしょうか？3¢3%
- CMIは2027年12月31日までにミレニアム懸賞問題の一つが解決されたと宣言するでしょうか？13¢13%
- CMIは2028年12月31日までにミレニアム懸賞問題の一つが解決されたと宣言するでしょうか？36¢36%
OpenAI’s September 2026 announcement of an AI-generated proof resolving the Navier-Stokes existence and smoothness problem has become the dominant catalyst shaping trader sentiment on whether CMI will declare any Millennium Prize solved by the contract date. The company’s Lean-formalized claim of a finite-time singularity drew immediate attention from the math community, prompting CMI’s September 11 statement that the problem appears “apparently settled” while stressing its deliberately slow process: peer-reviewed publication, broad acceptance, and roughly two years of scrutiny before any prize consideration. Only the Poincaré conjecture has ever reached official resolution, awarded in 2010. With Navier-Stokes still labeled “active” and competing human-AI efforts adding uncertainty, markets hinge on verification timelines, upcoming community reviews, and whether CMI issues further updates before the deadline.
ルール
Clay Mathematics Institute (CMI) が、未解決の6つの Millennium Prize Problems のいずれかについて Millennium Prize を授与するか、ウェブサイトまたは公式な発表でこれらの問題のいずれかが解決されたと正式に宣言し、その発生がタイトルに指定された日の 23:59 ET までであれば、この市場は「はい」で決済されます。それ以外の場合、この市場は「いいえ」で決着します。 この市場は、未解決の6つの Millennium Prize Problems のうち1つが解決されたという、CMIによる適格な宣言のみに基づいて決済されます。解決が肯定的な証明、反例、反証、またはCMIが認めるその他の解決方法のいずれであるかは問いません。 Millennium Prize の授与は公式宣言として認められますが、必須ではありません。問題が解決されたというCMIの公式声明だけで十分です。解決が人工知能によって全部または一部作成されたかどうか、また受賞者が賞を受け取るか辞退するかは考慮されません。 公表または一般公開された証明は、数学界が受け入れているかどうかにかかわらず、それだけでは条件を満たしません。 決済の主な情報源はClay Mathematics Instituteの公式情報（例：https://www.claymath.org）とします。ただし、条件を満たすCMIの宣言または授賞が行われたことの確認には、信頼できる報道の総意を用いる場合があります。
機械翻訳です。解釈に相違がある場合は原文が優先されます。