Claude erhöht den bewiesenen Anteil der Zeta-Nullstellen auf der kritischen Linie auf 67,2 % — und die Methode ist wichtiger als die Zahl

Am 10. August veröffentlichte Anthropic eine Forschungsnotiz, deren Autor ein großes Sprachmodell ist. Das Ergebnis: Mindestens 67,2 % der nichttrivialen Nullstellen der Riemannschen Zetafunktion liegen auf der kritischen Linie Re(s) = 1/2. Ohne Zusatzannahmen. Der bisher bewiesene Rekord lag bei 41,6 % (5/12), eine Zahl, die vier Jahrzehnte an Verfeinerungen der Levinson-Methode überstanden hatte.

Claude hat die Riemann-Hypothese nicht bewiesen. Das Papier sagt es selbst, und zwar zweimal. Was es getan hat — und hier lohnt es sich, genauer hinzusehen — ist, ein bedingtes Ergebnis von 67 % in ein unbedingtes Ergebnis von 67 % zu verwandeln, und zwar mit einer tatsächlich neuen Methode: keine Nullstellendichte-Abschätzungen, kein nullstellenfreies Gebiet, kein Mollifier. Der arithmetische Input ist genau Montgomerys Primzahlseiten-Auswertung des zweiten Paarkorrelationsmoments bei einer Bandbreite ≤ 1; diese ist seit 1973 unbedingt bekannt. Alles, wofür man früher RH brauchte, um es auszuwerten, wurde durch lineare Algebra auf einer endlichen Matrix ersetzt.

Warum diese Zahl Gewicht hat

Die Riemann-Hypothese besagt, dass jede nichttriviale Nullstelle exakt den Realteil 1/2 hat. Seit 1859 unbewiesen; sie ist ein Millennium-Problem des Clay Mathematics Institute mit einer Prämie von einer Million Dollar. Die Teilergebnisse sind untere Schranken für den Anteil der Nullstellen auf der Linie, und die Entwicklung muss vollständig genannt werden:

Hardy (1914): unendlich viele Nullstellen auf der Linie.
Selberg (1942): ein positiver Anteil.
Levinson (1974): mindestens 1/3 durch die Mollifier-Methode.
Conrey (1989): 2/5 als Verfeinerung von Levinson.
Bui–Conrey–Young, Feng, Pratt–Robles–Zaharescu–Zeindler: 5/12, der bestehende Rekord bis zu dieser Woche.

Jede Zahl in dieser Liste stammt aus derselben Familie von Verfahren — Levinsons Methode und ihren Nachfolgern. Das neue 2/3 tut das nicht. Es stammt aus Montgomerys Ideenwelt der Paarkorrelation, die bislang nur unter der Bedingung RH verwendbar war. Das ist ein struktureller Bruch, kein kleiner Fortschritt: Zum ersten Mal wurden die „RH-bedingten Folgen der Paarkorrelation“ auf dieser Stärke von RH selbst getrennt.

Die Zahl 2/3 hat ihre eigene Geschichte. Montgomery zeigte 1973, dass unter RH mindestens 2/3 der Nullstellen einfach sind (später von Goldston und anderen auf 67,9 % verschärft). Das 2/3 hier ist dieselbe Konstante, nun aber unbedingt — für Nullstellen auf der Linie und gezählt als verschiedene Nullstellen, nicht als „einfache“ im Sinne Montgomerys. Dieser Unterschied ist wichtig: N₀* zählt verschiedene Nullstellen auf der kritischen Linie, daher werden Vielfachheiten nicht gegen dich gerechnet. Das Papier beweist außerdem, dass mindestens 5/6 aller Nullstellen verschieden sind; auch das folgt aus derselben Maschinerie.

