GPT-6 Astra: Durchbruch bei Goldbach-Vermutung

GPT-6 Astra hat in nur zwei Tagen und auf zwei Seiten eine Leistung vollbracht, die die Menschheit fast 300 Jahre lang beschäftigt hat – den unbedingten Beweis einer abgeschwächten Liouville-Version der Goldbach-Vermutung, die den gesamten Bereich der geraden Zahlen abdeckt und bereits formal in Lean 4 verifiziert wurde, ohne jede Lücke. Noch beeindruckender: Der Beweis beruht nicht auf roher Rechenleistung, sondern auf einer eleganten Logik, die selbst menschliche Mathematiker verblüfft.

Ein großer Durchbruch in der Mathematik!

Kürzlich hat GPT-6 Astra erneut Fortschritte bei der Goldbach-Vermutung erzielt.

Der Nutzer Captain Sude gab bekannt: Astra hat erfolgreich eine Liouville-Version der Goldbach-Vermutung über die Liouville-Funktion bewiesen!

Konkret hat es die schwache Liouville-Form der Goldbach-Vermutung unbedingt bewiesen.

Noch erstaunlicher ist, dass Astra – anders als erwartet – nicht einfach nur mit brachialer Rechenleistung auftrumpfte, sondern eine sehr elegante logische Schlussfolgerung lieferte.

Und dieser Beweis hat inzwischen die formale Verifikation in Lean 4 bestanden.

Die unerreichbare Perle der Mathematik

Zuvor hatte die Goldbach-Vermutung wie ein Gespenst die menschlichen Mathematiker fast drei Jahrhunderte lang gequält.

1742 stellte Goldbach in einem Brief an Euler die Vermutung auf: „Jede gerade Zahl größer als 2 lässt sich als Summe zweier Primzahlen schreiben.“

Unzählige Menschen haben dafür ihr Herzblut gegeben. Von Hardy und Littlewood bis zu Chen Jingruns Beweis von „1+2“ – die Menschheit konnte das Juwel der Mathematik, „1+1“, nie erreichen.

Das liegt daran, dass die Verteilung der Primzahlen viel zu unregelmäßig ist!

Da das direkte Angehen nicht funktioniert, hatten die Mathematiker eine geniale Idee und entwickelten eine Art „Ersatzkonstrukt“ – die Liouville-Version der Goldbach-Vermutung.

Um Primzahlen zu simulieren, führten die Mathematiker ein wunderbares Werkzeug ein: die Liouville-Funktion.

Diese Funktion wird als notiert, wobei die Gesamtzahl der Primfaktoren einer Zahl angibt.

Ihre Regel funktioniert wie ein Schalter, der nur auf „gerade oder ungerade“ achtet: Enthält eine Zahl eine gerade Anzahl von Primfaktoren, dann ist λ(n)=1.

Enthält sie eine ungerade Anzahl von Primfaktoren, dann ist λ(n)=-1.

Alle reinen Primzahlen (wie 2, 3, 5, 7, 11) haben einen Liouville-Funktionswert von absolut -1! Die Umkehrung gilt jedoch nicht, denn auch 8 und 12 haben den λ-Wert -1.

2018 wurde im bekannten Mathematikforum MathOverflow eine abgeschwächte Version der Goldbach-Vermutung vorgeschlagen:

Für jede gerade Zahl N größer als 2 gibt es immer zwei positive ganze Zahlen a und b, sodass N=a+b und λ(a)=λ(b)=−1 gilt.

Wenn die klassische Goldbach-Vermutung stimmt, dann müssen die Liouville-Werte dieser beiden Primzahlen zwangsläufig beide -1 sein, also ist diese „Liouville-Vermutung“ ebenfalls absolut richtig.

Nun haben die Mathematiker die Bedingungen gelockert: Die Summanden müssen nicht unbedingt reine Primzahlen sein, es reicht, wenn die Anzahl ihrer Primfaktoren ungerade ist!

Ausbruch im Schatten der Riemann-Vermutung: KI liefert sensationelle zwei Seiten

Da die Bedingungen gelockert wurden, sollte der Beweis doch einfach sein, oder? Doch er bleibt weiterhin haarsträubend schwierig!

Der Kern des Problems liegt darin, dass Mathematiker untersuchen wollen, ob sich diese abwechselnden Vorzeichen unter additiver Kombination wie beim Münzwurf gegenseitig aufheben und so eine tiefe Ordnung unter der Addition offenbaren. Es geht darum, eine Brücke zwischen der „multiplikativen Struktur“ und der „additiven Kombinatorik“ in der Mathematik zu schlagen.

