- OpenAI 會在 2026 年撤回其 Navier–Stokes 方程的解嗎？7¢7%
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.
規則
如果 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 的官方資訊；但亦可採用可信報導所形成的共識。
機器翻譯。如有爭議，以原文為準。