Anthropic-Modell hebt mathematische Untergrenze auf 67,2 Prozent

Anthropic zufolge entstand das Ergebnis in zwei Sitzungen mit Claude Code. Das Modell prüfte 650 Ansätze, koordinierte rund 60 Unteragenten und erzeugte insgesamt 31 Millionen Ausgabetoken.

Zwei Mathematiker von Anthropic prüften die Arbeit. Zusätzlich wurde das Ergebnis mit dem Beweisassistenten Lean formalisiert.

Der Fortschritt liegt damit nicht in einer Lösung der Riemann-Hypothese, sondern in der Verbesserung eines verwandten mathematischen Ergebnisses. Anthropic betont, dass die eingesetzten Techniken voraussichtlich nicht zur Lösung der Hypothese führen.