Contexte de la conjecture

Dans le cadre de la solution fullRSB développée il y a plus de dix ans par Charbonneau, Kurchan, Parisi, Urbani et Zamponi (CKPUZ, 2014), trois exposants critiques — a, b et c — décrivent le comportement d'échelle près du point de jamming .

• Une relation, b = (1 + c)/2, avait déjà été démontrée analytiquement à partir de l'équilibre diffusion-dérive dans l'ansatz d'échelle .
• La seconde relation, a + b = 1, était observée numériquement avec une précision arbitraire depuis plus de dix ans, mais une preuve analytique restait insaisissable .

Ce que la preuve a révélé

L'identité a + b = 1 est dérivée directement des équations d'échelle fullRSB. Fondamentalement, cette relation implique a = (1 - c)/2, ce qui — combiné à b = (1 + c)/2 — signifie que les trois exposants sont déterminés par un seul paramètre c . Cela réduit les degrés de liberté prédictifs de la solution fullRSB et renforce la cohérence interne de la théorie. Elle produit également indépendamment les relations d'échelle α = 1/(2 + θ) et κ = 2 - 2/(3 + θ), prédites auparavant par les arguments de stabilité mécanique marginale de Wyart et ses collaborateurs .

Comment l'IA Claude d'Anthropic a contribué

La preuve n'a pas été obtenue par la seule perspicacité humaine. L'article déclare explicitement : "La preuve a été obtenue par interaction avec Claude (Sonnet 4.6 et Opus 4.7) et vérifiée par nos soins" .

Itération et collaboration

• Parisi et Zamponi ont engagé un dialogue prolongé avec Claude sur environ 40 tours de conversation .
• Ils ont utilisé deux versions du modèle Claude : Sonnet 4.6 et Opus 4.7 .
• Claude n'a pas produit une preuve finale et polie en une seule fois. Au contraire, il a déduit itérativement la quasi-totalité de la preuve par des échanges aller-retour. Les auteurs ont ensuite examiné, corrigé et vérifié chaque étape .
• Les journaux de chat complets ont été archivés sur Zenodo pour inspection publique .

Division du travail

• Claude a généré des manipulations algébriques candidates, identifié des motifs dans les équations fullRSB et effectué le raisonnement symbolique lourd .
• Parisi et Zamponi ont fourni le cadre conceptuel, validé l'exactitude mathématique et veillé à ce que la preuve s'inscrive dans la physique établie . La prépublication note qu'Opus 4.7 a essentiellement dérivé la preuve tout seul, avec une supervision minimale des auteurs .

Publication et importance

La prépublication a été déposée sur arXiv le 2 juin 2026 (mise à jour le 2 juillet 2026) sous le titre "A proof of an identity for the critical exponents of jamming" . La liste des auteurs est Giorgio Parisi et Francesco Zamponi ; Claude est mentionné comme l'outil d'IA utilisé dans la méthodologie, et non comme co-auteur.

La couverture médiatique dans des médias comme Il Fatto Quotidiano, Correio Braziliense, 36Kr et Digg a présenté cela comme un exemple marquant d'un prix Nobel utilisant un grand modèle de langage comme un véritable collaborateur de recherche pour briser une impasse théorique de longue date .

Pourquoi c'est important

Le résultat comble une lacune vieille de dix ans dans la théorie fullRSB du jamming — un problème fondamental dans la physique des verres, des matériaux granulaires et des systèmes désordonnés. Il sert également de démonstration de haut niveau de la façon dont les grands modèles de langage peuvent contribuer à la physique théorique avancée, non pas simplement comme assistants, mais comme participants actifs à la dérivation de preuves mathématiques non triviales.

Contexte de la conjecture

Dans le cadre de la solution fullRSB développée il y a plus de dix ans par Charbonneau, Kurchan, Parisi, Urbani et Zamponi (CKPUZ, 2014), trois exposants critiques — a, b et c — décrivent le comportement d'échelle près du point de jamming .

• Une relation, b = (1 + c)/2, avait déjà été démontrée analytiquement à partir de l'équilibre diffusion-dérive dans l'ansatz d'échelle .
• La seconde relation, a + b = 1, était observée numériquement avec une précision arbitraire depuis plus de dix ans, mais une preuve analytique restait insaisissable .

Ce que la preuve a révélé

L'identité a + b = 1 est dérivée directement des équations d'échelle fullRSB. Fondamentalement, cette relation implique a = (1 - c)/2, ce qui — combiné à b = (1 + c)/2 — signifie que les trois exposants sont déterminés par un seul paramètre c . Cela réduit les degrés de liberté prédictifs de la solution fullRSB et renforce la cohérence interne de la théorie. Elle produit également indépendamment les relations d'échelle α = 1/(2 + θ) et κ = 2 - 2/(3 + θ), prédites auparavant par les arguments de stabilité mécanique marginale de Wyart et ses collaborateurs .

Comment l'IA Claude d'Anthropic a contribué

La preuve n'a pas été obtenue par la seule perspicacité humaine. L'article déclare explicitement : "La preuve a été obtenue par interaction avec Claude (Sonnet 4.6 et Opus 4.7) et vérifiée par nos soins" .

Itération et collaboration

• Parisi et Zamponi ont engagé un dialogue prolongé avec Claude sur environ 40 tours de conversation .
• Ils ont utilisé deux versions du modèle Claude : Sonnet 4.6 et Opus 4.7 .
• Claude n'a pas produit une preuve finale et polie en une seule fois. Au contraire, il a déduit itérativement la quasi-totalité de la preuve par des échanges aller-retour. Les auteurs ont ensuite examiné, corrigé et vérifié chaque étape .
• Les journaux de chat complets ont été archivés sur Zenodo pour inspection publique .

Division du travail

• Claude a généré des manipulations algébriques candidates, identifié des motifs dans les équations fullRSB et effectué le raisonnement symbolique lourd .
• Parisi et Zamponi ont fourni le cadre conceptuel, validé l'exactitude mathématique et veillé à ce que la preuve s'inscrive dans la physique établie . La prépublication note qu'Opus 4.7 a essentiellement dérivé la preuve tout seul, avec une supervision minimale des auteurs .

Publication et importance

La prépublication a été déposée sur arXiv le 2 juin 2026 (mise à jour le 2 juillet 2026) sous le titre "A proof of an identity for the critical exponents of jamming" . La liste des auteurs est Giorgio Parisi et Francesco Zamponi ; Claude est mentionné comme l'outil d'IA utilisé dans la méthodologie, et non comme co-auteur.

La couverture médiatique dans des médias comme Il Fatto Quotidiano, Correio Braziliense, 36Kr et Digg a présenté cela comme un exemple marquant d'un prix Nobel utilisant un grand modèle de langage comme un véritable collaborateur de recherche pour briser une impasse théorique de longue date .

Pourquoi c'est important

Le résultat comble une lacune vieille de dix ans dans la théorie fullRSB du jamming — un problème fondamental dans la physique des verres, des matériaux granulaires et des systèmes désordonnés. Il sert également de démonstration de haut niveau de la façon dont les grands modèles de langage peuvent contribuer à la physique théorique avancée, non pas simplement comme assistants, mais comme participants actifs à la dérivation de preuves mathématiques non triviales.