🔢 mathematics

ABC implies that Ramanujan's tau function misses almost all primes

Unter Annahme der $abc$-Vermutung beweist diese Arbeit, die vollständig von AxiomProver in Lean formalisiert wurde, dass die Ramanujan'sche Tau-Funktion eine Dichte-1-Teilmenge der Primzahlen überspringt, während heuristische Überlegungen dennoch auf unendlich viele Primwert-Schläge hindeuten.

Ursprüngliche Autoren: David Kurniadi Angdinata, Evan Chen, Chris Cummins, Ben Eltschig, Dejan Grubisic, Leopold Haller, Letong Hong, Andranik Kurghinyan, Kenny Lau, Hugh Leather, Seewoo Lee, Simon Mahns, Aram H. Markosyan

Veröffentlicht 2026-04-01

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: David Kurniadi Angdinata, Evan Chen, Chris Cummins, Ben Eltschig, Dejan Grubisic, Leopold Haller, Letong Hong, Andranik Kurghinyan, Kenny Lau, Hugh Leather, Seewoo Lee, Simon Mahns, Aram H. Markosyan, Rithikesh Muddana, Ken Ono, Manooshree Patel, Gaurang Pendharkar, Vedant Rathi, Alex Schneidman, Volker Seeker, Shubho Sengupta, Ishan Sinha, Jimmy Xin, Jujian Zhang

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie haben einen riesigen, magischen Filter, den wir den Ramanujan-Tau-Filter nennen. Dieser Filter nimmt jede ganze Zahl $n$ (1, 2, 3, 4...) und wandelt sie in eine neue Zahl um, die wir $\tau(n)$ nennen.

Die große Frage, die Mathematiker seit fast 100 Jahren beschäftigt, lautet: Welche Zahlen kommen dabei heraus?

Besonders interessieren sich die Forscher für die Primzahlen (Zahlen wie 2, 3, 5, 7, 11, die nur durch sich selbst und 1 teilbar sind). Die alte Vermutung war: „Vielleicht kommen unendlich viele Primzahlen aus diesem Filter heraus."

Diese neue Arbeit sagt jedoch: „Nein, das ist fast unmöglich."

Hier ist die Erklärung, wie die Autoren zu diesem Ergebnis kamen, ohne komplizierte Formeln zu verwenden:

1. Die große Regel (Die abc-Vermutung)

Stellen Sie sich die Mathematik als ein riesiges Puzzle vor. Die Autoren nutzen eine sehr mächtige, aber noch nicht bewiesene Regel namens abc-Vermutung.

Die Analogie: Stellen Sie sich vor, Sie haben drei Steine $a$ , $b$ und $c$ , die zusammenpassen ( $a + b = c$ ). Die abc-Vermutung sagt im Wesentlichen: „Wenn diese Steine keine gemeinsamen Teile haben (sie sind teilerfremd), dann kann das Produkt ihrer kleinsten Bausteine (die Primfaktoren) nicht beliebig klein sein im Vergleich zur Größe von $c$ ."
Was bedeutet das hier? Es ist wie ein Sicherheitsgurt für Zahlen. Er verhindert, dass bestimmte sehr spezifische Kombinationen von Zahlen zu oft vorkommen.

2. Der Filter und die „Fast-leere" Schale

Die Autoren haben gezeigt, dass, wenn man diese abc-Vermutung wahrnimmt, der Ramanujan-Filter fast alle Primzahlen aussortiert.

Die Analogie: Stellen Sie sich einen Sieb vor, durch das Sand (die Primzahlen) rieselt. Normalerweise würde man erwarten, dass ein paar Körner durchkommen. Aber dieser spezielle Filter ist so fein eingestellt, dass er 99,999...% aller Primzahlen zurückhält.
Nur ganz selten, bei ganz bestimmten, riesigen Zahlen, kommt vielleicht eine Primzahl durch. Aber im großen Ganzen ist der Filter für Primzahlen „blind".

3. Wie haben sie das bewiesen? (Die zwei Tricks)

Um das zu beweisen, mussten sie zwei schwierige Hindernisse überwinden, die wie zwei spezielle Fallen im Zahlenraum aussehen:

Fall 1: Die Hyperbel-Falle. Sie untersuchten eine Situation, die wie eine gekrümmte Linie aussieht ( $y^2 = x^{11} \pm \text{Primzahl}$ ). Die abc-Vermutung sagt ihnen: „Es gibt nur sehr wenige Punkte auf dieser Linie, die ganze Zahlen sind."
Fall 2: Die Quadratische Falle. Ähnlich wie bei der ersten, aber mit einer anderen Formel ( $u^2 = 5x^{22} \pm \text{Primzahl}$ ). Auch hier sagt die abc-Vermutung: „Hier gibt es fast keine ganzzahligen Lösungen."