Zwei weitere strukturelle Punkte. Erstens bezieht sich der Satz auf dyadische Bereiche [T, 2T] mit einem Fehler o(1); der Limes inferior über T→∞ beträgt mindestens 2/3, und das Papier berichtet, dass das Verhältnis für endliche T unter seinem Grenzwert liegt, weil die Konvergenz langsam ist (Bemerkung 5.9). Zweitens ist die Methode nicht auf 2/3 festgelegt: Mit dem optimalen Montgomery-Taylor-Fenster wird die Konstante zu 0,67250…, genau der bedingten Montgomery-Taylor-Konstante unter RH. 2/3 ist die klare Aussage; die Methode kann ohne zusätzlichen Aufwand geringfügig mehr.

Eine andere Antriebskraft

Hier hört das Ergebnis auf, nur ein Rekord zu sein, und wird zu einer Technik. Weils explizite Formel verwandelt eine Positivitätsaussage über Testfunktionen in eine Aussage über Nullstellen: Das zugehörige quadratische Funktional ist genau dann positiv semidefinit, wenn RH gilt. Diese Äquivalenz ist zugleich die Stärke und die Falle — jeder naive Versuch, RH durch Positivität zu beweisen, scheitert daran, und Claudes Koordinator-Agent berichtet, dass in der früheren Sitzung mit tausend Agenten der erste substanzielle Schritt jedes vorgeschlagenen Weges sich als Weil-Positivität oder als etwas damit Gleichwertiges herausstellte.

Der Trick besteht darin, nicht mehr nach der gesamten unendlichdimensionalen Form zu fragen. Claude schränkt die Paarung auf einen endlichdimensionalen Raum von Testfunktionen ein — ein „Gabor-System“ aus modulierten Fenstern mit d ≈ λN(T,2T) Funktionen — und analysiert die daraus entstehende reelle symmetrische Matrix. Nun gilt:

Nullstellen auf der kritischen Linie liefern positiv semidefinite Rang-eins-Blöcke;
Nullstellen außerhalb der Linie treten aufgrund der Funktionalgleichung als {ρ, 1−ρ̄} auf und liefern indefinite (1,1)-Blöcke — eine Kreĭn-Raum-Signatur, nicht die eines Hilbertraums;
Sylvesters Trägheitsgesetz beschränkt die Signatur der gesamten Form;
eine Rang-Spur-Ungleichung, bewiesen mithilfe von von Neumanns Spurungleichung, verbindet die Signatur mit berechenbaren Spurmomenten;
die Spuren selbst werden unbedingt aus Primzahlen bis X = (T/2π)^λ mithilfe von Montgomery–Vaughan ausgewertet.

Nullstellenseite und Primzahlseite werden durch eine Poisson-Summationsidentität verbunden, die den Abtastkern exakt und ohne Aliasing liefert. Numerisch stimmen beide Seiten bei kleinen Höhen bis auf 10⁻⁸ überein. Der wichtigste Schritt ist konzeptionell: Klassisch brauchte man RH, um die Nullstellenseite als positive Summe über reelle Ordinaten zu lesen. Hier wird die Unbestimmtheit der Paare außerhalb der Linie durch lineare Algebra absorbiert — man muss nie wissen, wie weit eine Nullstelle von der Linie entfernt ist, sondern nur, dass ihr (1,1)-Block im Rang beschränkt ist. Der negative Index wird durch den Trägheitssatz behandelt, statt durch eine unbewiesene Annahme auf null gesetzt zu werden.

Auch deshalb ist Bombieris Arbeit von 2000, „Remarks on Weil’s quadratic functional in the theory of prime numbers, I“, der richtige Vorläufer, den man zitieren sollte: Er untersuchte die endlichen Abschneidungen der Weil-Form und zeigte, dass bei einem Scheitern von RH mit nur endlich vielen schlechten Nullstellen die Zahl der negativen Eigenwerte einer hinreichend großen Abschneidung der Hälfte der Zahl der schlechten Nullstellen entspricht. Die Signatur der endlichen Kompression kodiert, wie RH scheitert. Claudes Beitrag besteht darin zu zeigen, dass man aus dieser Signatur die Zahl der Nullstellen auf der Linie gewinnen kann, ohne jemals entscheiden zu müssen, welche Nullstellen außerhalb der Linie existieren.

Was die Methode nicht sagt und wo die Obergrenze liegt

