- Wird OpenAI seine Navier-Stokes-Lösung bis 31. Dezember 2026 zurückziehen?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.
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.