GPT-5.6 schreibt die Geschichte der Mathematik in nur einem Tag neu, der achtjährige Rekord des fünfköpfigen „Shuang Fei“-Teams wurde gebrochen.

Gerade hat die KI wieder einmal ein mathematisches Rätsel gelöst.

Jared Duker Lichtman, Assistenzprofessor für Mathematik an der Stanford-Universität und Inhaber des Szegő-Lehrstuhls, bestätigt: In nur einem einzigen Tag hat GPT-5.6 den Rekord für große Primzahllücken (Large Prime Gaps) gebrochen, der von dem fünfköpfigen Team um Terence Tao ganze 8 Jahre lang gehalten wurde!

Nicht nur das: Er hat eine völlig neue, nie dagewesene Konstruktionsmethode entwickelt – „Schiebe Restklassen“ (Skewed Residue Classes), und am selben Tag, an dem der Beweis vorgelegt wurde, hat er die maschinelle formale Verifikation in der Programmiersprache Lean bestanden.

Das bedeutet: Während menschliche Mathematiker noch mit dem Verständnis des Beweises kämpfen und versuchen, die komplexe Logik zu „verdauen“, hat die Maschine bereits die Bestätigung erteilt: Der Satz ist gültig, der Beweis ist fehlerfrei, Menschen, ihr seid wieder zurückgefallen.

Der Fluch der Primzahlen – die gemeinsame Zielerreichung von Yitang Zhang und Terence Tao

Um zu verstehen, wie bahnbrechend der Durchbruch von GPT-5.6 diesmal ist, müssen wir zuerst über ein mathematisches Gespenst sprechen, das die Menschheit seit Jahrhunderten plagt – das Problem der Verteilung von Primzahlen.

Primzahlen (2, 3, 5, 7, 11...) sind wie einsame Planeten, die im Universum der ganzen Zahlen verstreut sind.

Sie sind nur durch 1 und sich selbst teilbar und bilden die „Atome“, aus denen alle Zahlen bestehen.

Die Verteilung dieser „Atome“ folgt jedoch keinerlei Regelmäßigkeit.

Mit zunehmender Größe der Zahlen werden Primzahlen immer seltener.

Das bedeutet: Der Abstand zwischen zwei benachbarten Primzahlen wird immer größer.

An diesem Punkt haben sich Mathematiker in zwei große Lager aufgeteilt, die jeweils zwei Extreme der Primzahlverteilung erforschen:

Erstes Lager: Suche nach dem minimalen Abstand (kleine Primzahllücken).

Sie versuchen zu beweisen, dass es selbst in den Tiefen des unendlichen Universums noch „Primzahlzwillinge“ gibt, die sehr nah beieinander liegen.

2013 trat der unbekannte chinesische Mathematiker Yitang Zhang plötzlich in Erscheinung und bewies, dass es unendlich viele Primzahlpaare gibt, deren Abstand weniger als 70 Millionen beträgt – das schockierte die ganze Welt.

Das ist das berühmte Problem der „beschränkten Primzahllücken“.

Danach haben Mathematiker gemeinsam zusammengearbeitet, das Ergebnis stetig optimiert und schließlich den Wert auf 246 heruntergedrückt.

Gerade hat der KI-Mathematiker AxiomProver eine formale Verifikation vorgelegt.

Zweites Lager: Suche nach der größten Wüste (große Primzahllücken).

Ihre Fragestellung ist genau umgekehrt: Da Primzahlen immer seltener werden, wie weit kann diese „zahlenmäßige Wüste ohne Primzahlen“ zwischen zwei Primzahlen eigentlich sein?

Das ist genau das berühmte „vierte Problem von Paul Erdős“. Zu seinen Lebzeiten bot Erdős 10.000 US-Dollar als Belohnung für jeden an, der diese untere Schranke deutlich verbessern kann.

Wenn Yitang Zhang in der weiten Wüste nach zwei eng beieinander liegenden Oasen sucht, dann sind die Forscher großer Primzahllücken auf der Suche nach der längsten, trockensten und hoffnungslosesten Zone ohne Oase in dieser Wüste.

Seit vielen Jahren hat die Menschheit enorme Anstrengungen unternommen, um die Länge dieser „größten Wüste“ zu messen.

2014 hat die Menschheit ein beispielloses „Rachebündnis der Mathematik“ (Polymath-Projekt) ins Leben gerufen. Diese fünfköpfige Gruppe besteht aus:

Terence Tao (Terence Tao), Preisträger der Fields-Medaille und einer der größten mathematischen Genies unserer Zeit, einem weiteren Fields-Preisträger und Experten für analytische Zahlentheorie James Maynard, sowie den drei Mathematikern Kevin Ford, Ben Green und Sergei Konyagin.

Diese fünf Mathematiker haben gemeinsam etwa 5 Jahre lang gearbeitet, um die untere Schranke der großen Primzahllücken an eine neue Grenze zu schieben und eine komplexe Formel vorgelegt.

Dieses Ergebnis gilt als eines der Spitzenwerke der letzten Jahrzehnte. Es wird allgemein angenommen, dass dieser Rekord in den nächsten Jahrzehnten kaum zu erschüttern sein wird.

