Physiker knacken mit KI-Hilfe einen jahrzehntealten mathematischen Knoten

6

Es war hartnäckig.
Ein Problem, das zehn Jahre lang still und unbeweglich dalag. Zwei Physiker aus Rom – Giorgio Parisi, der Nobelpreisträger, und Francesco Zamponi – beschlossen, es noch einmal zu untersuchen. Nicht weil sie ein Wunder erwarteten, sondern weil die Mathematik sie nicht in Ruhe ließ.

Sie nennen das Phänomen „Jamming“.

Was ist Jamming?

Denken Sie an einen Billardtisch.

Fangen Sie an, Billardkugeln darauf zu werfen. Zunächst rollen sie frei, verstreut und lose herum. Fügen Sie weitere hinzu. Sie fangen an zu stoßen. Sie packen dichter. Irgendwann gibt es keinen Platz mehr, um sich zu bewegen. Das ganze System friert ein. Starr. Ungeordnet. Gefangen.

Das ist Jammen.

Bereits 2014 hatten Parisi, Zamponi und ihr Team die Mathematik dieses Staates entworfen. Sie fanden zwar numerische Lösungen, aber zwei Variablen – $a$ und $b$ – verhielten sich weiterhin seltsam. Sie summierten sich immer auf 1.

$a + b = 1$

Warum?

Niemand wusste es. Für sie ergab es damals theoretisch keinen Sinn. Sie waren „gestört“, wie Zamponi es ausdrückte. Mich störte nur die Kluft zwischen dem, was die Zahlen zeigten, und dem, was ihre Beweise nicht berühren konnten.

Auch andere Physiker versuchten es. Matthieu Wyart von der EPFL betrachtete die Sache aus einem ganz anderen Blickwinkel und kam auf die gleiche Summe. Gleiches Ergebnis, anderer Weg. Dies implizierte, dass es verborgene physische Konzepte gab, die ihre Arbeit verbanden – Konzepte, die schwer fassbar blieben.

Daher wurde die Datei in den Ruhezustand versetzt. Seit zehn Jahren.

Die Eingabeaufforderung

Parisi hatte einen Gedanken. Vielleicht stieß die menschliche Intuition an eine Wand, über die etwas anderes klettern konnte.

Er wandte sich an Claude AI von Anthropic.

Der Ansatz war einfach, in seiner Direktheit fast grob. Parisi bat das Modell, die Ergebnisse von 2014 zu reproduzieren. Das tat es. Dann forderte er es auf, die Summe zu beweisen.

$40$-Eingabeaufforderungen.

Das war es. Vierzig Versuche später lieferte Claude eine analytische Lösung, die Bestand hatte.

Zamponi überprüfte die Ausgabe im Flugzeug und blinzelte auf einem beweglichen Sitz auf eine LaTeX-Datei. „Als ich es durchlas, wurde mir sofort klar, dass der Kerntrick richtig war“, sagte er später. Der Perspektivwechsel erfolgte augenblicklich. Die Idee war solide, auch wenn der ursprüngliche Entwurf Ecken und Kanten hatte, die einer Bereinigung bedurften.

Die Lösung war keine entfernte, komplizierte Abstraktion, die neue Gesetze der Physik erforderte. Es versteckte sich in den bestehenden Gleichungen. Die ganze Zeit.

Es ist demütigend. Die Antwort lag auf der Hand, vorausgesetzt, man hatte die richtigen Augen – oder den richtigen Algorithmus –, um das Muster zu erkennen.

Maschine oder Magie?

Zamponi fragt sich, ob ein reiner Mathematiker dies ohne Maschine gesehen hätte. Wahrscheinlich. Aber das ist der Punkt. Sie sind Physiker. Keine Spezialisten für diese spezifischen formalen Strukturen. Die KI ermöglichte „sofortigen Zugriff“ auf Fähigkeiten, die sie nicht im Kopf hatten.

War es Kreativität?
Oder einfach nur einen Mustervergleich über einen Berg von Trainingsdaten hinweg?

Es spielt keine Rolle, sagt er. Sie konnten den Weg nicht erkennen. Die KI hat es getan.

Die wirkliche Veränderung besteht nicht nur darin, diese spezifische Gleichung zu lösen. Es ist das Kollaborationsmodell. KI ersetzt hier nicht den Menschen; es beschleunigt die Plackerei, sodass sich der Mensch auf das Konzept konzentrieren kann.

Zamponi beschäftigt sich bereits mit einem neuen Rätsel mit zufälligen harten Hypersphären. Die Codegenerierung? Schnell. Vom Bot optimiert. Aber die Ideen – die konzeptionelle Schwerstarbeit – kommen immer noch von ihm.

Menschliche Führung bleibt unverzichtbar.

Zumindest vorerst. Wir finden heraus, wer was auf den Tisch bringt.