OpenAI veröffentlicht ein 62-seitiges Kernmanuskript, und die KI meistert nacheinander zehn „Probleme auf Fields-Preis-Niveau“.

Zehn Ergebnisse auf Fields-Preis-Niveau: Der vollständige Beweisverlauf der KI ist vollständig veröffentlicht!

Heute hat OpenAI ein gewichtiges 62-seitiges „Kernmanuskript“ herausgegeben, das die vollständige Deduktion von GPT detailliert darstellt.

Die offizielle Bestätigung ist endlich da: Das „nächste Generation Hauptmodell“ hat diesen erstaunlichen Durchbruch erzielt.

Berechnet man nach dem Abrechnungsstandard der GPT-5.6 Sol API, betragen die gesamten Kosten der verbrauchten Token nur 2000 US-Dollar.

Nach der Veröffentlichung des KI-Beweis-Manuskripts ist das gesamte Internet wieder in Aufregung geraten.

Alle raten wild: „Das ist absolut das legendäre GPT-6!“ Andere staunen unablässig, dass man mit 2000 US-Dollar zehn historische Errungenschaften freischalten kann.

GPT löst zehn Jahrhundertprobleme für nur 2000 US-Dollar

Vor zwei Tagen hat ein interner Mitarbeiter von OpenAI einen Blogbeitrag veröffentlicht, in dem er offen erklärte, dass das nächste Modell Astra zehn mathematische Probleme gelöst hat.

Eine Liste mit entsprechenden Inhalten hat alle Menschen schockiert.

Sie deckt die hochdimensionale Kugelpackung, binäre Codes und sphärische Codes, Gruppentheorie, die Connes-Steifheit-Vermutung, untere Schranken arithmetischer Schaltkreise, Quanten-Parallelwiederholung, das Problem des nächsten Vektors, die Ehrhart-Volumen-Vermutung, mehrfarbige Ramsey-Zahlen und Extremalgraphentheorie ab.

Zu diesem Zeitpunkt hat der offizielle Blog eine 249-seitige Papiersammlung und einen vollständigen Satz formaler Zertifikate in Lean 4 veröffentlicht.

Aber erst heute wurde ein 62-seitiges Manuskript offiziell veröffentlicht, das den Titel „How the Ideas Came Together“ trägt – also wie diese Ideen zusammengefunden haben.

Zugangslink: https://cdn.openai.com/pdf/reasoning-walkthroughs.pdf

Die „Zusammenfassung“ umfasst nur einen kurzen Absatz, enthält aber erstaunlich viele Informationen –

Diese Notiz wurde unabhängig vom KI-Modell verfasst, das Team von OpenAI hat sich überhaupt nicht eingemischt.

Die KI hat die ursprüngliche Kette der Gedanken (CoT) und die endgültig formulierten mathematischen Arbeiten gelesen und dann für jedes Problem vier Punkte rekonstruiert:

Welche Ideen haben ursprünglich einen gangbaren Weg aufgezeigt;

Welche Methoden, die vielversprechend erschienen, sind auf echte Hindernisse gestoßen;

Welche Perspektivwechsel haben die zugrundeliegende Struktur sichtbar gemacht;

Wie die entscheidende Einsicht schließlich die vollständige Argumentation vervollständigt hat.

Das im Internet heiß diskutierte Problem: Hochdimensionale Kugelpackung, an der niemand 46 Jahre lang gearbeitet hat

Von den zehn Problemen hat die hochdimensionale Kugelpackung die größte Aufmerksamkeit im gesamten Internet erregt.

Abgesehen von dem komplizierten Namen ist das Problem selbst eigentlich leicht verständlich: Wie viele gleich große Kugeln kann man maximal in eine Kiste packen, um sie so voll wie möglich auszufüllen?

Die Antwort für den dreidimensionalen Raum ist längst bekannt, es ist die Art und Weise, wie man Orangen auf einem Obststand stapelt.

Aber bei Hunderten oder Tausenden von Dimensionen kann der Mensch nur eine „obere Schranke“ angeben – also den Maximalwert, der nicht überschritten werden kann.

Der Exponent dieser oberen Schranke lag seit 1978 bei 0,5991, und es gab 46 Jahre lang keine wesentlichen Fortschritte.

Astra hat ihn direkt auf 0,6044005442916776954… verschoben, die Dichteoberschranke lautet 2^-(0,6044…+o(1))d.

Der entscheidende Punkt ist: Wie hat er dieses Hindernis überwunden?

Zuerst hat Astra im Deduktionsprozess die Grenze der Methode des Cohn–Elkies-Linearen Programmierens selbst bestimmt.

Der ursprüngliche Gedanke der KI war, mit Cauchy–Schwarz die negative Masse einer Funktion zu schätzen, aber nach langer Arbeit konnte sie nur einen Radius von √d/(2√π) erreichen.

Nachdem sie steckengeblieben war, kam sie zu dem Schluss: Das Hindernis liegt nicht daran, dass die Konstante nicht optimiert ist, sondern daran, dass die globale Norm nicht erfassen kann, wo die negative Masse liegt.

