Ein Nobelpreisträger arbeitet mit Claude zusammen: In 40 Gesprächsrunden wird eine 12 Jahre alte physikalische Vermutung bewiesen

In einer Dissertation eines Nobelpreisträgers wurde speziell Claude erwähnt.

Vor einigen Tagen wurde eine theoretisch - physikalische Dissertation auf arXiv hochgeladen. Der Autor erwähnte in der Dissertation Claudes Sonnet 4.6 und Opus 4.7 und sagte, dass dieser Beweis „im Wesentlichen von Claude selbst hergeleitet wurde“.

https://arxiv.org/pdf/2606.03300

Der Autor der Dissertation ist Giorgio Parisi, der 2021 den Nobelpreis für Physik gewann.

Die offizielle Erklärung der Nobelkommission für seinen Preistitel lautete, dass er „die Wechselwirkung zwischen Unordnung und Fluktuationen in physikalischen Systemen von der Atom - bis zur Planetengröße entdeckt“ habe.

Einfach ausgedrückt, verbrachte Parisi den größten Teil seiner Zeit damit, eine Aufgabe zu erledigen:

In scheinbar ungeordneten stochastischen Systemen die verborgene Ordnung herauszufinden und zu beweisen, dass sowohl kleine magnetische Materialien als auch das Erdklima demselben Satz von Regeln folgen.

Diesmal sollten er und sein Mitarbeiter Francesco Zamponi ein hartnäckiges Problem in der Theorie des Blockierungsübergangs (jamming) lösen, das seit 12 Jahren ungelöst war: eine Gleichung namens a + b = 1.

Im numerischen Bereich wurde sie bereits mit höchster Genauigkeit verifiziert. Aber in 12 Jahren konnte niemand beweisen, warum sie richtig ist.

Zufälligerweise beruht diese Gleichung genau auf der Theorie, die Parisi selbst entwickelt hat.

Die vollständige Replica - Symmetriebrechung (full - RSB) ist eines der zentralen Rahmenwerke, das Parisi in der Forschung zu Spingläsern und komplexen ungeordneten Systemen entwickelt hat. Es gehört auch zu den wichtigen Teilen seiner späteren Nobelpreistheorie für die komplexen Systeme.

Diesmal wurde sie bewiesen, und der Hauptakteur war Claudes Opus 4.7.

In 40 Runden von Mensch - Maschine - Interaktion kehrte Claude in Parisis damaliges theoretisches Rahmenwerk zurück und füllte die Lücke in der theoretischen Beweisführung.

Nachdem diese Nachricht verbreitet wurde, hat Emad Mostaque, der Gründer von Stability AI, die Dissertation weitergeleitet: „Wenn selbst ein Nobelpreisträger Claude braucht, dann ist es auch gut genug für dich.“

Parisi und Zamponi haben ihre Gespräche mit Claude öffentlich gemacht: Jeder kann nachlesen, wo Claude geholfen hat und wo der Mensch korrigiert hat.

https://zenodo.org/records/20478428

Jetzt stellt sich die Frage.

Wo liegt die Schwierigkeit bei dieser Aufgabe, die einen Nobelpreisträger 12 Jahre lang blockiert hat?

Wie hat Claude im Laufe der Problemlösung Schritt für Schritt von einem Hilfskraft zum Hauptakteur in der Beweisführung geworden?

Eine Gleichung

hat die Physikwelt 12 Jahre lang in Atempause gehalten

Um die Wichtigkeit dieser Angelegenheit einschätzen zu können, muss man zuerst wissen, wie schwierig es ist, a + b = 1 zu beweisen.

Im Jahr 2014 haben mehrere Physiker, darunter Parisi und Zamponi, eine Serie von Dissertationen über die Theorie der Blockierung unendlich dimensionaler harter Kugeln veröffentlicht (in der Fachwelt als CKPUZ abgekürzt). Bei ihren Berechnungen stellten sie fest, dass zwischen einigen kritischen Exponenten eine einfache Beziehung zu bestehen scheint: a + b = 1.

