- Wird CMI bis 31. Dezember 2026 ein Millennium-Problem für gelöst erklären?3¢3 %
- Wird CMI bis 31. Dezember 2027 ein Millennium-Problem für gelöst erklären?13¢13 %
- Wird CMI bis 31. Dezember 2028 ein Millennium-Problem für gelöst erklären?36¢36 %
OpenAI’s September 2026 announcement of an AI-generated proof resolving the Navier-Stokes existence and smoothness problem has become the dominant catalyst shaping trader sentiment on whether CMI will declare any Millennium Prize solved by the contract date. The company’s Lean-formalized claim of a finite-time singularity drew immediate attention from the math community, prompting CMI’s September 11 statement that the problem appears “apparently settled” while stressing its deliberately slow process: peer-reviewed publication, broad acceptance, and roughly two years of scrutiny before any prize consideration. Only the Poincaré conjecture has ever reached official resolution, awarded in 2010. With Navier-Stokes still labeled “active” and competing human-AI efforts adding uncertainty, markets hinge on verification timelines, upcoming community reviews, and whether CMI issues further updates before the deadline.
Regeln
Dieser Markt wird mit „Ja“ aufgelöst, wenn das Clay Mathematics Institute (CMI) für eines der sechs noch ungelösten Millennium-Probleme einen Millennium-Preis vergibt oder eines dieser Probleme anderweitig auf seiner Website oder in einer offiziellen Mitteilung bis 23:59 ET an dem im Titel angegebenen Datum offiziell für gelöst erklärt. Andernfalls wird dieser Markt mit „Nein“ aufgelöst. Dieser Markt wird ausschließlich auf Grundlage einer qualifizierenden Erklärung des CMI aufgelöst, dass eines der sechs noch ungelösten Millennium-Probleme gelöst wurde – unabhängig davon, ob die Lösung in Form eines positiven Beweises, eines Gegenbeispiels, einer Widerlegung oder einer anderen vom CMI akzeptierten Lösung erfolgt. Die Vergabe eines Millennium-Preises gilt als offizielle Erklärung, ist jedoch nicht erforderlich; eine offizielle Mitteilung des CMI, dass ein Problem gelöst wurde, ist allein ausreichend. 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.