Noblista zlecił dowód Claude’owi. Model AI sam wyprowadził matematyczne rozumowanie

Giorgio Parisi, laureat Nagrody Nobla z fizyki w 2021 roku, nie usiadł samotnie nad równaniami. Kiedy potrzebował dowodu kluczowej tożsamości w teorii zakleszczania materii, zwrócił się do Claude’a — zaawansowanego modelu językowego od Anthropic. Według doniesień z 5 lipca 2026, Parisi wraz z Franceskiem Zamponim opublikowali na arXiv preprint, w którym AI w dużej mierze samodzielnie wyprowadziło analityczny dowód.

Tajemnica nagłej sztywności

→ Czytaj też: Klucze dostępu do AI wyciekają w 98 proc. firm. Jak to sprawdzić?

Zakleszczanie (jamming) to zjawisko, w którym luźny układ cząstek nagle przechodzi w stan sztywny. Piasek przesypujący się przez palce, granulat w silosie, gęste emulsje — gdy upakowanie osiąga krytyczny poziom, kontakt między elementami blokuje ich ruch. Nie potrzeba kleju: geometria wystarczy, by materiał zachowywał się jak ciało stałe.

W fizyce teoretycznej opis takiego przejścia w nieskończenie wielu wymiarach od lat opiera się na równaniach, z których wynika szczególna relacja między wykładnikami krytycznymi: a + b = 1. Symulacje numeryczne potwierdzały ją z ogromną dokładnością, ale brakowało ścisłego dowodu analitycznego. Dopiero teraz, w preprintcie, Parisi i Zamponi pokazali, jak ją udowodnić — z pomocą Claude’a.

Dowód z dialogu

→ Czytaj też: Kod ukryty w kodzie. Claude potajemnie śledził chińskich programistów

Badacze podzielili pracę z modelem na etapy. Najpierw Claude Opus 4.7 analizował numerycznie równania różniczkowe i pisał kod w C++, by sprawdzić hipotezę. Następnie został poproszony o wyprowadzenie dowodu analitycznego.

„Model w dużej mierze sam wyprowadził dowód, przy minimalnym nadzorze” – relacjonują autorzy.

Po wskazaniu nieścisłości przez fizyków, model poprawił rozumowanie, a następnie Sonnet 4.6 dopracował techniczne detale. Cała sesja wymagała około 40 promptów — nie chodziło o pojedyncze pytanie i genialną odpowiedź, lecz o strukturalny dialog, w którym człowiek kierował problemem.

• Faza numeryczna: Claude generował kod i sprawdzał stabilność wyniku.
• Faza analityczna: model szukał przekształceń algebraicznych prowadzących do tożsamości a+b=1.
• Faza korekty: Parisi i Zamponi weryfikowali każdy krok, wycinali niejasności i żądali poprawek.

Co łączy dwie teorie

Tożsamość a+b=1 łączy dwa różne spojrzenia na to samo przejście: formalizm pełnego łamania symetrii replik (fullRSB) znany z teorii szkieł oraz mechaniczne podejście oparte na marginalnej stabilności układu kontaktów. Jeden opis pochodzi od statystycznej mechaniki stanów, drugi — od geometrii sił. Zgodność numeryczna była znana, ale dopiero analityczny dowód pokazuje, że to nie zbieg okoliczności.

Wynik nie jest jednak samodzielnym odkryciem AI. Autorzy podkreślają, że korzystali z wcześniej przyjętych założeń o istnieniu profilu fullRSB i zbieżności rozwinięcia skalującego. Claude domknął lukę, ale to fizycy wzięli odpowiedzialność za całość i podpisali pracę.

Powołanie do współpracy

Przypadek Parisiego i Zamponiego to nie sensacja, a raczej dowód, że modele językowe mogą stać się wartościowym narzędziem w twardej nauce, gdy traktuje się je jak szybkiego współpracownika — nie wyrocznię. Praca jest na razie preprintem i czeka na recenzje środowiska. Niezależnie od ostatecznego werdyktu, pokazuje kierunek: AI jako partner w rozumowaniu, a nie zastępca naukowca.