Erst 2024 gelang dem Mathematiker Alexander P. Mangerel ein Durchbruch. In einer Arbeit bewies er: Für alle hinreichend großen geraden Zahlen gilt diese Vermutung.

Link: https://arxiv.org/abs/2404.12117

Allerdings hat sein Beweis zwei Einschränkungen.

1. „Hinreichend groß“: Das bedeutet, er schließt die kleineren geraden Zahlen nicht ein.

2. „GRH“: Sein Beweis stützt sich stark auf die verallgemeinerte Riemannsche Vermutung. Das heißt, seine Schlussfolgerung gilt nur unter der Voraussetzung, dass die verallgemeinerte Riemannsche Vermutung wahr ist.

Und dieses Mal haben Astra und das Team von Captain Sude genau diese beiden Fesseln gesprengt!

Zunächst veröffentlichte Astra ein PDF von nur zwei Seiten.

In dieser kompakten Arbeit verkündete Astra:

Ohne die verallgemeinerte Riemannsche Vermutung lässt sich unbedingt beweisen: Jede durch 4 teilbare positive ganze Zahl kann als Summe zweier positiver ganzer Zahlen mit Liouville-Wert -1 dargestellt werden!

Im PDF nutzte Astra geschickt eine „unbedingte Korrelationsschranke“ aus Mangerels Arbeit und kombinierte sie mit einer äußerst raffinierten Abstiegsmethode.

Die Kernlogik des Theorems ist ein Widerspruchsbeweis: Angenommen, es existiert eine ungerade Zahl m (nicht durch 3 teilbar), und auf der Skala von 4m gibt es kein Paar von Zahlen, deren Summe 4m ergibt und deren Liouville-Werte beide -1 sind.

Anschließend ging Astra Schritt für Schritt vor.

1. Da die Multiplikation mit 4 den Liouville-Wert nicht verändert, kann auch m selbst nicht in zwei Zahlen mit negativem Vorzeichen zerlegt werden.

2. Da die Multiplikation mit 2 den Liouville-Wert umkehrt (ein Primfaktor 2 kommt hinzu), kann 2m nicht in zwei Zahlen mit positivem Vorzeichen zerlegt werden.

3. Anschließend konstruierte die KI den Fall a+b=m mit λ(a)=λ(b)=1, wählte das Paar mit der kleinsten Differenz b−a und leitete mithilfe ihrer Teilbarkeitsbeziehung zu 3 einen Widerspruch ab!

Sie entdeckte: Wenn man annimmt, dass 4m keine solche Zerlegung besitzt, dann erzwingt die iterative Annäherung durch Multiplikation und Addition lokal, dass alle Zahlen entgegengesetzte Vorzeichen tragen – was direkt der zuvor von Mangerel bewiesenen Schranke widerspricht.

So entdeckte Astra allein mit elementaren algebraischen Herleitungen (die sogar Oberstufenschüler nachvollziehen können) einen unbedingt gültigen Fall.

48 Stunden – der gesamte Bereich der geraden Zahlen ist abgedeckt

Und damit noch nicht genug.

Wie der Projektautor Captain Sude mitteilte, bewies Astra am ersten Tag den Fall der „Vielfachen von 4“ und fand am zweiten Tag einen völlig neuen elementaren Beweisweg, mit dem es das Ergebnis direkt auf alle geraden Zahlen größer als 2 ausweitete!

Diesmal lieferte es diese Kernaussage:

Dabei gibt es keine Einschränkung auf „hinreichend groß“, keine endliche Ausnahmemenge – alle geraden Zahlen gelten unbedingt!

Und die Beweisidee ist schlichtweg verblüffend.

Es nutzte weder brute-force-Aufzählung noch presste es frühere analytische Abschätzungen enger zusammen, sondern vollzog einen eleganten „Strukturwandel“.

Die logische Kette der KI sieht so aus.

Schritt 1: Ein Gegenbeispiel suchen. Die KI beweist zunächst, dass es für jede Primzahl p größer als 3 positive ganze Zahlen u und v gibt, sodass 2p=u+v und ihre Liouville-Werte beide 1 sind. Was wäre, wenn das nicht gilt? Das würde ein „Fehlen additiver Vorzeichenmuster“ bedeuten.

