GoldbachGPU: An Open Source GPU-Accelerated Framework for Verification of Goldbach's Conjecture

Das große Rätsel: Die Goldbach-Vermutung

Stellen Sie sich vor, Sie haben eine riesige Sammlung von Zahlen. Die Goldbach-Vermutung ist eine alte mathematische Regel aus dem Jahr 1742. Sie besagt:

„Jede gerade Zahl, die größer als 2 ist, kann als Summe von zwei Primzahlen geschrieben werden."

Eine Primzahl ist eine Zahl, die nur durch 1 und sich selbst teilbar ist (wie 2, 3, 5, 7, 11...).

• Beispiel: Die Zahl 10 ist gerade. Man kann sie schreiben als $3 + 7$ (beide Primzahlen) oder $5 + 5$.
• Beispiel: Die Zahl 100 ist $3 + 97$ oder $11 + 89$.

Mathematiker haben diese Regel für viele Zahlen geprüft, aber sie haben sie noch nicht bewiesen. Das heißt, niemand weiß zu 100 %, ob sie für alle Zahlen im Universum gilt. Um sicherzugehen, dass es keine Ausnahme gibt, müssen Computer Milliarden von Zahlen durchrechnen.

Das Problem: Der „Speicher-Engpass"

Bisher gab es ein großes Hindernis, wenn man moderne Grafikkarten (GPUs) dafür nutzen wollte.
Stellen Sie sich die Grafikkarte wie einen super-schnellen Koch vor, der Millionen von Gerichten gleichzeitig zubereiten kann. Aber dieser Koch hat nur eine winzige Arbeitsplatte (den Arbeitsspeicher der Karte, VRAM).

Frühere Versuche, die Vermutung zu prüfen, versuchten, eine riesige Liste aller Primzahlen auf diese kleine Arbeitsplatte zu legen.

• Das Problem: Sobald man Zahlen über eine bestimmte Grenze hinaus prüfen wollte (etwa ab 100 Milliarden), wurde die Liste so lang, dass sie nicht mehr auf die Arbeitsplatte passte. Der Koch musste ständig an den Kühlschrank (den langsamen Hauptspeicher des Computers) rennen, um Zutaten zu holen. Das machte ihn extrem langsam.
• Die alte Grenze: Man konnte nur bis etwa $10^{11}$ (100 Milliarden) prüfen, bevor der Speicher voll war.

Die Lösung: GoldbachGPU

Isaac Llorente-Saguer hat eine neue Methode namens GoldbachGPU entwickelt. Er hat dem Koch eine clevere Strategie beigebracht, damit er auch mit einer winzigen Arbeitsplatte riesige Mengen bewältigen kann.

Hier sind die drei genialen Tricks, die er benutzt:

1. Der „Komprimierte Koffer" (Dichte Bit-Packung)

Statt jede Primzahl wie einen ganzen Apfel auf die Arbeitsplatte zu legen, hat er sie in winzige Samen verwandelt.

• Die Analogie: Früher nahm man für jede Zahl einen ganzen Platz im Speicher ein (wie einen ganzen Apfel). Jetzt packt er 64 Primzahlen in einen einzigen kleinen Kasten (wie 64 Samen in eine kleine Schachtel).
• Der Effekt: Der Platzbedarf schrumpft um das 16-fache! Plötzlich passt viel mehr auf die kleine Arbeitsplatte der Grafikkarte.

2. Das „Segmentierte-Back-System" (Segmented Double-Sieve)

Das war der wichtigste Trick. Anstatt die gesamte Liste aller Primzahlen auf einmal auf die Karte zu laden, arbeitet der Koch jetzt in Abschnitten.

• Die Analogie: Stell dir vor, du musst ein ganzes Land kartieren. Anstatt eine riesige Landkarte zu malen, die nirgendwohin passt, malst du erst eine Karte für eine Stadt. Sobald du die Stadt geprüft hast, wirfst du die Karte weg und malst die nächste Stadt.
• Wie es funktioniert:
  1. Der Computer (CPU) berechnet einen kleinen Abschnitt von Primzahlen.
  2. Er schickt nur diesen kleinen Abschnitt an die Grafikkarte (GPU).
  3. Die Grafikkarte prüft alle Zahlen in diesem Abschnitt blitzschnell.
  4. Dann kommt der nächste Abschnitt.
• Der Vorteil: Die Grafikkarte braucht nie mehr als einen kleinen „Koffer" (nur 14 Megabyte!) an Speicher, egal ob man bis 1 Billion oder 1 Trillion Zahlen prüft. Der Speicher-Engpass ist damit komplett verschwunden.

3. Der „Dreistufige Sicherheits-Check" (Primality Oracle)

Manchmal muss der Koch prüfen, ob eine Zahl, die er gerade berechnet hat, eine Primzahl ist. Statt alles neu zu berechnen, nutzt er eine intelligente Hierarchie:

1. Schneller Check: Ist die Zahl sehr klein? Dann schaut er in eine kleine, immer griffbereite Liste.
2. Mittlerer Check: Liegt die Zahl im aktuellen Abschnitt? Dann schaut er in die gerade geladene Karte.
3. Notfall-Check: Ist die Zahl dazwischen? Dann führt er einen schnellen mathematischen Test durch (Miller-Rabin).
   Dieser Prozess ist so optimiert, dass er fast nie auf den langsamen Notfall-Check zurückgreifen muss.

Was wurde erreicht?

Mit diesem System hat Isaac Llorente-Saguer auf einer ganz normalen Grafikkarte (einer NVIDIA RTX 3070, die man für Gaming kaufen kann) folgende Leistungen erbracht:

• Rekord: Er hat die Goldbach-Vermutung für alle geraden Zahlen bis 1 Billion ($10^{12}$) überprüft.
• Geschwindigkeit: Das ganze Projekt dauerte auf dieser einen Karte weniger als 2 Stunden.
• Ergebnis: Es wurde keine einzige Ausnahme gefunden. Jede Zahl war tatsächlich die Summe von zwei Primzahlen.
• Zukunftssicher: Das System skaliert. Wenn man mehrere dieser Karten zusammensteckt (wie in Rechenzentren), kann man noch viel weiter gehen.

Ein Extra-Trick für riesige Zahlen

Für einzelne, extrem große Zahlen (mit tausenden von Stellen, weit über das, was normale Computer verstehen) hat er noch ein separates Werkzeug namens big check gebaut.

• Es kann einzelne Zahlen bis zu 10.000 Stellen prüfen.
• Das ist wie das Prüfen einer einzigen, riesigen Zahl, die so lang ist wie ein ganzer Roman. Auch hier wurde keine Ausnahme gefunden.

Fazit

Die Botschaft der Arbeit ist: Man braucht keine super-teuren Supercomputer, um große mathematische Rätsel zu lösen.

Durch clevere Programmierung und die Nutzung von alltäglicher Hardware (Gaming-Grafikkarten) konnte man eine alte mathematische Grenze sprengen. Der „Speicher-Engpass" war kein physikalisches Gesetz, sondern nur ein schlechter Plan. Mit dem neuen Plan (GoldbachGPU) ist die Tür für weitere Entdeckungen weit offen.

Kurz gesagt: Der Koch hat gelernt, wie man mit einer winzigen Arbeitsplatte ein ganzes Festmahl für Milliarden Gäste zubereitet, ohne je den Kühlschrank zu öffnen. Und das Festmahl war perfekt!