Bis GPT-5.6 die „Eingabetaste“ drückte.

Das „Rachebündnis“ an einem Tag übertrumpft – die dimensionsreduzierende Attacke von GPT-5.6

Das mathematische Forschungsteam der Stanford-Universität war während des Verifikationsprozesses völlig erstaunt.

GPT-5.6 hat nicht wie herkömmliche erschöpfende Programme auf rohe Gewalt (Brute Force) gesetzt, sondern zeigte eine unheimliche „mathematische Intuition“.

Gemäß dem veröffentlichten Paper spart die neue untere Schranke von GPT-5.6 im Vergleich zu dem Ergebnis der fünfköpfigen Gruppe um Terence Tao aus dem Jahr 2018 einen Faktor von \log_3(n) ein!

Für Leser ohne mathematischen Hintergrund brauchen Sie nur eines zu wissen: In der analytischen Zahlentheorie ist die Verbesserung eines Logarithmusfaktors (\log) nicht weniger schwierig als die Entdeckung eines neuen Elementarteilchens in der Physik.

Damit die Mannschaft von Terence Tao diese kleinen Faktoren damals optimieren konnte, hat sie praktisch das gesamte menschliche mathematische Werkzeugkasten ausgeschöpft. Und \log\log\log(n) (dreifacher Logarithmus) ist extrem hartnäckig, wie ein Schloss, das in die Gene eingebettet ist – menschliche Mathematiker haben 8 Jahre lang versucht, es zu knacken, ohne Erfolg.

Aber GPT-5.6 hat es nicht nur optimiert, sondern dies wird weithin als die größte quantitative Fortschritt im Bereich der großen Primzahllücken in den letzten Jahren angesehen!

Wie hat er das geschafft?

Während des Beweises hat GPT-5.6 eine einzigartige Methode erfunden, die noch nie in menschlichen mathematischen Literaturen erschienen ist – „Schiebe Restklassen“ (Skewed Residue Classes).

In früheren Beweisen haben menschliche Mathematiker normalerweise die herkömmliche „Siebtheorie“ (Sieve Theory) in Kombination mit dem von Maynard erfundenen Gewichtungssystem (Maynard weights) verwendet, um Nicht-Primzahlen herauszufiltern und so lange Intervalle von zusammengesetzten Zahlen zu konstruieren.

Das ist wie das Fischen mit einem Fischernetz mit regelmäßigen Maschen.

Die „Schieben Restklassen“ von GPT-5.6 hingegen wirken wie ein hochdimensionales Verzerrungsfeld, das auf dieses Fischernetz wirkt.

Durch eine mikroskopische „Verzerrung (Biasing)“ der herkömmlichen Siebtheorie umgeht er geschickt einige Symmetriehindernisse, die zu geringer Effizienz führen.

Danach koordiniert er wie ein Feldherr, der Tausende von Truppen kommandiert, diese völlig neue Schiebekonstruktion perfekt mit der verbesserten Version der Maynard-Gewichte und der extrem komplexen Hypergraphen-Abdeckungstheorie (Hypergraph Covers).

Schließlich geschieht das Wunder: In dem gleichen Größenbereich hat GPT-5.6 erfolgreich ein Intervall ohne Primzahlen konstruiert, das viel länger ist als das, was die Menschheit damals konstruieren konnte!

Maschinen verifizieren in Sekundenbruchteilen, während Menschen noch schmerzhaft „verdauen“

In der traditionellen mathematischen Welt braucht es, wenn ein Mathematiker behauptet, ein weltweites Problem gelöst zu haben – wie damals die Behauptung von Shinichi Mochizuki zum ABC-Vermutung – allein Jahre, um die Kollegen dazu zu bringen, seinen Beweisansatz zu prüfen und zu verstehen. Mathematiker müssen Symposien abhalten und die Formeln Zeile für Zeile überprüfen.

Aber GPT-5.6 hat der Menschheit diese Atempause gar nicht erst gegeben: Gleichzeitig mit dem für Menschen lesbaren Beweis hat er den vollständigen Beweis direkt in die Sprache Lean 4 übersetzt!

Was ist Lean?

Es ist derzeit der maßgeblichste interaktive Theorembeweiser (Interactive Theorem Prover) in der Mathematik.

Solange ein Beweiskode den Compiler von Lean durchlaufen kann und keine Fehlermeldungen anzeigt, ist dieser Satz logisch zu 100% gültig.

Ben Green, Mathematikprofessor an der Universität Oxford, der damals mit Terence Tao zusammen den Rekord aufgestellt hat, hat mehrere Stunden lang nachgedacht, mit seinen beiden Kooperationspartnern, den Fields-Preisträgern Terence Tao und James Maynard, kommuniziert und im Wesentlichen bestätigt, dass der Beweis diesmal korrekt ist.

Aber die Geschwindigkeit der formalen Beweisführung hat ihn erstaunt.

Eine seltsame Situation ist entstanden:

Auf der einen Seite gibt es einen vollständigen, aber kaum lesbaren Beweis, dessen Autor bis heute anonym ist (der Name auf dem Paper lautet ChatGPT); auf der anderen Seite gibt es die formale Verifikation von Lean, also wissen wir