Claude, Riemann-Problem

Claude löst Riemann-Problem: KI hebt Nullstellen-Schranke auf 67,2%

Veröffentlicht am: 11.08.2026 um 05:53 Uhr | Redaktion boerse-global.de

KI-System von Anthropic verbessert untere Schranke der Zeta-Funktion auf 67,2 Prozent. Mathematiker bestätigen Ergebnis, vollständiger Beweis steht noch aus.

Anthropics Claude hebt Schranke der Riemannschen Vermutung auf 67,2 Prozent an
Ein Laptop-Bildschirm mit komplexen mathematischen Gleichungen und Programmcode zur Forschung an der Riemannschen Zeta-Funktion. Illustration mit AI erstellt übermittelt durch boerse-global.de

Das KI-Modell Claude des US-Unternehmens Anthropic hat einen bemerkenswerten Fortschritt bei der Erforschung eines der bedeutendsten ungelösten Probleme der Mathematik erzielt. Jüngsten Berichten zufolge gelang es der künstlichen Intelligenz, die untere Schranke für den Anteil der Nullstellen der Riemannschen Zeta-Funktion auf der kritischen Linie von zuvor 41,6 % auf nunmehr 67,2 % anzuheben. Dies stellt den größten Einzelanstieg in der über 160-jährigen Geschichte der Riemannschen Vermutung dar, die seit ihrer Formulierung im Jahr 1859 Mathematiker weltweit beschäftigt.

Obwohl dieser Erfolg einen historischen Durchbruch in der Zahlentheorie markiert, bleibt die Riemannsche Hypothese selbst weiterhin unbewiesen. Die vollständige Lösung des Problems ist mit einem Preisgeld von 1 Million US-Dollar dotiert. Das Ergebnis von Claude konzentriert sich auf die Verteilung der Nullstellen, was einen wesentlichen Teilstreitpunkt der Gesamthypothese darstellt.

Automatisierte Beweisführung durch spezialisierte Sub-Agenten

Die für diesen Fortschritt angewandte Methode verdeutlicht die wachsende Leistungsfähigkeit agentenbasierter KI-Systeme in der Wissenschaft. Demnach wurden für den Prozess etwa 31 Millionen Output-Tokens generiert. Die Architektur stützte sich auf den Einsatz von 60 spezialisierten Sub-Agenten, die insgesamt 2.400 Shell-Befehle ausführten, um die mathematischen Berechnungen und logischen Ableitungen zu steuern.

Das Ergebnis wurde laut Angaben von Anthropic bereits durch Mathematiker validiert. Ein besonderes Merkmal dieses Durchbruchs ist die Verfügbarkeit eines formalen Beweises in der Programmiersprache Lean. Lean wird in der Forschung eingesetzt, um mathematische Sätze maschinell zu verifizieren und sicherzustellen, dass die Beweiskette frei von logischen Fehlern ist.

Einordnung in den mathematischen Forschungskontext

Branchenkenner bewerten den Erfolg als Meilenstein in der computergestützten Mathematik. Ein Partner der Beteiligungsgesellschaft Menlo Ventures bezeichnete das Ergebnis als den bedeutendsten Durchbruch auf diesem Gebiet seit dem Jahr 2013. Es ist nicht das erste Mal in diesem Jahr, dass Claude in der Fachwelt für Aufsehen sorgt. Bereits in den ersten Monaten des Jahres 2026 trug das Modell zur Lösung der Jacobschen Vermutung bei, was die Kompetenz der KI in der komplexen algebraischen Geometrie unterstrich.

Anzeige

Während KI-Systeme komplexe mathematische Probleme lösen, entstehen durch den technologischen Fortschritt auch neue Anforderungen an die digitale Sicherheit von Unternehmen. Dieser kostenlose Report klärt auf, welche rechtlichen Pflichten und Bedrohungen Unternehmer jetzt im Zusammenhang mit neuen KI-Gesetzen kennen müssen. Informationen zu neuen Cyberrisiken kostenlos anfordern

Trotz der Tragweite der aktuellen Veröffentlichung gibt es Stimmen in Fachkreisen, die zur Vorsicht mahnen. Einzelne Berichte weisen darauf hin, dass die Behauptung über die Steigerung der unteren Schranke auf 67,2 % bislang nicht durch alle öffentlichen Primärquellen oder unabhängig bestätigte Sekundärberichte zweifelsfrei gedeckt sei. Kritiker merken an, dass öffentlich dokumentierte Arbeiten von Claude in jüngster Zeit vornehmlich den Bereich der Kryptanalyse betrafen – darunter Analysen zum Verschlüsselungsstandard AES – und weniger die Zeta-Funktion.

Anzeige

Der Einsatz von KI in der Kryptanalyse zeigt, wie schnell sich die Bedrohungslage für die IT-Infrastruktur verändern kann. Erfahren Sie in diesem kostenlosen E-Book, wie Sie Sicherheitslücken proaktiv schließen und Ihr Unternehmen langfristig ohne hohe Investitionen schützen. Gratis-E-Book: Cyber Security Trends entdecken

Dennoch bleibt die nun vorgestellte Validierung durch einen formalen Lean-Beweis ein starkes Indiz für die Belastbarkeit der Daten. Sollte sich die neue Schranke dauerhaft in der Fachgemeinschaft etablieren, würde dies die bisherigen theoretischen Annahmen über die Zeta-Funktion und die damit verbundene Primzahlverteilung massiv verschieben. Die wissenschaftliche Debatte über die Methodik und die Reproduzierbarkeit der Ergebnisse durch andere KI-Modelle dürfte sich in den kommenden Wochen intensivieren.

Disclaimer...

de | wissenschaft | 69935613 |