- Wird CMI das Navier-Stokes-Problem bis zum 31. Dezember 2026 für gelöst erklären?4¢4 %
- Wird CMI das Navier-Stokes-Problem bis zum 31. Dezember 2027 für gelöst erklären?14¢14 %
- Wird CMI das Navier-Stokes-Problem bis zum 31. Dezember 2028 für gelöst erklären?38¢38 %
OpenAI’s September 2026 announcement that an internal multi-agent AI system produced a Lean-formalized proof of finite-time singularity in the forced three-dimensional Navier-Stokes equations has driven recent trader sentiment, though CMI immediately described the problem as only “apparently settled.” The institute’s rules require peer-reviewed publication in a qualifying journal, broad community acceptance, and a two-year waiting period before any declaration, leaving the problem officially active as of late October. Parallel human-AI results on related forced Euler and Boussinesq equations by Buckmaster and Alpöge have added context but do not resolve the unforced case central to the prize formulation. Ongoing scrutiny, including an October arXiv note questioning semantic fidelity of the Lean formalization, and the absence of an accepted journal paper keep resolution timelines uncertain despite the computational milestone.
Regeln
Dieser Markt wird mit „Ja“ aufgelöst, wenn das Clay Mathematics Institute (CMI) bis 23:59 ET am angegebenen Datum einen Millennium-Preis für das Navier-Stokes-Existenz- und Glattheitsproblem vergibt oder auf seiner Website oder in einer offiziellen Mitteilung anderweitig offiziell erklärt, dass das Navier-Stokes-Existenz- und Glattheitsproblem gelöst ist. Andernfalls wird dieser Markt mit „Nein“ aufgelöst. Die Vergabe eines Millennium-Preises gilt als offizielle Erklärung, ist jedoch nicht erforderlich; eine offizielle Erklärung des CMI, dass das Navier-Stokes-Existenz- und Glattheitsproblem gelöst ist, genügt für sich allein. Es wird nicht berücksichtigt, ob die Lösung ganz oder teilweise durch künstliche Intelligenz erbracht wurde und ob ein Empfänger einen Preis annimmt oder ablehnt. Ein veröffentlichter oder öffentlich zugänglich gemachter Beweis reicht allein nicht aus, unabhängig davon, ob er von der mathematischen Gemeinschaft anerkannt wird. Primäre Quelle für die Auflösung sind offizielle Informationen des Clay Mathematics Institute (z. B. https://www.claymath.org); zur Bestätigung, dass eine qualifizierende Erklärung oder Preisvergabe durch das CMI erfolgt ist, kann jedoch ein Konsens glaubwürdiger Berichterstattung herangezogen werden.
Maschinelle Übersetzung. Im Streitfall gilt das Original.