Claude verbessert Schranke zur Riemann-Zeta-Funktion

Anthropic hat am 10. August 2026 einen mathematischen Fortschritt einer unveröffentlichten Claude-Forschungsversion vorgestellt. Laut dem Unternehmen erhöhte das System eine untere Schranke zur Riemann-Zeta-Funktion von 41,6 auf 67,2 Prozent.

Die Riemann-Hypothese bleibt ungelöst.

Ein Fortschritt neben dem großen Ziel

Die Riemann-Hypothese gehört zu den bekanntesten offenen Fragen der Mathematik. Claude sollte einen ernsthaften Lösungsversuch unternehmen und scheiterte damit erwartungsgemäß. Während dieser Arbeit entstand laut Anthropics Forschungsbericht jedoch ein Resultat zu einer verwandten Frage: Wie groß ist der Anteil jener Nullstellen der Riemann-Zeta-Funktion, die nachweislich die von der Hypothese geforderte Eigenschaft erfüllen?

Anthropic beziffert die neue untere Schranke auf 67,2 Prozent; zuvor lag der belegte Wert bei 41,6 Prozent. Auch TechCrunch trennt diesen Fortschritt ausdrücklich von einer Lösung des berühmten Problems. Eine Verbesserung bei einer Teilfrage klingt in der KI-Berichterstattung schnell größer, als sie mathematisch ist.

Gelöst ist sie nicht.

Aufmerksamkeit verdient das Resultat wegen der anschließenden Prüfung. Das Modell produzierte keinen bloß plausibel klingenden Entwurf, sondern ein Artefakt, das Fachleute und formale Werkzeuge untersuchen konnten. Erst an dieser Schwelle wird aus einer Modelldemo ein möglicher Forschungsbeitrag.

31 Millionen Token für einen überprüfbaren Fund

Der Aufwand war erheblich. Anthropic nennt zwei Sitzungen in Claude Code mit insgesamt 31 Millionen Output-Token. Im zweiten Anlauf koordinierte Claude demnach ungefähr 60 Subagenten über anderthalb Tage; gemeinsam führten sie 2.400 Shell-Kommandos aus und schrieben Hunderte Python-Skripte.

Das war eine breit angelegte Suche. Zahlreiche Teilspuren wurden parallel verfolgt, rechnerisch geprüft, verworfen oder wieder zusammengeführt. Der reine Blick auf das Resultat verdeckt daher die Kosten, den Orchestrierungsaufwand und die Arbeit ohne verwertbares Ergebnis.

Darin steckt eine konkrete Lehre für Agentensysteme außerhalb der Mathematik: Viele Subagenten und hoher Rechenaufwand belegen zunächst nur die Größe der Suche. Qualität entsteht, wenn daraus ein Artefakt hervorgeht, das Fachleute unabhängig vom Modell nachvollziehen und prüfen können.

Die Verifikation zählt mehr als die Choreografie

Nach Angaben von Anthropic untersuchten und validierten zwei Mathematiker im Unternehmen das Paper. Claude erzeugte außerdem einen formal prüfbaren Beweis, den das Unternehmen in einem öffentlichen GitHub-Repository bereitstellte. Zur sprachlichen Herleitung kommen damit menschliche Fachprüfung und maschinenprüfbare Verifikation.

Das ist der stärkste Teil der Meldung. Die rund 60 Subagenten liefern die spektakulärere Zahl, sagen aber wenig über die Gültigkeit des mathematischen Resultats aus. Dafür zählt, ob ein Ergebnis den Modellkontext verlässt, etablierte Prüfverfahren durchläuft und dort Bestand hat.

Anthropics Versuch verbindet parallele Suche, Code als Arbeitsmittel, menschliche Begutachtung und formale Verifikation. Er belegt noch nicht, dass solche Systeme zuverlässig neue Mathematik produzieren.

Als Mindestregel für weitere Erfolgsmeldungen taugt der Fall trotzdem: Ohne offengelegten Beweis und fachliche Prüfung bleibt auch ein großer Agentenschwarm eine teure Behauptungsmaschine.