KI und Physiker beweisen 10 Jahre alte Jamming-Vermutung
Physiker Giorgio Parisi und Francesco Zamponi von der La Sapienza Universität Rom haben gemeinsam mit dem KI-Modell Claude eine seit einem Jahrzehnt ungeklärte mathematische Vermutung im Bereich der statistischen Physik bewiesen. Die Ergebnisse ihrer Zusammenarbeit wurden im Journal of Statistical Mechanics: Theory and Experiment veröffentlicht und markieren einen Meilenstein in der computergestützten Grundlagenforschung. Der Gegenstand der Untersuchung ist das physikalische Phänomen des Jamming, bei dem sich fluidische Systeme wie Schäume oder körnige Materialien plötzlich verfestigen, ohne dabei eine geordnete Struktur anzunehmen. Das Konzept findet heute Anwendung in der Neurowissenschaft und der künstlichen Intelligenz. Im Jahr 2014 stellten Parisi, Zamponi und ihre Kollegen bei der theoretischen Modellierung fest, dass zwei mathematische Parameter des Systems, bezeichnet mit a und b, numerisch mit hoher Genauigkeit die Summe eins ergeben. Während französische Forscher unter Matthieu Wyart unabhängig ähnliche Gesetzmäßigkeiten ableiteten, blieb der formale Beweis für die Beziehung a plus b gleich eins über zehn Jahre hinweg offen. Trotz zahlreicher Versuche blieben menschliche Ansätze erfolglos, bis Parisi das Problem als Testfall für moderne generative KI identifizierte. Claude wurde aufgrund seiner nachgewiesenen Stärken in der mathematischen Argumentation ausgewählt. Die Interaktion verlief iterativ: Zunächst reproduzierte das Modell die komplexen numerischen Berechnungen aus dem Jahr 2014. Auf die folgende Frage nach der kausalen Begründung für die Parameterkonstante antwortete Claude rasch mit einer im Kern richtigen logischen Struktur. Die Forscher übernahmen die Verifikation, korrigierten kleinere Fehler und schlossen die Beweiskette. Überraschenderweise erwies sich die zugrundeliegende Logik als deutlich einfacher als zuvor angenommen; es entpuppte sich nicht als Hinweis auf eine neue fundamentale Symmetrie, sondern als direkte mathematische Konsequenz der bestehenden Modellgleichungen. Das Resultat bestätigt die Äquivalenz zweier unabhängiger theoretischer Rahmenwerke zur Beschreibung von Jamming-Übergängen. Darüber hinaus liefert die Studie ein konkretes Beispiel für die transformativen Potenziale künstlicher Intelligenz in der Wissenschaft. Die Kooperation zeigt, dass KI-Systeme nicht nur als Rechenassistenten, sondern als kreative Partner fungieren können, die menschliche Intuition durch präzise logische Ableitungen ergänzen. Die Methodik legt den Grundstein für zukünftige Synergien zwischen theoretischer Physik und fortgeschrittener KI-Forschung.
