- Wird OpenAI seine Lösung der Navier-Stokes-Gleichungen 2026 zurückziehen?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.
Regeln
Dieser Markt wird mit „Ja“ aufgelöst, wenn OpenAI seine Navier-Stokes-Lösung zwischen der Erstellung des Marktes und dem 31. Dezember 2026 um 23:59 ET zurückzieht. Andernfalls wird dieser Markt mit „Nein“ aufgelöst. Mit OpenAIs Navier-Stokes-Lösung ist die Navier-Stokes-Lösung gemeint, die OpenAI am 8. September 2026 bekannt gegeben hat (https://openai.com/index/navier-stokes-solution/). Ein qualifizierender Widerruf liegt vor, wenn OpenAI offiziell und öffentlich erklärt, dass der veröffentlichte Beweis falsch war oder das Navier-Stokes-Problem nicht löst. Erklärungen anderer Parteien gelten nicht. Überarbeitungen, die nicht die Richtigkeit des ursprünglichen Beweises als Lösung des Navier-Stokes-Problems widerrufen, gelten nicht. Erklärungen zur Urheberschaft, Anerkennung oder Zuschreibung des Ergebnisses oder dazu, ob es für den Millennium-Preis infrage kommt, gelten für sich genommen nicht. Die primäre Quelle für die Auflösung dieses Marktes sind offizielle Informationen von OpenAI; es kann jedoch auch ein Konsens glaubwürdiger Berichterstattung herangezogen werden.
Maschinelle Übersetzung. Im Streitfall gilt das Original.