Da der Ramanujan-Filter nur dann Primzahlen produzieren kann, wenn diese „Fallen" eine Lösung haben, und die abc-Vermutung besagt, dass diese Fallen fast leer sind, folgt daraus: Der Filter produziert fast keine Primzahlen.

4. Der KI-Beitrag (Der digitale Assistent)

Ein besonders spannender Teil dieser Arbeit ist, wie sie es bewiesen haben.

Die Autoren haben eine künstliche Intelligenz namens AxiomProver benutzt.
Die Analogie: Stellen Sie sich vor, Sie geben einem genialen, aber sehr pedantischen Roboter eine Aufgabe auf Deutsch: „Beweise, dass dieser Filter fast keine Primzahlen durchlässt."
Der Roboter hat dann den Beweis nicht nur gedacht, sondern ihn in einer Programmiersprache namens Lean (die wie ein strenger Mathematik-Compiler funktioniert) geschrieben und automatisch überprüft.
Der Roboter hat den Beweis gefunden, aber er sah aus wie Computercode. Die menschlichen Autoren mussten dann diesen Code zurück in eine Geschichte übersetzen, damit andere Menschen sie verstehen können.

5. Das Fazit: Ein Paradoxon

Obwohl der Beweis zeigt, dass der Filter fast alle Primzahlen verpasst (die Dichte ist 0), glauben die Autoren trotzdem, dass es unendlich viele Primzahlen gibt, die durchkommen.

Die Analogie: Es ist wie ein Wüstenweg. Wenn Sie 100 Kilometer gehen, sehen Sie vielleicht keinen einzigen Baum. Aber wenn Sie unendlich weit gehen, werden Sie vielleicht doch einen finden. Die Primzahlen sind so selten, dass sie sich fast wie ein Witz anhören, aber sie sind da.

Zusammengefasst:
Diese Arbeit sagt uns: „Unter der Annahme einer großen mathematischen Regel (abc-Vermutung) ist der Ramanujan-Filter für Primzahlen extrem ineffizient. Er verpasst fast alles. Aber dank einer KI, die den Beweis programmiert hat, wissen wir jetzt genau, warum das so ist."

Es ist ein Triumph der Zusammenarbeit zwischen menschlicher Intuition, mathematischer Tiefe und künstlicher Intelligenz.

1. Problemstellung und Motivation

Das Paper untersucht die Verteilung von Primzahlen im Bild der Ramanujan'schen Tau-Funktion $\tau(n)$ , die als Fourier-Koeffizienten der diskriminierenden Modulform $\Delta(z)$ definiert sind:
$\Delta(z) = q \prod_{n \ge 1} (1-q^n)^{24} = \sum_{n \ge 1} \tau(n) q^n$

Hintergrund:

Lehmer-Vermutung: $\tau(n) \neq 0$ für alle $n \ge 1$ .
Folklore-Vermutung: Es gibt unendlich viele Primzahlen $p$ , die (bis auf Vorzeichen) als Werte von $\tau(n)$ auftreten.
Bisherige Ergebnisse: Xiong zeigte kürzlich, dass die Menge der Primzahlen im Bild von $\tau$ eine Dichte von höchstens $2/11$ innerhalb aller Primzahlen hat.

Ziel des Papers:
Unter der Annahme der abc-Vermutung (Masser-Oesterlé) soll gezeigt werden, dass die Ramanujan'sche Tau-Funktion fast alle Primzahlen überspringt. Konkret wird bewiesen, dass die Anzahl der Primzahlen $\ell \le X$ , die als $|\tau(n)|$ auftreten, asymptotisch viel kleiner ist als die Gesamtzahl der Primzahlen $\pi(X)$ .

2. Methodik

Der Beweis kombiniert analytische Zahlentheorie, die Theorie der Modulformen und die abc-Vermutung. Die Argumentation gliedert sich in folgende Schritte:

A. Reduktion auf Hyperelliptische Kurven

Basierend auf den Hecke-Relationen und Ergebnissen von Xiong wird gezeigt, dass wenn $|\tau(n)| = \ell$ eine Primzahl ist, $n$ eine Primzahlpotenz sein muss.

Für $n = p^2$ führt die Gleichung $\tau(p^2) = \pm \ell$ auf die hyperelliptische Kurve $y^2 = x^{11} \pm \ell$ .
Für $n = p^4$ führt die Gleichung $\tau(p^4) = \pm \ell$ auf die Kurve $u^2 = 5x^{22} \pm 4\ell$ .
Für höhere Potenzen $n=p^{2k}$ ( $k \ge 3$ ) liefert Xiong bereits eine obere Schranke von $O(X^{9/10})$ .

