Wie der Kontrakt funktioniert
Ein Vertrag auf diesem Markt zahlt am Ende einen festen Betrag aus, wenn das Ereignis eintritt, und nichts, wenn es nicht eintritt. Der gehandelte Preis spiegelt lediglich wider, für wie wahrscheinlich Käufer und Verkäufer das Ereignis derzeit halten: Ein Preis von 0,30 würde bedeuten, dass der Markt die Chance auf ungefähr drei von zehn einschätzt, wobei dies ein Beispielwert ist und nicht der aktuelle Stand dieses Marktes. Abgerechnet wird auf Basis dessen, ob bis zum 31. Dezember 2026, 23:59 Uhr Eastern Time, ein KI-Labor öffentlich die vollständige Lösung eines der fünf benannten Probleme verkündet und dabei eigene Forscher oder Modelle als Urheber benennt. Wer eine Position hält, kann sie in der Regel vor diesem Stichtag zum dann geltenden Preis wieder verkaufen, ohne bis zur Abrechnung zu warten.
Ja19%
Nein81%
Wahrscheinlichkeit
Wie sich der Preis bewegt hat
Zur bisherigen Kursentwicklung liegen keine gesonderten Verlaufsdaten vor, gehandelt wird der Markt aktuell bei einer aggregierten Einschätzung von 19 Prozent auf einem einzigen Venue. Angesichts eines Gesamtvolumens von lediglich 41.641 US-Dollar handelt es sich um einen dünnen Markt, in dem bereits einzelne Transaktionen den Preis sichtbar verschieben können, ohne dass eine neue inhaltliche Nachricht dahintersteht. Eine belastbare Aussage über eine Bewegung der letzten Woche oder des letzten Tages lässt sich aus den vorliegenden Daten nicht treffen.
Analyse
Hintergrund
Das Clay Mathematics Institute hat im Jahr 2000 sieben Millennium-Probleme benannt und für die Lösung jedes einzelnen ein Preisgeld von einer Million US-Dollar ausgelobt. Bislang gilt nur eines als gelöst: Grigori Perelman bewies 2002/2003 die Poincaré-Vermutung, die formale Bestätigung durch die Fachgemeinschaft zog sich jedoch bis 2006 hin, Perelman lehnte das Preisgeld später ab. Sechs Probleme bleiben offen, darunter die Riemann-Hypothese, P versus NP, die Hodge-Vermutung, die Birch-und-Swinnerton-Dyer-Vermutung, das Yang-Mills-Existenz- und Massenlückenproblem sowie die Navier-Stokes-Gleichungen.
Dieser Markt bezieht sich auf fünf dieser Probleme und schließt Navier-Stokes ausdrücklich aus den Regeln aus. Hintergrund ist die rasante Entwicklung von KI-Systemen für formales mathematisches Schließen: DeepMinds AlphaProof und AlphaGeometry erreichten 2024 bei der Internationalen Mathematik-Olympiade ein Silber-Niveau, OpenAI meldete 2025 Ergebnisse auf Goldmedaillen-Niveau bei Olympiade-Aufgaben. Diese Erfolge betreffen jedoch Aufgaben mit bekannter Lösung unter Zeitdruck, nicht offene Forschungsprobleme ohne bekannten Beweisweg.
Die über alle Plattformen aggregierte Einschätzung liegt bei 19 Prozent, gehandelt wird sie derzeit ausschließlich auf Polymarket mit einem Gesamtvolumen von 41.641 US-Dollar. Das ist für einen Markt mit Laufzeit bis Jahresende ein überschaubarer Betrag, es deutet auf eine kleine Zahl aktiver Teilnehmer und entsprechend dünne Liquidität hin. Ein einzelner größerer Handel kann den Preis spürbar bewegen, ohne dass sich dahinter eine neue inhaltliche Einschätzung verbergen muss. Da nur eine Plattform aktiv gehandelt wird, gibt es derzeit keine Differenz zwischen Venues, die auf unterschiedliche Informationsstände hindeuten würde.
Inhaltlich spricht die Geschichte der Millennium-Probleme gegen eine schnelle Lösung. Selbst die Poincaré-Vermutung, das bislang einzige gelöste Problem, brauchte nach Perelmans ersten Preprints mehrere Jahre strenger Prüfung durch mehrere unabhängige Forschergruppen, bevor die Fachgemeinschaft den Beweis akzeptierte. Die übrigen fünf hier relevanten Probleme, allen voran die Riemann-Hypothese und P versus NP, sind teils seit über 60 Jahren offen und gelten unter Fachleuten nicht als kurz vor einer Lösung stehend, unabhängig davon, welche Werkzeuge eingesetzt werden.
Die Resolutionsregeln verschärfen die Hürde zusätzlich: Verlangt wird eine vollständige Lösung, keine Teillösung oder ein Fortschritt auf einem Spezialfall, und die Urheberschaft muss klar beim Labor selbst oder seinen Modellen liegen, nicht nur bei externen Forschern, die ein Modell lediglich als Werkzeug nutzten. Diese Formulierung schließt Szenarien aus, in denen externe Mathematiker mit Unterstützung eines KI-Systems einen Teilerfolg erzielen, ohne dass das Labor die Lösung für sich beansprucht. Gleichzeitig bleibt eine gewisse Unschärfe, was als ausreichend geprüfte öffentliche Ankündigung zählt, was sowohl die Resolution verzögern als auch für Diskussionen sorgen könnte, falls tatsächlich eine Behauptung aufgestellt wird.
Auf der anderen Seite steht ein spürbares Tempo bei automatisiertem Theorembeweisen: Systeme, die auf formalen Beweisassistenten wie Lean aufbauen, haben sich innerhalb weniger Jahre von Schulaufgaben zu Olympiade-Niveau entwickelt. Dieser Fortschritt rechtfertigt, dass der Markt die Möglichkeit nicht auf null setzt, sondern bei knapp einem Fünftel verankert. Die Kombination aus geringem Volumen, strengen Regeln und der inhaltlichen Schwierigkeit der Probleme erklärt aber, warum die Mehrheitseinschätzung klar auf ein Nein hindeutet, ohne das Szenario völlig auszuschließen.
Was die Wahrscheinlichkeit bewegt
Schwierigkeitsgrad der Probleme
Alle fünf verbleibenden Probleme sind seit Jahrzehnten offen und widerstanden bislang den Methoden der weltweit führenden Mathematiker. Das drückt die Wahrscheinlichkeit strukturell nach unten, unabhängig davon, welches KI-System eingesetzt wird.
Strenge Resolutionskriterien
Verlangt wird ein vollständiger Beweis mit klarer Urheberschaft des Labors, Teilfortschritte zählen nicht. Navier-Stokes ist ausdrücklich ausgeschlossen, was die Zahl der qualifizierenden Szenarien weiter einschränkt.
Verifikationsdauer nach historischem Vorbild
Die Prüfung der Poincaré-Vermutung zog sich über mehrere Jahre hin, bevor sie als bewiesen anerkannt wurde. Selbst eine plausible Ankündigung Ende 2026 müsste sehr schnell und eindeutig bestätigt werden, um noch vor der Deadline als Lösung zu gelten.
Fortschritt bei formalem Beweisen
Systeme wie AlphaProof zeigen auf Olympiade-Niveau, dass maschinelles Schließen in der Mathematik schnell Fortschritte macht. Das hält die Wahrscheinlichkeit über null, auch wenn der Sprung von Olympiade-Aufgaben zu offenen Forschungsproblemen erheblich bleibt.
Geringes Handelsvolumen
Mit 41.641 US-Dollar Gesamtvolumen auf nur einer Plattform ist die Preisbildung wenig breit abgesichert. Einzelne Transaktionen können den Preis kurzfristig stärker bewegen, als es die zugrunde liegende Informationslage rechtfertigt.
Dafür spricht
- Ein großes KI-Labor müsste vor dem 31. Dezember 2026, 23:59 Uhr Eastern Time, öffentlich einen vollständigen Beweis für eines der fünf benannten Probleme verkünden.
- Die Ankündigung müsste die eigenen Forscher oder Modelle des Labors als Urheber benennen, nicht nur externe Mathematiker, die das System genutzt haben.
- Die betroffene Lösung dürfte sich nicht auf das ausgeschlossene Navier-Stokes-Problem beziehen.
- Die Fortschritte bei automatisiertem Theorembeweisen, etwa durch Lean-basierte Systeme, müssten sich binnen weniger Monate von Olympiade-Aufgaben auf offene Forschungsprobleme übertragen lassen.
Dagegen spricht
- Keines der fünf Probleme gilt unter Mathematikern derzeit als nahe an einer Lösung, einige sind seit über 60 Jahren offen.
- Die Regeln verlangen einen vollständigen Beweis statt eines Teilfortschritts, was die Hürde für ein Ja-Ergebnis hoch hält.
- Die Prüfung mathematischer Beweise dieser Tragweite dauert erfahrungsgemäß Jahre, wie der Fall der Poincaré-Vermutung zeigt, was eine fristgerechte, anerkannte Ankündigung unwahrscheinlich macht.
- Das geringe Gesamtvolumen von 41.641 US-Dollar zeigt, dass kaum breite Mittel auf ein baldiges Ereignis dieser Art gesetzt werden.
Worauf zu achten ist
Relevant sind in den kommenden Monaten vor allem Veröffentlichungen großer KI-Labore wie DeepMind, OpenAI oder Anthropic zu formalem mathematischem Schließen, insbesondere Preprints auf arXiv, die über Olympiade-Niveau hinausgehen. Ebenso zu beobachten sind Stellungnahmen des Clay Mathematics Institute selbst sowie unabhängige Prüfungen durch Fachzeitschriften, da eine Ankündigung ohne Bestätigung durch die mathematische Fachgemeinschaft wenig Gewicht hätte. Der feste Stichtag ist der 31. Dezember 2026, 23:59 Uhr Eastern Time, bis zu dem eine vollständige, dem Labor zugeschriebene Lösung öffentlich vorliegen müsste.
Kontrakt auf diesen Ausgang handeln
Auf Polymarket öffnen
- Gas übernommen