What was already known
The 2014 fullRSB calculation established one scaling relation analytically, while a+b=1 was observed numerically without an analytic proof. Independent mechanical-marginal-stability arguments predicted the resulting physical exponent relations.
What changed and why it matters
Replaces a longstanding numerical observation with an analytic derivation and connects two notions of marginal stability within the specified mathematical model.
The AI contribution
The authors report deriving the proof through Claude Sonnet 4.6 and Opus 4.7, identifying inconsistencies in an early version, and checking, correcting and editing the resulting argument. They released the conversations in a repository cited by the paper.
Limitations
The result is within the infinite-dimensional fullRSB scaling equations and their assumptions. It is not a proof of every finite-dimensional jamming law. The paper reports human checking and lists a journal publication; AIProofWatch has not audited the proof or independently reproduced a check. Its mathematical-physics statement is in scope despite the source’s condensed-matter category.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
The cited source reports the scoped contribution. Statement and significance review does not establish a complete proof audit.
Accessible artifact / proof
The supporting manuscript, formal development or construction data is accessible; AIProofWatch has not independently reproduced its checks.
Correction and publication history
News-led review of the precise source statement, baseline, AI attribution and importance. Historical inclusion without subscriber alerts; no AIProofWatch full proof audit.
Read this published revision