Anthropic veröffentlichte den Bericht am 10. August. Ein unveröffentlichtes Claude-Forschungsmodell wurde beauftragt, die Riemannsche Vermutung ernsthaft zu versuchen. Es löste sie nicht. Es erhöhte jedoch die bewiesene Untergrenze des Anteils der Zeta-Nullstellen auf der kritischen Linie von 41,6 % auf 67,2 % — den größten einzelnen Sprung in der Geschichte dieser Grenze.
Was das Ding eigentlich ist
Kein Produkt, keine API. Es ist ein Agent, der innerhalb von Claude Code läuft: etwa 60 Claude-Subagenten, die über zwei Sitzungen orchestriert werden, 2.400 Shell-Befehle, Hunderte von Python-Skripten, Tausende numerischer Prüfungen gegen bekannte Nullstellen, 31 Millionen Ausgabetoken, etwa 36 Stunden und 650 verworfene Ideen, bevor eine funktionierte. Das Ergebnis verknüpft jüngste Arbeiten von Baluyot–Goldston–Suriajaya–Turnage-Butterbaugh mit Bombieris Ergebnis von 2000.
Warum es wichtig ist
Das Ergebnis ist keine vage Behauptung. Es wird mit einer Lean-Formalisation geliefert, die gängige Prüfer besteht, und die Zahlentheoretiker Brian Conrey und Dan Goldston haben es geprüft. Das ist der Unterschied zwischen einer KI, die mathematisch geprägten Text schreibt, und einer KI, die einen prüfbaren Satz erzeugt.
Anthropic betont ausdrücklich, dass diese Techniken keinen vollständigen Beweis liefern werden. 67,2 % sind nicht 100 %, und die Lücke ist das gesamte Problem. Doch die Art des Erfolgs ist bemerkenswert: keine neue Modellarchitektur, sondern viele kleine Agenten, die einen Suchraum durchkämmen, mit einem Verifikator am Ende.