- OpenAIは2026年12月31日までにNavier–Stokesの解を撤回するでしょうか？6¢6%
OpenAI’s September 2026 announcement of an AI-generated proof showing finite-time blowup for the forced 3D Navier-Stokes equations, backed by a Lean formalization, has sustained strong market conviction against retraction. The result stems from an internal multi-agent system consuming 130 billion tokens, and while a credit dispute with mathematicians Tristan Buckmaster and Levent Alpöge plus a mismatch between the natural-language write-up and Lean code have drawn scrutiny, no fatal flaw has emerged in subsequent reviews. Recent withdrawals of unrelated OpenAI math preprints highlight the company’s willingness to correct errors quickly, yet the Navier-Stokes claim remains intact amid deliberately unhurried Clay Institute evaluation. Traders see limited realistic paths to retraction by year-end absent a verified contradiction in the machine-checked steps.
ルール
市場の作成から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の公式情報ですが、信頼できる報道の総意を用いることもあります。
機械翻訳です。解釈に相違がある場合は原文が優先されます。