Im numerischen Bereich stimmt diese Gleichung perfekt überein, aber sie haben es immer wieder versucht und konnten keinen analytischen Beweis liefern. In der Dissertation konnte nur geschrieben werden: Es wurde beobachtet, dass sie stimmt, aber es konnte nicht bewiesen werden.

So ist es 12 Jahre lang geblieben.

Was noch schlimmer ist, verbindet diese Gleichung zwei Theorien: Einerseits die „Stabilität am Rand des Phasenraums“ in der fullRSB - Lösung, andererseits die „mechanische Stabilität am Rand“ in der Packungssystematik.

Das Beweisen von a + b = 1 ist gleichbedeutend mit dem Beweisen, dass diese beiden Arten der „Randstabilität“ in der unendlich dimensionalen Theorie tatsächlich dasselbe sind.

Man kann es bis auf mehrere Dezimalstellen genau berechnen, aber niemand kann sagen, warum es stimmt. Diese Gleichung ist zu einem ungelösten Problem in der theoretischen Physik geworden.

Aus Parisis öffentlichem Gespräch können wir nachvollziehen, wie Claude mit ihm zusammengearbeitet hat, um dieses ungelöste Problem zu lösen.

Von der Hilfskraft zum Hauptakteur

Was hat Claude hauptsächlich getan?

Die Zusammenarbeit zwischen beiden begann nicht direkt mit der Beweisführung, sondern mit der numerischen Lösung.

Parisiss erster Hinweis war, Claude eine C++ - Code zu schreiben, um eine nichtlineare Differentialgleichung mit der Schießmethode (shooting method) zu lösen, wobei die Genauigkeit auf (10^{-10}) gebracht werden sollte.

Dies ist eine arbeitsintensive Aufgabe für einen Programmierer: Die Gleichung ausrechnen und bis zu einer hinreichend hohen Genauigkeit verifizieren.

Parisi bat Claude, eine C++ - Code zu schreiben, um eine nichtlineare Differentialgleichung mit der Schießmethode zu lösen. Zu diesem Zeitpunkt war Claude nur ein Programmierer, der die arbeitsintensive Aufgabe der Gleichungsberechnung übernahm.

Während eines langen Zeitraums hat Claude diese Art von Arbeit gemacht: Code optimieren, Genauigkeit erhöhen, von der normalen Doppelpräzision bis zur Vierfachpräzision, und die numerischen Ergebnisse Schritt für Schritt auf mehrere Dezimalstellen genau bringen.

Parisi hat einmal die Gleichung falsch geschrieben und eine der Funktionen vertauscht. Claude hat wiederholt versucht, diese fehlerhafte Gleichung zu lösen und hat sogar richtig festgestellt, dass sie keine Lösung hat, bis Parisi später bemerkte, dass er die Funktionen vertauscht hatte.

Der echte Wendepunkt kam nach Parisis Satz: „Ich kann es von jetzt an alleine schaffen. Du solltest bemerkt haben, dass a + b ≈ 1 mit höchster Genauigkeit stimmt. Man vermutet, dass diese Beziehung exakt gilt. Ich möchte, dass du eine analytische Berechnung durchführst, um sie zu beweisen.“

Der Mensch hat Claude die Beziehung a + c/2 = 1/2 (d. h. a + b = 1), die mit höchster Genauigkeit, aber bisher niemand bewiesen werden konnte, offiziell übergeben, um eine analytische Beweis zu liefern.

Ab diesem Moment hat sich Claudes Rolle verändert.

Der Kern seines Beweises war die Konstruktion einer speziellen Hilfsfunktion und zwei nicht offensichtliche algebraische Kürzungen, um eine Schlüsselidentität zu erhalten. Wenn man diese Identität mit den bekannten physikalischen Bedingungen kombiniert, ergibt sich das Ergebnis: a=(1 - c)/2, d. h. a + b = 1.

Interessanterweise hat Parisi später direkt Claude gefragt: Wie bist du auf diesen Beweis gekommen?

