Amateur behauptet Beweis der Riemannschen Vermutung

Der Traum von einer Million Euro: Wenn ein Amateur die Riemannsche Vermutung beweisen will

Kann man eines der schwierigsten mathematischen Probleme der Geschichte mit einem YouTube-Video und einigen Python-Berechnungen lösen? Manche versuchen es alle paar Monate. Der jüngste Versuch kam mit einem Versprechen: zwei Videos, ein Diagramm der Nullstellen der Zeta-Funktion und die Überzeugung, „den Schlüssel“ gefunden zu haben. Es gibt keinen formalen Beweis, wie eingeräumt wird, aber das Material sei „überzeugend“.

Die 1859 formulierte Riemannsche Vermutung ist nach wie vor ungelöst. Das Clay Mathematics Institute bietet eine Million Dollar für einen Beweis. Aber die Versuchung ist zu groß für Amateure mit Zeit und Neugier. Was in der Zahlentheorie eine unüberwindbare Mauer ist, sehen manche als Sonntag-Rätsel.

Warum die kritische Gerade so schwer fassbar ist

Die Zeta-Funktion ζ(s) hat triviale Nullstellen bei negativen geraden Zahlen. Die nicht-trivialen liegen laut Vermutung alle auf der vertikalen Geraden mit Realteil 1/2. Bekannte Werte: Die Imaginärteile der ersten drei Nullstellen sind ungefähr 14,134725; 21,022040 und 25,010858. Jeder mit einem Programm kann diese Werte überprüfen.

Aber der Beweis erfordert mehr als nur die Berechnung von Nullstellen. Manche argumentieren, dass die Vermutung mit den heutigen Mitteln nicht entscheidbar sei, was jeden Versuch für Skeptiker zur „Zeitverschwendung“ macht. Und tatsächlich ist die Geschichte voll von Teilbeweisen und gescheiterten Versuchen.

Das Phantom des Hilbert-Pólya-Operators

Der vielversprechendste Weg führt über die Spektraltheorie. Die Hilbert-Pólya-Vermutung besagt, dass ein selbstadjungierter Operator existiert, dessen Eigenwerte die Imaginärteile der nicht-trivialen Nullstellen sind. Würde ein solcher Operator existieren und reale Eigenwerte haben, wäre die Vermutung bewiesen. Dieser Ansatz wird mit Quantenmechanik, nicht-kommutativer Geometrie und komplexer Analysis erforscht, aber niemand hat die Tür geschlossen.

Im aktuellen Versuch wird MATLAB-Code präsentiert, der den Kosinus einer Nullstelle mit dem Sinus der nächsten verknüpft, sowie eine Konvergenz, die laut Autor nur bei aufeinanderfolgenden Nullstellen funktioniert und sich auflöst, wenn man sie um 1% variiert. Dies erinnert an die Montgomery-Vermutung über die Verteilung der Nullstellen und an Odlyzkos Arbeiten, die nicht-triviale Korrelationen zwischen benachbarten Nullstellen fanden. „Aber diese Muster sind statistisch, nicht deterministisch“, warnt die fundierte Analyse.

KI als neuer Validator

Ein anderer Teilnehmer tritt mit einer noch überraschenderen Behauptung auf: Eine KI habe seine Zahlen „ohne jeden Zweifel“ verifiziert, wobei die Wahrscheinlichkeit, dass sie erfunden seien, gleichbedeutend sei mit fünf Lottogewinnen hintereinander. Die Grenzen großer Sprachmodelle beim mathematischen Schlussfolgern sind bekannt, und er beklagt deren „dumme Kinderfehler“. Ironischerweise diene die KI zwar nicht zum divergenten Denken, habe aber seine Berechnungen validiert.

Die akademische Welt geht unterdessen ihren Weg. Manche erinnern daran, dass der Preis noch nie vergeben wurde und viele informelle Versuche am selben Ort enden: in einer staubigen Schublade oder einer ignorierten E-Mail.

Perelmans Parabel und der Eigentumsnachweis

Misstrauen gegenüber dem Establishment ist in solchen Fällen klassisch. Man ruft Perelman auf, der nach dem Beweis der Poincaré-Vermutung dem System den Rücken kehrte. Andere erinnern an ignorierte Genies und empfehlen, Ideen vor der Veröffentlichung beim Patentamt oder notariell zu registrieren. Die Logik ist simpel: Wenn schon keine Anerkennung, dann zumindest ein Nachweis. Sogar CRISPR wird als Beispiel für späte Anerkennung genannt.

Währenddessen schwebt die Riemannsche Vermutung weiter im Raum. Die Versuchung, sie an einem Sonntagnachmittag zu lösen, ist unwiderstehlich, aber die mathematische Realität ist hartnäckig. Bislang bleibt nur die Ironie, dass der Preis unberührt ist und die Aspiranten online ihre Berechnungen teilen, in der Hoffnung, dass jemand ihnen Glauben schenkt.

---