Daher hat Astra beschlossen, die Perspektive zu wechseln: Stattdessen wird die Mellin-Transformation in Kombination mit harmonischem Maß verwendet.

Aber warum genau diese Methode?

Denn für radiale Funktionen ist die Fourier-Transformation im Wesentlichen eine Hankel-Transformation, deren Kern nur vom Produkt des Raumradius und des Frequenzradius abhängt.

Auf der Mellin-Seite wird diese Angelegenheit zu einer extrem einfachen Operation: Spiegelung und Hinzufügung einer expliziten Phase.

Es gibt noch einen raffinierten Punkt: Der Betrag dieses Phasenfaktors auf der reellen Achse ist immer gleich 1, auf der reellen Achse ist davon nichts zu erkennen.

Aber wenn er auf die komplexe Ebene erweitert wird, trägt er genau den Teil der hochdimensionalen Informationen, der durch die Ungleichung der Norm verloren gegangen ist.

Wenn die Grenze erreicht ist, konvergiert das harmonische Maß zu einer logistischen Dichte, und sein logarithmisches Potential ist exakt gleich der Digamma-Funktion, deren Integration genau log(π/2) ergibt.

Der Schwellenwert 1/π ergibt sich genau daraus.

Ein Detail zeigt besonders deutlich, dass das Modell weiß, was es tut:

Die Gesamtmasse des harmonischen Maßes ist (1−σ)/2, nicht 1. Im Manuskript steht ausdrücklich: Wenn man diesen Kern zu früh durch eine Wahrscheinlichkeitsdichte ersetzt, ändert sich die Exponentialkonstante.

Nachdem die untere Schranke erreicht ist, muss man noch eine Funktion konstruieren, die diesen Wert tatsächlich erreicht.

Die Gauß-Funktion hat die richtige Fourier-Symmetrie, aber die Lage des Sattelpunkts ist falsch.

Die Vorgehensweise besteht darin, eine gerade Deformation zu multiplizieren, damit sich der Sattelpunkt bewegt, ohne die Symmetrie zu zerstören. Nachdem die verfügbare Dämpfung vollständig ausgenutzt ist, erhält man ein „ideales Profil“.

Die Integralverschiebung des Sattelpunkts wird mit dem Wallis-Produkt berechnet und ergibt genau −(1/2)log(π/2).

Diese Zahl verschiebt den Gaußschen Radius 1/√(2π) exakt auf 1/π.

Der von der unteren Schranke vorhergesagte Radius stimmt mit dem durch die obere Schranke konstruierten Radius überein.

Im Manuskript gibt es noch ein sehr konkretes Detail:

Bei der Konstruktion der Hilfsfunktion muss in der Ferne ein positiver Dämpfungsanteil ergänzt werden.

Und dieser Patch muss über ein ganzes Intervall hinzugefügt werden, nicht an einem einzelnen Punkt, weil das Hinzufügen an einem einzelnen Punkt zu Resonanzfrequenzen führen würde.

Nicht-sofische Gruppen: Die Schwierigkeit liegt in „Vielen“ und „Einem“

Das zweite beliebte Problem ist die „nicht-sofische Gruppe“, die 27 Jahre lang niemand konstruieren konnte.

Der Mathematiker Thomas Bloom von der Universität Manchester sagte offen: „Unter den konstruktiven Ergebnissen ist dies bedeutender als die vorherige Gegenbeispiel zur Einheitsdistanz-Vermutung.“

Das Konzept der „sofischen Gruppe“ wurde 1999 vom Preisträger des Abel-Preises, dem russischen Mathematiker Mikhail Gromov, vorgeschlagen.

Im Hebräischen bedeutet „sofic“ endlich.

Einfach ausgedrückt geht es bei der Frage, ob eine Gruppe sofic ist, um Folgendes:

Kann diese unendliche, abstrakte Struktur durch eine Reihe von „hinreichend großen endlichen Mischoperationen“ annähernd simuliert werden?

Astra hat eine explizite Konstruktion geliefert, die zeigt: Es existiert eine unendliche, endlich präsentierte „nicht-sofische Gruppe“.

Der wertvollste Teil des Manuskripts ist die klare Beschreibung der Stelle, an der das Problem tatsächlich steckengeblieben ist –

Der Satz von Kun liefert viele Expander-Graphen, aber der Satz von Kun–Thom erfordert nur einen einzigen.

Die Hürde zwischen „Vielen“ und „Einem“ ist der zentrale Schwierigkeit dieses Kapitels.

Die KI nennt dies „die entscheidende Diskrepanz“ (the crucial mismatch).

Sie gibt ein sehr klares Beispiel, das erklärt, warum man nicht willkürlich einen auswählen kann:

Auf zwei identischen, vereinigten Kopien von Q (Q⊔Q) ist die Operation „die beiden Kopien vertauschen“ genau vertauschbar mit der expandierenden Wirkung von K – aber sie erhält keine der beiden Komponenten.

Das bedeutet, dass die „annähernd zentrale Elemente“ zwischen den Komponenten hin und her springen können, und man sie überhaupt nicht erfassen kann.

Vor diesem Schritt gab es noch einen früheren Umweg: Man wollte die Eigenschaft