- OpenAIは2026年にナビエ–ストークス方程式の解を撤回するでしょうか？6¢6%
OpenAI’s September 2026 announcement of an AI-generated proof establishing finite-time singularity for the forced 3D Navier-Stokes equations—complete with a publicly released 166-page manuscript and Lean formalization—has anchored trader sentiment against retraction. The machine-verified formalization and the result’s alignment with Clay Institute statements C and D provide a high bar for any later withdrawal, even amid credit disputes with Buckmaster and Alpöge and separate retractions of other OpenAI math preprints in October. Community scrutiny continues without reported fatal errors, while the company’s decision not to claim the Millennium Prize reduces external pressure. A reversal would require discovery of a substantive flaw in the verified construction or a major shift in how the result is framed, outcomes that remain low-probability given the current verification status.
ルール
市場の作成から2026年12月31日の23:59 ETまでにOpenAIがNavier-Stokesの解法を撤回した場合、この市場は「はい」で決着します。それ以外の場合、この市場は「いいえ」で決着します。 OpenAIのNavier-Stokesの解法とは、OpenAIが2026年9月8日に発表したNavier-Stokesの解法を指します（https://openai.com/index/navier-stokes-solution/）。 OpenAIが、公開した証明は誤りであった、またはNavier-Stokes問題を解決していないと公式かつ公に表明した場合、条件を満たす撤回とみなされます。その他の当事者による声明は条件を満たしません。Navier-Stokes問題の解法としての当初の証明の正しさを撤回しない改訂は、条件を満たしません。結果の著者、功績、帰属に関する声明、またはMillennium Prizeの受賞資格に関する声明は、それだけでは条件を満たしません。 この市場の主な判定情報源はOpenAIの公式情報ですが、信頼できる報道の総意を用いることもあります。
機械翻訳です。解釈に相違がある場合は原文が優先されます。