- Wird es bis 31. Dezember 2026 weitere substanzielle Fortschritte zur Riemannschen Vermutung geben?10¢10 %
OpenAI’s October 6, 2026 release of 719 AI-generated math papers, including a claimed proof of the quasi-Riemann hypothesis establishing a zero-free region for the zeta function and Dirichlet L-functions with real part greater than 7/8, has driven recent trader attention. Mathematicians including James Maynard have called the result landmark for analytic number theory, as it extends prior bounds and rules out certain Siegel zeros while generalizing across related functions. Verification remains ongoing, with machine-checkable Lean formalizations released but limited independent human review completed so far. Earlier AI-assisted work, such as Anthropic’s Claude improving lower bounds on the proportion of critical-line zeros to over 67 percent in August 2026, illustrates growing large language model contributions to number theory, though full resolution of the Riemann hypothesis itself stays open.
Regeln
Dieser Markt wird mit „Ja“ aufgelöst, wenn bis 23:59 ET am angegebenen Datum ein qualifizierendes mathematisches Ergebnis unbedingt nachweist, dass mindestens 70% der nichttrivialen Nullstellen der Riemannschen Zetafunktion auf der kritischen Linie liegen, oder ein stärkeres Ergebnis erzielt, einschließlich eines vollständigen Beweises oder einer Widerlegung der Riemannschen Vermutung. Andernfalls wird dieser Markt mit „Nein“ aufgelöst. Für die Zwecke dieses Marktes bedeutet „unbedingt“, dass das qualifizierende Ergebnis nicht davon abhängen darf, die Riemannsche Vermutung oder eine andere unbewiesene Vermutung vorauszusetzen, die erforderlich ist, damit der angegebene Schwellenwert gilt. Ein Ergebnis, das unbedingt eine untere Schranke von 70% oder mehr nachweist, gilt als qualifizierend. Ein Ergebnis, das einen höheren Prozentsatz nachweist, beweist, dass der Anteil der relevanten Nullstellen auf der kritischen Linie: 100% beträgt, oder die Riemannsche Vermutung auf andere Weise vollständig beweist oder widerlegt, gilt ebenfalls als qualifizierend. Eine rechnerische Überprüfung, dass weitere einzelne Nullstellen auf der kritischen Linie liegen, gilt für sich genommen nicht als qualifizierend, unabhängig davon, wie viele Nullstellen überprüft wurden. Bedingte Ergebnisse, heuristische Argumente, behauptete Beweise ohne ausreichende Überprüfung, Teilergebnisse, die den Schwellenwert von 70% nicht erreichen, oder Verbesserungen, die unter 70% bleiben, gelten nicht als qualifizierend. Ein qualifizierendes Ergebnis muss bis zum Stichtag des Marktes weder das Peer-Review-Verfahren abgeschlossen haben noch formell in einer wissenschaftlichen Fachzeitschrift veröffentlicht worden sein. Eine öffentlich veröffentlichte Arbeit, ein Preprint, ein technischer Bericht oder ein anderes öffentlich zugängliches mathematisches Werk gilt als qualifizierend, wenn das Ergebnis durch den dazugehörigen Beweis hinreichend untermauert ist und eine glaubwürdige unabhängige Bestätigung oder Anerkennung durch anerkannte Expertinnen und Experten der analytischen Zahlentheorie oder der breiteren mathematischen Gemeinschaft erhalten hat. Beispielsweise würde das am 10. August 2026 angekündigte Ergebnis von Anthropic, das eine verbesserte unbedingte untere Schranke von ungefähr 67.25% für den Anteil der Nullstellen der Riemannschen Zetafunktion auf der kritischen Linie nachwies, nach diesen Kriterien als qualifizierend gelten, sofern es den erforderlichen Schwellenwert von 70% erreichen würde. Als Quelle für die Auflösung dieses Marktes dient ein Konsens glaubwürdiger Berichterstattung.
Maschinelle Übersetzung. Im Streitfall gilt das Original.