Gerade hat GPT-6 Astra einen bedeutenden Durchbruch bei der Goldbach-Vermutung erzielt.

Ein bahnbrechender Durchbruch in der Mathematik!

Erst kürzlich hat GPT-6 Astra neue Fortschritte bei der Goldbach-Vermutung erzielt.

Der Netznutzer Captain Sude gibt bekannt: Astra hat erfolgreich eine Goldbach-ähnliche Vermutung zur Liouville-Funktion bewiesen!

Konkret ausgedrückt hat es die schwache Liouville-Form der Goldbach-Vermutung ohne zusätzliche Bedingungen bewiesen.

Noch erstaunlicher ist: Anders als wir es uns vorgestellt haben, hat Astra diesmal nicht nur auf überlegene Rechenleistung gesetzt, um das Problem zu lösen – es hat eine äußerst elegante logische Schlussfolgerung gezogen.

Darüber hinaus wurde dieser Beweis inzwischen durch die formale Verifikation von Lean 4 bestätigt.

Die unerreichbare Perle

Vor diesem Zeitpunkt hat die Goldbach-Vermutung, die wie ein Gespenst erscheint, die menschlichen Mathematiker fast drei Jahrhunderte lang gequält.

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

Unzählige Menschen haben ihr Herzblut für diese Vermutung aufgewendet. Von Hardy und Littlewood bis hin zu Chen Jingruns Beweis von „1+2“ ist es der Menschheit nie gelungen, die Perle auf der mathematischen Krone – „1+1“ – zu ergreifen.

Der Grund dafür liegt darin, dass die Verteilung der Primzahlen so rätselhaft ist!

Da das sture Festhalten am ursprünglichen Problem nicht zum Erfolg führt, haben die Mathematiker eine clevere Idee entwickelt und eine „Ersatzversion“ geschaffen – die Liouville-Variante der Goldbach-Vermutung.

Um die Eigenschaften von Primzahlen zu simulieren, haben die Mathematiker ein wunderbares Werkzeug eingeführt: die Liouville-Funktion.

Diese Funktion wird bezeichnet als

, wobei der Teil

die Gesamtzahl der Primfaktoren darstellt, die in einer Zahl enthalten sind.

Ihre Regel funktioniert wie ein Schalter, der nur gerade und ungerade Zahlen erkennt: Wenn die Anzahl der Primfaktoren einer Zahl gerade ist, dann gilt λ(n)=1.

Wenn die Anzahl der Primfaktoren ungerade ist, dann gilt λ(n)=-1.

Alle echten Primzahlen (wie 2, 3, 5, 7, 11) haben einen Liouville-Funktionswert von genau -1! Umgekehrt gilt dies jedoch nicht: Beispielsweise haben auch 8 und 12 einen λ-Wert von -1.

Im Jahr 2018 stellte jemand auf dem bekannten mathematischen Forum MathOverflow eine abgeschwächte Version der Goldbach-Vermutung auf:

Für jede gerade Zahl N größer als 2 lässt sich immer zwei positive Ganzzahlen a und b finden, sodass N=a+b gilt und gleichzeitig λ(a)=λ(b)=−1 erfüllt ist.

Wenn die klassische Goldbach-Vermutung wahr ist, dann müssen die Liouville-Werte dieser beiden Primzahlen beide -1 sein, also ist diese „Liouville-Vermutung“ mit Sicherheit ebenfalls wahr.

Aber jetzt haben die Mathematiker die Bedingungen gelockert: Die Summanden müssen keine echten Primzahlen sein, solange ihre Anzahl an Primfaktoren ungerade ist!

Ausbruch aus dem Schatten der Riemann-Hypothese: Die KI liefert eine bahnbrechende zweiseitige Arbeit

Da die Bedingungen gelockert wurden, sollte der Beweis doch einfach sein? Das Ergebnis ist, dass das Problem immer noch extrem schwierig ist!

Der Kern des Problems liegt darin, dass die Mathematiker untersuchen wollen, ob sich diese abwechselnden positiven und negativen Vorzeichen unter der additiven Kombination wie beim Münzwurf gegenseitig aufheben, um die tiefe Ordnung aufzudecken, die unter der Addition verborgen liegt. Dies ist von entscheidender Bedeutung, um die Brücke zwischen den „multiplikativen Bausteinen“ und der „additiven Kombination“ in der Mathematik zu schlagen.

Erst im Jahr 2024 erzielte der Mathematiker Alexander P. Mangerel endlich einen Durchbruch. In einer Arbeit bewies er: Diese Vermutung gilt für alle ausreichend großen geraden Zahlen.

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

Aber! Sein Beweis unterliegt zwei Einschränkungen.

1. „Ausreichend groß“: Das bedeutet, dass die kleineren geraden Zahlen nicht abgedeckt sind.

2. „GRH (Verallgemeinerte Riemann-Hypothese)“: Sein Beweis hängt stark von der verallgemeinerten Riemann-Hypothese ab. Das heißt, seine Schlussfolgerung gilt nur, wenn die verallgemeinerte Riemann-Hypothese wahr ist.

Diesmal haben das Team von Astra und Captain Sude diese beiden Einschränkungen direkt durchbrochen!

Am Anfang legte Astra ein nur 2 Seiten langes PDF-Dokument vor.

In dieser prägnanten Arbeit erklärt Astra –

Ohne die Annahme der verallgemeinerten Riemann-Hypothese lässt sich bedingungslos beweisen: Jede positive Ganzzahl, die durch 4 teilbar ist, lässt sich als Summe zweier positiver Ganzzahlen mit dem Liouville-Wert -1 schreiben!