Claude hat geantwortet: Hier gab es keine plötzlichen Eureka - Momente. Die Schlüsselhilfsfunktion wurde tatsächlich aus dem gewünschten Ergebnis rückwärts hergeleitet, es war „eine ziemlich systematische rückwärtsgerichtete Argumentation plus vorsichtige Berechnungen“.

Es hat noch hinzugefügt: „Die unromantische Version ist oft näher an der Wahrheit.“

Claude hat sich selbst reflektiert, wie es auf den Beweis gekommen ist: Zuerst hat es das Ziel a + c/2 = 1/2 anhand der numerischen Ergebnisse festgelegt, dann die Schlüsseltestfunktion ξ = fg rückwärts hergeleitet, und der Rest war reine algebraische Rechnung.

In der zweiten Hälfte der Zusammenarbeit hat Claude nicht einfach in bekannte Muster gefüllt, sondern an der Suche und Konstruktion der mathematischen Struktur selbst beteiligt.

Seien Sie geduldig

Die menschlichen Wissenschaftler sind nicht ausgeschieden

Die menschlichen Wissenschaftler sind nicht ausgeschieden.

In Parisis öffentlichem Gespräch hat der Mensch nicht einfach Claudes ersten Beweis akzeptiert, sondern die Fehler darin erkannt und die Richtung korrigiert.

In Claudes Beweis musste in einem Schritt gezeigt werden, dass die Funktion f immer nicht negativ ist. Es hat mit voller Zuversicht ein Extremwertprinzip verwendet.

Der Mitarbeiter Zamponi hat direkt festgestellt, dass diese Argumentation falsch ist und dass es am Minimum keinen Widerspruch gibt. Claude hat nicht bestritten und sofort zugestanden: „Dein Freund hat recht … ich habe einen Vorzeichenfehler gemacht.“

Anschließend hat es Schritt für Schritt reflektiert und zugegeben, dass die obere Schrankenargumentation stimmt, die untere Schrankenargumentation aber fehlgeschlagen ist.

Der Mitarbeiter Zamponi (in der Unterhaltung mit FZ signiert) hat direkt festgestellt, dass Claudes Argumentation in einem Schritt fehlerhaft ist. Claude hat zuerst zugestanden: „Dein Freund hat recht.“

Nachdem es sich geweigert hat, hat Claude Schritt für Schritt reflektiert, wo es falsch lag: Am Minimum stimmt das Ergebnis der Gleichung tatsächlich mit der Minimalbedingung überein und bildet nicht den Widerspruch, den es ursprünglich angenommen hatte.

Es hat zugegeben: „Ich habe einen Vorzeichenfehler gemacht“ und die obere Schrankenargumentation als gültig (✓) und die untere Schrankenargumentation als fehlgeschlagen (✗) markiert. Dieser Fehler wurde von einem Menschen entdeckt.

Die Fehlerkorrektur zwischen Mensch und Maschine ist zweierlei.

An einer anderen Stelle hat der Mitarbeiter einen kleinen Fehler in einer asymptotischen Berechnung gemacht, den Claude entdeckt und die Quelle des Fehlers lokalisiert hat.

Das ist eher wie zwei Kollegen, die zusammen einen Beweis ausarbeiten, und nicht, dass einer dem anderen dient.

Aber das Entscheidende war, dass der Mensch das gesamte Problem neu definiert hat.

Parisi hat Claude darauf hingewiesen: Du wirst nie beweisen können, dass diese Funktion immer nicht negativ ist, denn diese Gleichung hat mehrere Lösungen. Die meisten Lösungen schwanken auf und ab und durchqueren die Nullinie wiederholt. Die Lösung, die du mit der Schießmethode ausgewählt hast, ist die einzige, die nicht schwankt und immer über der Nullinie bleibt. Deshalb war die Frage von Anfang an falsch gestellt: Man sollte nicht fragen, „muss sie immer nicht negativ sein“, sondern „gibt es überhaupt eine Lösung, die immer nicht negativ ist“.

Daraufhin hat Parisi den L