Histórico da Conjectura

Dentro da solução fullRSB desenvolvida há mais de uma década por Charbonneau, Kurchan, Parisi, Urbani e Zamponi (CKPUZ, 2014), três expoentes críticos — a, b e c — descrevem o comportamento de escala próximo ao ponto de jamming .

• Uma relação, b = (1 + c)/2, já havia sido demonstrada analiticamente a partir do equilíbrio difusão-deriva no ansatz de escala .
• A segunda relação, a + b = 1, era observada numericamente com precisão arbitrária há mais de uma década, mas uma demonstração analítica permanecia elusiva .

O que a Demonstração Revelou

A identidade a + b = 1 é derivada diretamente das equações de escala fullRSB. Crucialmente, essa relação implica a = (1 - c)/2, que — junto com b = (1 + c)/2 — significa que todos os três expoentes são determinados por um único parâmetro c . Isso reduz os graus de liberdade preditivos da solução fullRSB e solidifica a consistência interna da teoria. Ela também produz independentemente as relações de escala α = 1/(2 + θ) e κ = 2 - 2/(3 + θ), previstas anteriormente pelos argumentos de estabilidade mecânica marginal de Wyart e colaboradores .

Como o Claude, da Anthropic, Contribuiu

A demonstração não foi alcançada apenas com insight humano. O artigo afirma explicitamente: "A demonstração foi obtida por meio de interação com o Claude (Sonnet 4.6 e Opus 4.7) e verificada por nós" .

Iteração e Colaboração

• Parisi e Zamponi tiveram um diálogo prolongado com o Claude ao longo de aproximadamente 40 rodadas de conversa .
• Eles usaram duas versões do modelo Claude: Sonnet 4.6 e Opus 4.7 .
• O Claude não produziu uma demonstração final polida de uma só vez. Em vez disso, ele derivou iterativamente quase toda a demonstração por meio de trocas de ida e volta. Os autores então revisaram, corrigiram e verificaram cada etapa .
• Os logs completos da conversa foram arquivados no Zenodo para inspeção pública .

Divisão de Trabalho

• O Claude gerou manipulações algébricas candidatas, identificou padrões nas equações fullRSB e realizou o raciocínio simbólico pesado .
• Parisi e Zamponi forneceram a estrutura conceitual, validaram a correção matemática e garantiram que a demonstração se encaixasse na física estabelecida . O preprint observa que o Opus 4.7 essencialmente derivou a demonstração por si só, com supervisão mínima dos autores .

Publicação e Significado

O preprint foi postado no arXiv em 2 de junho de 2026 (atualizado em 2 de julho de 2026) sob o título "A proof of an identity for the critical exponents of jamming" . A lista de autores é Giorgio Parisi e Francesco Zamponi; o Claude é reconhecido como a ferramenta de IA usada na metodologia, não como coautor.

A cobertura da imprensa, incluindo veículos como Il Fatto Quotidiano, Correio Braziliense, 36Kr e Digg, enquadrou isso como um exemplo marcante de um Nobelista usando um modelo de linguagem de grande porte como um colaborador de pesquisa genuíno para superar um impasse teórico de longa data .

Por que Isso Importa

O resultado fecha uma lacuna de uma década na teoria fullRSB do jamming — um problema fundamental na física de vidros, materiais granulares e sistemas desordenados. Também serve como uma demonstração de alto nível de como LLMs podem contribuir para a física teórica avançada, não meramente como assistentes, mas como participantes ativos na derivação de demonstrações matemáticas não triviais.

Histórico da Conjectura

Dentro da solução fullRSB desenvolvida há mais de uma década por Charbonneau, Kurchan, Parisi, Urbani e Zamponi (CKPUZ, 2014), três expoentes críticos — a, b e c — descrevem o comportamento de escala próximo ao ponto de jamming .

• Uma relação, b = (1 + c)/2, já havia sido demonstrada analiticamente a partir do equilíbrio difusão-deriva no ansatz de escala .
• A segunda relação, a + b = 1, era observada numericamente com precisão arbitrária há mais de uma década, mas uma demonstração analítica permanecia elusiva .

O que a Demonstração Revelou

A identidade a + b = 1 é derivada diretamente das equações de escala fullRSB. Crucialmente, essa relação implica a = (1 - c)/2, que — junto com b = (1 + c)/2 — significa que todos os três expoentes são determinados por um único parâmetro c . Isso reduz os graus de liberdade preditivos da solução fullRSB e solidifica a consistência interna da teoria. Ela também produz independentemente as relações de escala α = 1/(2 + θ) e κ = 2 - 2/(3 + θ), previstas anteriormente pelos argumentos de estabilidade mecânica marginal de Wyart e colaboradores .

Como o Claude, da Anthropic, Contribuiu

A demonstração não foi alcançada apenas com insight humano. O artigo afirma explicitamente: "A demonstração foi obtida por meio de interação com o Claude (Sonnet 4.6 e Opus 4.7) e verificada por nós" .

Iteração e Colaboração

• Parisi e Zamponi tiveram um diálogo prolongado com o Claude ao longo de aproximadamente 40 rodadas de conversa .
• Eles usaram duas versões do modelo Claude: Sonnet 4.6 e Opus 4.7 .
• O Claude não produziu uma demonstração final polida de uma só vez. Em vez disso, ele derivou iterativamente quase toda a demonstração por meio de trocas de ida e volta. Os autores então revisaram, corrigiram e verificaram cada etapa .
• Os logs completos da conversa foram arquivados no Zenodo para inspeção pública .

Divisão de Trabalho

• O Claude gerou manipulações algébricas candidatas, identificou padrões nas equações fullRSB e realizou o raciocínio simbólico pesado .
• Parisi e Zamponi forneceram a estrutura conceitual, validaram a correção matemática e garantiram que a demonstração se encaixasse na física estabelecida . O preprint observa que o Opus 4.7 essencialmente derivou a demonstração por si só, com supervisão mínima dos autores .

Publicação e Significado

O preprint foi postado no arXiv em 2 de junho de 2026 (atualizado em 2 de julho de 2026) sob o título "A proof of an identity for the critical exponents of jamming" . A lista de autores é Giorgio Parisi e Francesco Zamponi; o Claude é reconhecido como a ferramenta de IA usada na metodologia, não como coautor.

A cobertura da imprensa, incluindo veículos como Il Fatto Quotidiano, Correio Braziliense, 36Kr e Digg, enquadrou isso como um exemplo marcante de um Nobelista usando um modelo de linguagem de grande porte como um colaborador de pesquisa genuíno para superar um impasse teórico de longa data .

Por que Isso Importa

O resultado fecha uma lacuna de uma década na teoria fullRSB do jamming — um problema fundamental na física de vidros, materiais granulares e sistemas desordenados. Também serve como uma demonstração de alto nível de como LLMs podem contribuir para a física teórica avançada, não meramente como assistentes, mas como participantes ativos na derivação de demonstrações matemáticas não triviais.