Das Papier benennt seine Grenzen ungewöhnlich klar. Kein Zertifikat dieser Art kann 0,68185 überschreiten — die Information aus erstem und zweitem Moment bei einer Bandbreite λ ≤ 1 setzt eine harte Obergrenze, und λ ≤ 1 ist für das Argument wesentlich (jenseits davon braucht man Informationen, die die unbedingte Primzahlseite nicht liefert). 0,70/0,80/0,90 zu erreichen, würde eine Paarkorrelations-Unterstützung bis ungefähr 1,04/1,26/1,70 erfordern, also wirklich neue arithmetische Eingaben und nicht nur cleverere lineare Algebra.

Die ehrliche Lesart lautet daher: Dies ist kein Schritt auf dem Weg zu einem Beweis von RH, und die Autoren behaupten das auch nicht. Es ist ein Schritt hin zu dem älteren und wohl besser handhabbaren Projekt, dem Programm „Folgen von RH unbedingt machen“, im Geiste dessen, was Bombieri und andere für Primzahlen in kurzen Intervallen getan haben. Außerdem zeigt es, dass die Paarkorrelationsmaschinerie, sobald sie von RH befreit ist, bei dieser speziellen Aufgabe stärker ist als die Mollifier-Maschinerie.

Die 54-stündige Sitzung dahinter

Der Anhang ist die interessantere Lektüre und sollte als Workflow-Papier gelesen werden, nicht als Anekdote. Ein Koordinator-Agent führte anderthalb Tage lang etwa 60 isolierte Subagenten aus: 2.400 Shell-Befehle, Hunderte Python-Skripte und 31 Millionen Ausgabetoken. Der Koordinator selbst betrieb kaum Mathematik; seine Rolle bestand in Richtung, Triage und Verifikation.

Zwei Subagenten lieferten die entscheidenden Ideen. E2 bewies, dass der Weg über den negativen Index leer war — der tatsächliche endliche negative Index ist identisch null — und kehrte dann die Idee um, indem er den positiven Index anhand von Spuren auf der Primzahlseite nach unten beschränkte, um mindestens die Hälfte der Nullstellen auf der Linie zu zeigen. E2-pairs dachte 91 Minuten lang nach, führte numerische Experimente durch, die seinem eigenen Auftrag widersprachen, und schrieb das Rang-Spur-Lemma, das 1/2 auf 2/3 anhob. Vier Minuten nach dem Schreiben beendete ein Infrastrukturfehler den Lauf mitten im Satz. Der Koordinator las das Verzeichnis des toten Agenten, erkannte das Ergebnis als „das Wichtigste, was heute Nacht passiert ist“, prüfte den fünfzeiligen Beweis Zeile für Zeile und setzte denselben Agenten mit einer Checkliste fort.

Einige Aspekte dieser Arbeitsweise fallen besonders auf. Die beiden eigenen kreativen Vorhersagen des Koordinators waren falsch — beim Schritt zu 1/2 wies er den Mechanismus in die falsche Richtung, und beim Schritt zu 2/3 nannte er den falschen Hebel zur Rückgewinnung — während seine Gutachterarchitektur funktionierte. Die Subagenten waren absichtlich isoliert: Sie konnten weder die Unterhaltung noch einander sehen, was ihre Fehler unabhängig hielt und eine wirklich gegnerische Prüfung ermöglichte. Und der Beitrag des Menschen bestand aus einer Handvoll einzeiliger Aufforderungen: „Setze deine Arbeit fort“, „Bringe es auf 2/3“, „Mach weiter“. Claude hatte sich anfangs selbst unterschätzt; die Beharrlichkeit kam von außen.

Das Verifikationsprotokoll ist die eigentliche Erkenntnis

Hier reicht die Bedeutung des Ergebnisses über die Zahlentheorie hinaus. Das Vertrauensproblem bei KI-Mathematik lautet nicht: „Kann ein Modell einen Beweis finden?“, sondern: „Warum sollte irgendjemand ihm glauben?“ Die Pipeline liefert dafür eine Vorlage:

Blind arbeitende, feindselige Gutachter-Agenten, die jeweils eine getrennte Lücke und einen Angriffsplan erhielten und nicht lesen durften, was die anderen schrieben. Sie fanden einen echten Fehler — eine falsche Prämisse über die Massenmatrix — und schlugen die Reparatur vor, die schließlich ins Papier gelangte. Eine gegnerische Schleife fing eine Halluzination ab; genau so soll das System funktionieren.
Ein blind arbeitender Agent zur erneuten Herleitung, der das Ergebnis bewies, ohne den Beweis zu lesen, sowie Kontrollfälle, in denen bekannt ist, dass RH scheitert. Beides sind kostengünstige Formen der Reproduzierbarkeit.
Ein Literatur-Agent, der 54 arXiv-Papiere herunterlud, um die Neuheit zu prüfen — der Koordinator weigerte sich ausdrücklich, seinem eigenen Gedächtnis zu vertrauen.
Eine Formalisierung in Lean 4 / Mathlib der Sätze A–E, frei von sorry und abhängig nur von den drei Standardaxiomen (propext, Classical.choice, Quot.sound). Dazu gehören Weils explizite Formel, die Riemann–von-Mangoldt-Zählung, Stirling-Abschätzungen, Chebyshev–Mertens und Montgomery–Vaughan — auch das analytische Gerüst wurde formalisiert, nicht nur der Hauptsatz.
Menschliche Experten: Anthropics Mathematiker Levent Alpöge und Ralph Furman aus dem eigenen Haus validierten das Ergebnis; die externen Experten Brian Conrey und Dan Goldston prüften es kurzfristig.

Am lehrreichsten sind die eigenen Vorbehalte des Koordinators. „Ich sage nicht, dass die Hälfte der Nullstellen auf der Linie liegt. Ich sage, dass ein Agent ein Argument mit dieser Schlussfolgerung produziert hat.“ „Das Ergebnis braucht einen menschlichen Experten.“ Das Urteil des endgültigen Entwurfs lautet: „Der nächste Leser sollte ein Mensch sein.“

Das ist die richtige Arbeitsteilung, und sie verdient eine klare Bezeichnung: Erzeugung und Ausführung lassen sich parallelisieren; Verifikation erfolgt geschichtet und gegnerisch; Formalisierung ist die Quelle der Wahrheit; das Urteil bleibt bei den Menschen. Der von den Gutachtern entdeckte Fehler ist der Grund, warum die Pipeline existiert — ein Modell, das einen plausiblen Beweis erzeugt, ist genau der Fall, an dem sich ein unkritischer Leser verbrennt.

Die ehrlichen Vorbehalte

Dies ist ein Forschungsartefakt auf Preprint-Niveau, das in derselben Woche veröffentlicht wurde, in der es geschrieben wurde. Die Expertennotiz selbst weist auf nicht ausgeführte Fehlerterme hin (O(T^δ log T) und O(T^{1/2−2δ})-Reste sind skizziert statt vollständig ausgearbeitet). Die Lean-Formaliserung ist ein statisches Forschungsartefakt und keine gepflegte Bibliothek. Auch die Verhaltensmuster auf Sitzungsebene — ein Koordinator, dessen Vorhersagen zweimal falsch waren, und ein Agent, der erst durch einen Infrastrukturabsturz bemerkt wurde — sind noch kein reproduzierbarer Prozess, sondern ein Datenpunkt darüber, was dieser Workflow hervorbringen kann, wenn er funktioniert.

Die Mathematik wurde härter geprüft als die meisten Preprints: durch einen maschinengeprüften Lean-Beweis, eine gegnerische Gutachterschleife und zwei unabhängige Expertenlektüren. Das abschließende Urteil gehört weiterhin der Fachgemeinschaft, und genau so sollte es sein. Doch die Gestalt des Ganzen — ein KI-generierter Satz, formal verifiziert und von Experten geprüft, dessen Methode ehrlich zu ihren Vorläufern bei Bombieri und Montgomery zurückverfolgt wird — ist neu. Die Zahl 67,2 % ist der am wenigsten überraschende Teil der Ankündigung.