Contesto della congettura

All'interno della soluzione fullRSB sviluppata oltre un decennio fa da Charbonneau, Kurchan, Parisi, Urbani e Zamponi (CKPUZ, 2014), tre esponenti critici — a, b e c — descrivono il comportamento di scala vicino al punto di jamming .

• Una relazione, b = (1 + c)/2, era già stata dimostrata analiticamente a partire dal bilancio diffusione-deriva nell'ansatz di scaling .
• La seconda relazione, a + b = 1, era stata osservata numericamente con precisione arbitraria per oltre un decennio, ma una dimostrazione analitica era rimasta elusiva .

Cosa ha rivelato la dimostrazione

L'identità a + b = 1 è derivata direttamente dalle equazioni di scala fullRSB. Fondamentalmente, questa relazione implica a = (1 - c)/2, che — insieme a b = (1 + c)/2 — significa che tutti e tre gli esponenti sono determinati da un singolo parametro c . Questo riduce i gradi di libertà predittivi della soluzione fullRSB e consolida la coerenza interna della teoria. Inoltre, produce indipendentemente le relazioni di scala α = 1/(2 + θ) e κ = 2 - 2/(3 + θ), già previste in precedenza dagli argomenti di stabilità marginale meccanica di Wyart e collaboratori .

Come ha contribuito Claude di Anthropic

La dimostrazione non è stata ottenuta solo con l'intuito umano. Il documento afferma esplicitamente: "La dimostrazione è stata ottenuta attraverso l'interazione con Claude (Sonnet 4.6 e Opus 4.7) e verificata da noi" .

Iterazione e collaborazione

• Parisi e Zamponi hanno intrattenuto un dialogo esteso con Claude per circa 40 round di conversazione .
• Hanno utilizzato due versioni del modello Claude: Sonnet 4.6 e Opus 4.7 .
• Claude non ha prodotto una dimostrazione finale e rifinita in un colpo solo. Invece, ha derivato iterativamente quasi l'intera dimostrazione attraverso scambi continui. Gli autori hanno poi rivisto, corretto e verificato ogni passaggio .
• I registri completi delle chat sono stati archiviati su Zenodo per ispezione pubblica .

Divisione dei ruoli

• Claude ha generato manipolazioni algebriche candidate, identificato schemi nelle equazioni fullRSB e portato avanti il ragionamento simbolico più complesso .
• Parisi e Zamponi hanno fornito il quadro concettuale, validato la correttezza matematica e assicurato che la dimostrazione si inserisse nel contesto fisico consolidato . Il preprint nota che Opus 4.7 ha essenzialmente derivato la dimostrazione da solo, con una supervisione minima da parte degli autori .

Pubblicazione e significato

Il preprint è stato caricato su arXiv il 2 giugno 2026 (aggiornato il 2 luglio 2026) con il titolo "A proof of an identity for the critical exponents of jamming" . Gli autori sono Giorgio Parisi e Francesco Zamponi; Claude è riconosciuto come lo strumento di IA utilizzato nella metodologia, non come co-autore.

La notizia è stata ripresa da testate come Il Fatto Quotidiano, Correio Braziliense, 36Kr e Digg, che l'hanno presentata come un esempio emblematico di un premio Nobel che utilizza un modello linguistico di grandi dimensioni come un vero e proprio collaboratore di ricerca per superare un' impasse teorica di lunga data .

Perché è importante

Il risultato chiude una lacuna decennale nella teoria fullRSB del jamming — un problema fondamentale nella fisica dei vetri, dei materiali granulari e dei sistemi disordinati. Serve anche come dimostrazione di alto profilo di come i LLM possano contribuire alla fisica teorica avanzata, non semplicemente come assistenti, ma come partecipanti attivi nella derivazione di dimostrazioni matematiche non banali.

Contesto della congettura

All'interno della soluzione fullRSB sviluppata oltre un decennio fa da Charbonneau, Kurchan, Parisi, Urbani e Zamponi (CKPUZ, 2014), tre esponenti critici — a, b e c — descrivono il comportamento di scala vicino al punto di jamming .

• Una relazione, b = (1 + c)/2, era già stata dimostrata analiticamente a partire dal bilancio diffusione-deriva nell'ansatz di scaling .
• La seconda relazione, a + b = 1, era stata osservata numericamente con precisione arbitraria per oltre un decennio, ma una dimostrazione analitica era rimasta elusiva .

Cosa ha rivelato la dimostrazione

L'identità a + b = 1 è derivata direttamente dalle equazioni di scala fullRSB. Fondamentalmente, questa relazione implica a = (1 - c)/2, che — insieme a b = (1 + c)/2 — significa che tutti e tre gli esponenti sono determinati da un singolo parametro c . Questo riduce i gradi di libertà predittivi della soluzione fullRSB e consolida la coerenza interna della teoria. Inoltre, produce indipendentemente le relazioni di scala α = 1/(2 + θ) e κ = 2 - 2/(3 + θ), già previste in precedenza dagli argomenti di stabilità marginale meccanica di Wyart e collaboratori .

Come ha contribuito Claude di Anthropic

La dimostrazione non è stata ottenuta solo con l'intuito umano. Il documento afferma esplicitamente: "La dimostrazione è stata ottenuta attraverso l'interazione con Claude (Sonnet 4.6 e Opus 4.7) e verificata da noi" .

Iterazione e collaborazione

• Parisi e Zamponi hanno intrattenuto un dialogo esteso con Claude per circa 40 round di conversazione .
• Hanno utilizzato due versioni del modello Claude: Sonnet 4.6 e Opus 4.7 .
• Claude non ha prodotto una dimostrazione finale e rifinita in un colpo solo. Invece, ha derivato iterativamente quasi l'intera dimostrazione attraverso scambi continui. Gli autori hanno poi rivisto, corretto e verificato ogni passaggio .
• I registri completi delle chat sono stati archiviati su Zenodo per ispezione pubblica .

Divisione dei ruoli

• Claude ha generato manipolazioni algebriche candidate, identificato schemi nelle equazioni fullRSB e portato avanti il ragionamento simbolico più complesso .
• Parisi e Zamponi hanno fornito il quadro concettuale, validato la correttezza matematica e assicurato che la dimostrazione si inserisse nel contesto fisico consolidato . Il preprint nota che Opus 4.7 ha essenzialmente derivato la dimostrazione da solo, con una supervisione minima da parte degli autori .

Pubblicazione e significato

Il preprint è stato caricato su arXiv il 2 giugno 2026 (aggiornato il 2 luglio 2026) con il titolo "A proof of an identity for the critical exponents of jamming" . Gli autori sono Giorgio Parisi e Francesco Zamponi; Claude è riconosciuto come lo strumento di IA utilizzato nella metodologia, non come co-autore.

La notizia è stata ripresa da testate come Il Fatto Quotidiano, Correio Braziliense, 36Kr e Digg, che l'hanno presentata come un esempio emblematico di un premio Nobel che utilizza un modello linguistico di grandi dimensioni come un vero e proprio collaboratore di ricerca per superare un' impasse teorica di lunga data .

Perché è importante

Il risultato chiude una lacuna decennale nella teoria fullRSB del jamming — un problema fondamentale nella fisica dei vetri, dei materiali granulari e dei sistemi disordinati. Serve anche come dimostrazione di alto profilo di come i LLM possano contribuire alla fisica teorica avanzata, non semplicemente come assistenti, ma come partecipanti attivi nella derivazione di dimostrazioni matematiche non banali.