Noblista użył Claude'a do stworzenia dowodu fizycznego — AI po raz pierwszy aktywnie uczestniczył w rozumowaniu matematycznym

Giorgio Parisi, laureat Nagrody Nobla z fizyki, wraz z Francesco Zamonim opublikował przełomową pracę naukową, w której sztuczna inteligencja Claude odegrała kluczową rolę w wyprowadzeniu dowodu matematycznego. Po raz pierwszy model AI nie tylko pomagał w redakcji tekstu, ale aktywnie uczestniczył w procesie rozumowania teoretycznego w fizyce, co pokazuje artykuł opublikowany na Spider's Web.

Praca dotyczy zjawiska zwanego „jamming” — zakleszczania układów fizycznych, gdy luźne struktury nagle sztywnieją i tracą możliwość ruchu. Claude Opus 4.7 w dużej mierze samodzielnie wyprowadził dowód matematyczny, choć pod nadzorem naukowców, którzy później weryfikowali i poprawiali jego rozumowanie.

Kluczowe wnioski

• Giorgio Parisi (noblista) i Francesco Zamponi wykorzystali Claude'a do wyprowadzenia dowodu w fizyce teoretycznej dotyczącego zjawiska zakleszczania
• Model AI nie tylko pomagał w redakcji, ale aktywnie uczestniczył w matematycznym rozumowaniu — najpierw analizował równania numerycznie, a następnie stworzył dowód analityczny
• Proces obejmował 40 promptów i wymagał stałego nadzoru ludzi, którzy sprawdzali, poprawiali błędy i weryfikowali każdy krok
• Dowód dotyczy tożsamości a+b=1 między wykładnikami krytycznymi w teorii zakleszczania gęstych twardych sfer
• Praca została opublikowana jako preprint na arXiv i nadal czeka na pełną weryfikację przez społeczność naukową

Fenomen zakleszczania w fizyce

Zjawisko „jamming” to moment przejścia, gdy układ złożony z wielu elementów — ziaren piasku, granulek, kulek czy pianek — nagle przestaje się swobodnie poruszać. Gdy elementy są luźno upakowane, mogą się przesuwać jak płyn. Jednak gdy gęstość osiągnie krytyczną wartość, cały układ zachowuje się jak ciało stałe, mimo że cząstki nie są ze sobą sklejone.

To przejście wynika z geometrii kontaktów i ograniczeń, które blokują ruch poszczególnych elementów. Zjawisko ma kluczowe znaczenie w fizyce materii miękkiej, opisie szkła, proszków, emulsji i innych układów amorficznych, gdzie porządek różni się od regularnych struktur krystalicznych.

Claude jako partner w dowodzeniu matematycznym

Najciekawszy aspekt tej współpracy to sposób, w jaki przebiegała praca z AI. Model nie był traktowany jak „magiczna wyrocznia”, ale jak bardzo szybki współpracownik od rachunków i eksperymentów numerycznych. Najpierw Claude analizował równania różniczkowe numerycznie i napisał kod w C++, który pozwolił sprawdzić hipotezę z wysoką precyzją. Dopiero później został poproszony o stworzenie dowodu analitycznego.

Proces wymagał 40 promptów i stałego dialogu między ludźmi a maszyną. Naukowcy kierowali problemem, sprawdzali efekty, wskazywali błędy, a model odpowiadał kolejnymi wersjami rozumowania. Gdy pierwsza wersja dowodu zawierała nieścisłości, fizycy je wskazali, Claude poprawił rozumowanie, a później Sonnet 4.6 pomógł dopracować szczegóły.

Znaczenie tożsamości a+b=1

Udowodniona relacja matematyczna łączy dwa różne sposoby opisywania tego samego zjawiska fizycznego. Z jednej strony mamy formalizm fullRSB (pełnego łamania symetrii replik) znany z teorii szkieł, z drugiej — mechaniczne rozumienie marginalnej stabilności układu kontaktów między cząstkami.

Tożsamość a+b=1 pokazuje, że te dwa teoretyczne obrazy nie są tylko przypadkowo zgodne numerycznie, ale prowadzą do tych samych relacji między wykładnikami krytycznymi. W fizyce takie „mosty” między niezależnymi teoriami są szczególnie cenне — pokazują głęboką spójność różnych opisów tego samego zjawiska.

Praca pozostaje preprintem na arXiv i wymaga jeszcze pełnej weryfikacji przez społeczność naukową, ale już teraz pokazuje, jak AI może stać się realnym narzędziem w najbardziej zaawansowanych obszarach fizyki teoretycznej.