In dem PDF nutzt Astra geschickt eine „bedingungslose Korrelationsschranke“ aus der Arbeit von Mangerel und kombiniert sie mit einer äußerst raffinierten Abstiegsmethode.

Der Kern der Logik des Satzes ist der Beweis durch Widerspruch: Man nimmt an, dass es eine ungerade Zahl m gibt (die nicht durch 3 teilbar ist), sodass es für die Größe 4m kein einziges Zahlenpaar gibt, dessen Summe 4m ergibt und beide Liouville-Werte -1 sind.

Danach geht Astra Schritt für Schritt vor.

1. Da die Multiplikation mit 4 den Liouville-Wert nicht ändert, lässt sich auch m selbst nicht in zwei Zahlen mit negativem Liouville-Wert zerlegen.

2. Da die Multiplikation mit 2 den Liouville-Wert umkehrt (es kommt ein zusätzlicher Primfaktor 2 hinzu), lässt sich 2m nicht in zwei Zahlen mit positivem Liouville-Wert zerlegen.

3. Anschließend konstruiert die KI den Fall a+b=m mit λ(a)=λ(b)=1, wählt das Paar mit dem kleinsten Differenzwert b−a aus und leitet unter Nutzung ihrer Teilbarkeitsbeziehung zu 3 zwangsläufig einen Widerspruch her!

Es zeigt sich: Wenn man annimmt, dass 4m keine solche Zerlegung hat, führt die abwechselnde Annäherung durch Multiplikation und Addition schließlich dazu, dass alle Zahlen lokal entgegengesetzte Vorzeichen haben, was direkt der zuvor von Mangerel bewiesenen Schranke widerspricht.

Auf diese Weise hat Astra mit rein elementaren algebraischen Schlussfolgerungen (deren Herleitung sogar für Schüler der Oberstufe verständlich ist) den Fall gefunden, der ohne zusätzliche Bedingungen gilt.

In 48 Stunden die gesamte Domäne der geraden Zahlen vollständig abgedeckt

Und das ist noch nicht das Ende.

Laut Aussage von Captain Sude, dem Autor des Projekts, hat Astra nach dem Beweis des Falls für „Vielfache von 4“ am ersten Tag am nächsten Tag eine völlig neue elementare Beweismethode gefunden, die das Ergebnis direkt auf alle geraden Zahlen größer als 2 ausweitet!

Diesmal stellt es diese zentrale Behauptung auf:

Darin gibt es keine Einschränkung von „ausreichend großen Zahlen“, keine endliche Ausnahmemenge – die Aussage gilt für alle geraden Zahlen ohne zusätzliche Bedingungen!

Und seine Beweisidee ist absolut genial.

Es nutzt weder brute-force Suche noch die stärkere Kompression früherer analytischer Schätzungen, sondern führt eine brillante „Strukturtransformation“ durch.

Die logische Kette der KI läuft wie folgt ab:

Schritt 1: Suche nach dem Ausgangspunkt. Die KI beweist zuerst, dass es für jede Primzahl p größer als 3 positive Ganzzahlen u und v gibt, sodass 2p=u+v gilt und beide den Liouville-Wert 1 haben. Was passiert, wenn dies nicht zutrifft? Das führt zu einem „Fehlen eines additiven Vorzeichenmusters“.

Schritt 2: Den Widerspruch aufdecken. Die Liouville-Funktion wird auf den endlichen Körper Fp erweitert und eine Funktion G definiert. Aufgrund des „fehlenden additiven Zerlegungsfalls“ wird diese Funktion G lokal zu einem Mangel an multiplikativer Symmetrie (Defekt) gezwungen.

Schritt 3: Perfekte Kommutativität. Das ist der erstaunlichste Teil des Beweises! Die Multiplikation mit -2 und danach mit -3 ergibt dasselbe Ergebnis wie die Multiplikation mit -3 und danach mit -2. Die KI nutzt diese „kommutative“ Eigenschaft, sodass sich die beiden Wege gegenseitig aufheben und alle nicht-null Defekte vollständig beseitigt werden!

Schritt 4: Ausweitung auf den gesamten Bereich. Mit Hilfe eines Abstiegs-Lemmas wird die lokal geltende multiplikative Regel wie ein Virus auf den gesamten endlichen Körper ausgeweitet, sodass die Funktion G zu einem streng globalen multiplikativen Objekt wird.

Schritt 5: Der entscheidende Schritt (Widerspruch durch quadratische Reste). Da G zu einer streng multiplikativen Funktion geworden ist, muss der G-Wert des Quadrats jeder Zahl gleich 1 sein. Nach dem quadratischen Reziprozitätsgesetz lässt sich jedoch in dem endlichen Körper eine Primzahl ℓ finden, die zwar ein „Quadrat“ ist, aber als Primzahl einen Liouville-Wert von -1 haben muss.

Daraus folgt 1 = -1. Der Widerspruch ist offensichtlich!

Damit wird die anfängliche Annahme, dass die Zerlegung nicht existiert, vollständig widerlegt. Die Liouville-Goldbach-Vermutung gilt im gesamten Bereich der geraden Zahlen ohne zusätzliche Bedingungen!

Diese Argumentationslinie, die das additive Hindernis in eine multiplikative Starrheit umwandelt, ist extrem elegant und zeigt eine höchst abstrakte, intuitive Spitzenleistung des Denkens.