Das Problem reduziert sich somit auf die Abschätzung der Anzahl ganzzahliger Punkte $(x, y)$ auf diesen Kurven, wobei der Parameter $\ell$ prim ist und in einem bestimmten Intervall liegt.

B. Anwendung der abc-Vermutung

Die beiden Hauptkomponenten des Beweises (Lemma 5) nutzen die abc-Vermutung, um die Anzahl der ganzzahligen Punkte auf den Kurven $y^2 = x^{11} \pm k$ und $u^2 = 5x^{22} \pm k$ (mit $k$ klein im Vergleich zu $x$ ) zu beschränken.

Durch Umformung in die Form $a + b = c$ und Anwendung der abc-Vermutung ( $|c| \le C_\epsilon \text{rad}(abc)^{1+\epsilon}$ ) wird gezeigt, dass die Variablen $x$ stark beschränkt sein müssen.
Dies führt zu den Schranken:
- $E_2(X) \ll X^{4/9+\eta}$ für die Kurven vom Grad 11.
- $E_4(X) \ll X^{1/5+\eta}$ für die Kurven vom Grad 22.

C. Automatisierte Formalisierung (AxiomProver)

Ein bemerkenswerter Aspekt der Methodik ist die Rolle von AxiomProver, einem KI-System.

Die Autoren gaben die natürlichen Sprachbeschreibungen des Problems und relevante Sätze aus der Literatur (insbesondere Xiong [24]) als Eingabe.
AxiomProver generierte autonom die Beweise für die analytischen Abschätzungen (Lemma 5) und formalisierte diese in Lean 4 (mit der Bibliothek Mathlib).
Die menschlichen Autoren übersetzten diese formalen Beweise anschließend in den narrativen mathematischen Text dieses Papers.

3. Wichtige Ergebnisse

Hauptsatz (Theorem 1):
Unter Annahme der abc-Vermutung gilt für die Anzahl der Primzahlen $\ell \le X$ , die als $|\tau(n)|$ auftreten:
$S(X) := \#\{\ell \le X : \ell \text{ prim und } \exists n \ge 1, |\tau(n)| = \ell\} = O(X^{9/10} \log X)$

Konsequenzen:

Dichte Null: Da die Primzahlfunktion $\pi(X) \sim X/\log X$ ist, folgt:
$\lim_{X \to \infty} \frac{S(X)}{\pi(X)} = 0$
Das bedeutet, dass die Tau-Funktion eine Dichte-1-Teilmenge der Primzahlen überspringt („misses almost all primes").
Verallgemeinerung: Das Ergebnis gilt analog für die Koeffizienten jeder normierten Hecke-Eigenform auf $SL_2(\mathbb{Z})$ mit ganzzahligen Koeffizienten.

Heuristische Vorhersage:
Obwohl die Dichte null ist, vermuten die Autoren basierend auf der Sato-Tate-Vermutung, dass $S(X)$ dennoch unendlich viele Werte annimmt. Sie geben eine heuristische Abschätzung für das Wachstum an:
$S(X) \asymp \frac{C X^{1/11}}{(\log X)^2}$
Dies deutet darauf hin, dass Primwerte extrem selten, aber nicht inexistent sind.

4. Bedeutung und Signifikanz

Theoretischer Fortschritt: Das Paper liefert die bisher schärfste obere Schranke für das Auftreten von Primzahlen im Bild der Tau-Funktion. Es verbindet tiefgreifende Vermutungen der Zahlentheorie (abc-Vermutung, Sato-Tate) mit der Struktur von Modulformen.
KI in der Mathematik: Dies ist ein Meilenstein für den Einsatz von KI in der mathematischen Forschung. Der Beweis der analytischen Kernschritte (Lemma 5) wurde vollständig von einer KI (AxiomProver) aus einer natürlichen Sprachbeschreibung abgeleitet und in Lean formalisiert. Dies demonstriert das Potenzial von KI, komplexe Beweise zu generieren und zu verifizieren, die dann von Menschen für die wissenschaftliche Kommunikation aufbereitet werden.
Verbindung von Gebieten: Das Paper verknüpft die Theorie der Modulformen, diophantische Gleichungen (hyperelliptische Kurven) und die abc-Vermutung auf elegante Weise, um ein klassisches Problem über die Werte von $\tau(n)$ zu lösen.

Zusammenfassend beweist das Paper, dass unter der abc-Vermutung die Ramanujan'sche Tau-Funktion „fast alle" Primzahlen nicht annimmt, wobei die Beweismethodik einen neuen Standard für die Zusammenarbeit zwischen menschlichen Mathematikern und KI-Systemen setzt.