Schritt 2: Die Struktur erzwingen. Man setzt die Liouville-Funktion auf den endlichen Körper Fp fort und definiert eine Funktion G. Wegen der zuvor nicht existierenden „additiven Zerlegung“ wird diese Funktion G lokal zu einem Defekt der multiplikativen Symmetrie gezwungen.

Schritt 3: Ausnutzung der Kommutativität. Das ist der brillanteste Teil des Beweises! Denn mit -2 und dann mit -3 zu multiplizieren ist dasselbe wie mit -3 und dann mit -2 zu multiplizieren. Die KI nutzt diese „Kommutativität“, um die beiden Wege gegeneinander aufzuheben und schließlich alle von null verschiedenen Defekte auszulöschen!

Schritt 4: Globale Ausbreitung. Mithilfe eines Abstiegslemmas verbreitet sich die lokal gültige Multiplikationsregel wie ein Virus über den gesamten endlichen Körper und zwingt die Funktion G, ein global strikt multiplikatives Objekt zu werden.

Schritt 5: Der entscheidende Schritt (quadratische Reste erzeugen einen Widerspruch). Da G nun eine strikt multiplikative Funktion ist, muss der G-Wert des Quadrats jeder Zahl 1 sein. Nach dem quadratischen Reziprozitätsgesetz lässt sich jedoch im endlichen Körper eine Primzahl ℓ finden, die zwar eine „Quadratzahl“ ist, aber weil sie eine Primzahl ist, muss ihr eigener Liouville-Wert -1 sein.

Also: 1 = -1. Der Widerspruch ergibt sich!

Damit ist die anfängliche Annahme, dass „keine Zerlegung existiert“, vollständig zerschlagen. Die Liouville-Goldbach-Vermutung gilt unbedingt im gesamten Bereich der geraden Zahlen!

Diese Argumentationslinie, die additive Hindernisse in multiplikative Starrheit verwandelt, ist äußerst elegant und zeigt ein Höchstmaß an Abstraktion und Intuition.

Formale Verifikation in Lean 4 erfolgreich

Diesmal reichte Astra gleichzeitig die vollständige formale Verifikation in Lean 4 ein.

Die Verifikation in Lean 4 bedeutet, dass der Beweis logisch absolut korrekt ist.

Der Zhihu-Nutzer @SUNNY99 führte sofort eine unabhängige Überprüfung der von Astra veröffentlichten Version v1.0.0 durch. Das Ergebnis ist beeindruckend: Der Lean-Beweis lässt sich fehlerfrei neu kompilieren!

Dabei stimmt das Theorem exakt mit der Behauptung der Arbeit überein. Im Code gibt es kein einziges „sorry“ (in Lean ein Platzhalter für eine unausgefüllte Lücke), keine willkürlich erfundenen mathematischen Axiome, alle Axiom-Abhängigkeiten sind völlig normal, und alle 249 numerischen Smoke-Tests für gerade Zahlen wurden bestanden.

An dieser Stelle fragen sich einige vielleicht: Bedeutet das, dass die Goldbach-Vermutung nun vollständig gelöst ist?

Wir müssen genau genommen sagen: Nein.

Gelöst wurde bislang die abgeschwächte Liouville-Version der Goldbach-Vermutung.

Vom „zusammengesetzte Zahlen mit ungerader Primfaktoranzahl“ bis zu den „echten Primzahlen“ klafft weiterhin ein Abgrund. Die klassische Goldbach-Vermutung bleibt die hoch hängende Frucht.

Das schmälert jedoch keineswegs die Bedeutung dieses Durchbruchs.

Erstens schlägt er im rein mathematischen Sinne eine gewaltige Brücke zwischen der „multiplikativen Struktur“ und der „additiven Kombinatorik“ in der gesamten Zahlentheorie.

Das könnte der zentrale Schlüssel für die zukünftige Lösung der ursprünglichen Goldbach-Vermutung sein.

Zweitens ist dies im Sinne der KI ein historischer Wendepunkt.

Bisher dachten wir, KI sei vor allem gut in massivem Auswendiglernen und roher Rechenleistung, etwa beim Go-Spielen oder bei der Proteinfaltung. Doch dieses Mal zeigte Astra eine erstaunliche mathematische Intuition und einen ausgeprägten Geschmack.

Wie ein hochbegabter Mathematiker verfasste Astra einen Beweis, den menschliche Mathematiker als elegant bezeichnen.