- 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.
規則
如果 OpenAI 在市場建立後至 2026年12月31日 下午11:59 ET 期間撤回其 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 的官方資訊；但亦可採用可信報導所形成的共識。
機器翻譯。如有爭議，以原文為準。