Dieser Beitrag analysiert die durch ein unveröffentlichtes Modell der KI-Architektur Claude (Anthropic) erzielten mathematischen Fortschritte bezüglich eines Teilproblems der Riemannschen Vermutung. Es wird klargestellt, dass die KI die Riemannsche Vermutung nicht gelöst hat, jedoch den bewiesenen Mindestanteil einfacher, nicht-trivialer Nullstellen der Riemannschen Zeta-Funktion auf der kritischen Linie ($\text{Re}(s) = 1/2$) von zuvor 41,7 % auf 67,25 % anheben konnte. Der synthetische Forschungsprozess basierte auf der autonomen Koordination von ca. 60 KI-Subagenten über einen Zeitraum von 36 Stunden unter Einsatz von 31 Millionen Output-Tokens, 2.400 Shell-Befehlen und hunderten Python-Skripten. Die mathematischen Ergebnisse wurden intern durch kontradiktorische Validierungsagenten („hostile referees“) geprüft, von Human-Experten nachvollzogen und in der formalen Beweissprache Lean verifiziert. Der Beitrag kontextualisiert zudem das methodische Missverständnis, weshalb selbst ein theoretischer Beweis von 100 % Nullstellen auf der kritischen Linie aufgrund asymptotischer Dichten kein vollständiger Beweis der Riemannschen Vermutung wäre.
Wichtigste Punkte & Zeitstempel
0:00 KI-Transformation in der Mathematik: Vorstellung der Videoreihe „Mathematics in the Age of AI“ durch Ellie (Doktorandin an der Universität Cambridge) vor dem Hintergrund aktueller Durchbrüche und Fehlinformationen über KI-generierte mathematische Beweise.
1:38 Primzahlen und der Primzahlsatz: Grundlagen der Zahlentheorie; Definition der Primzahl-Zählfunktion $\pi(x)$ sowie die historisch von Gauß und Legendre vermutete und 1896 von Hadamard und de la Vallée Poussin bewiesene Asymptotik $\pi(x) \sim x / \ln(x)$.
3:26 Das Basler Problem & Zeta-Funktion: Eulers Lösung der Summe der reziproken Quadrate ($\pi^2 / 6$) in den 1730er Jahren als Spezialfall der Riemannschen Zeta-Funktion $\zeta(s) = \sum 1/n^s$ für $\text{Re}(s) > 1$.
5:00 Euler-Produktformel: Herleitung der Äquivalenz zwischen der Zeta-Funktion und dem unendlichen Produkt über alle Primzahlen $\prod (1 - p^{-s})^{-1}$ mittels geometrischer Reihen und dem Fundamentalsatz der Arithmetik.
8:13 Riemanns Arbeit von 1859 & Analytische Fortsetzung: Erweiterung der Zeta-Funktion auf die komplexe Zahlenebene $s = \sigma + it$ mittels analytischer Fortsetzung und Einführung der komplexen Nullstellen-Verteilung.
12:28 Die Riemannsche Vermutung (RH): Unterscheidung zwischen trivialen Nullstellen (negativ gerade Zahlen) und nicht-trivialen Nullstellen im kritischen Streifen ($0 < \text{Re}(s) < 1$). Die Hypothese besagt, dass alle nicht-trivialen Nullstellen exakt auf der kritischen Linie $\text{Re}(s) = 1/2$ liegen.
14:17 Historische Progression der Nullstellen-Proportion: Entwicklung der unteren Schranke für Nullstellen auf der kritischen Linie: Hardy (1914: unendlich viele), Selberg (1942: positive Proportion $> 0%$), Levinson (1974: $\ge 34,7%$), Conrey (1989: $\ge 40,9%$), bis hin zu $41,7%$ (2022).
16:04 Claudes Ergebnis (August 2026): Ein unreleased Claude-Modell verschiebt die untere Schranke für den Anteil der Nullstellen auf der kritischen Linie auf 67,25 % (über $2/3$).
17:23 Agenten-Architektur und Ablauf: Initiierung durch Jared Sumner; Einsatz von 60 spezialisierten Subagenten (u. a. 2 Kern-Ideengeber, 13 Ideenzulieferer, 13 Validatoren, 2 Autoren). Generierung von 31 Mio. Output-Tokens, 2.400 Shell-Befehlen und Durchsicht von 54 arXiv-Papers.
20:07 Mathematischer Durchbruch der KI: Agent R4 identifizierte eine unbestimmte mathematische Struktur. Agent E2 nutzte positive Richtungen dieses Objekts, um Nullstellen auf der kritischen Linie zu zertifizieren (initialer 50 %-Beweis).
22:07 Fehlerbehebung und Erweiterung auf 67,25 %: Korrektur einer Matrix-Lücke durch feindliche Prüfagenten („hostile referees“); nach Absturz von Agent E2-pairs Wiederaufnahme des abgelegten Beweises und Steigerung auf $2/3$ bzw. $67,25%$.
23:21 Validierung und Formalisierung: Überprüfung des Preprints durch die Anthropic-Mathematiker Levon Alpagut und Ralph Furman, externe Durchsicht durch Brian Conrey und Dan Goldston sowie Lean-Formalisierung mit Eric Easley.
25:00 Mathematische Distinktion (Proportion vs. RH): Erklärung, warum $100%$ Anteile die RH nicht beweisen: Asymptotischer Vergleich mit Nicht-Quadratzahlen (Anteil nähert sich $100%$, obwohl unendlich viele Quadratzahlen existieren). Diskrete Nullstellen abseits der Linie bleiben möglich.
28:15 Methodische Bedenken & Zukunft des Berufsstands: Diskussion über Risiken autonomer Forschungssysteme, Überlastung der Peer-Review-Kapazitäten durch KI-Inundation, Benchmarking von Millennium-Problemen und Terrence Taos Vision des Mathematikers als Interpret und Vermittler.
Glossar
Analytische Fortsetzung (Analytic Continuation): Eine Technik der komplexen Analysis, mit der der Definitionsbereich einer holomorphen Funktion über ihre ursprüngliche Reihendarstellung hinaus eindeutig erweitert wird.
Basler Problem: Die 1735 von Leonhard Euler gelöste mathematische Fragestellung nach dem genauen Wert der unendlichen Summe der Reziproken der Quadratzahlen ($\sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6}$).
Euler-Produktformel: Eine Identität, die die Riemannsche Zeta-Funktion für $\text{Re}(s) > 1$ als unendliches Produkt über alle Primzahlen darstellt und die fundamentale Verbindung zwischen Analysis und Zahlentheorie bildet.
Kritische Linie (Critical Line): Die vertikale Gerade $\text{Re}(s) = 1/2$ in der komplexen Zahlenebene, auf der laut der Riemannschen Vermutung alle nicht-trivialen Nullstellen der Zeta-Funktion liegen.
Kritischer Streifen (Critical Strip): Der Bereich der komplexen Zahlen mit $0 < \text{Re}(s) < 1$, in dem sich sämtliche nicht-trivialen Nullstellen der Zeta-Funktion befinden.
Lean: Ein interaktiver mathematischer Beweisassistent und eine Programmiersprache, mit der mathematische Beweise formal auf ihre absolute logische Korrektheit durch Computer überprüft werden können.
Multi-Agenten-System: Eine Architektur der künstlichen Intelligenz, bei der mehrere spezialisierte Sub-Modelle (Agenten) unter einer zentralen Steuerung zusammenarbeiten, um komplexe Teilaufgaben (z. B. Beweisführung, Fehlerprüfung, Code-Generierung) autonom zu lösen.
Output-Tokens: Die Basiseinheiten (Wortfragmente oder Zeichen), die von einem Sprachmodell während der Text- und Code-Generierung erzeugt werden; ein Maß für den verbrauchten Rechenaufwand.
Primzahl-Zählfunktion ($\pi(x)$): Eine mathematische Funktion, die die exakte Anzahl der Primzahlen angibt, die kleiner oder gleich einer reellen Zahl $x$ sind.
Riemannsche Vermutung (Riemann Hypothesis - RH): Eines der ungelösten Millennium-Probleme der Mathematik. Sie besagt, dass alle nicht-trivialen Nullstellen der Riemannschen Zeta-Funktion den Realteil $1/2$ besitzen.