Nobel laureate Giorgio Parisi used Claude Sonnet 4.6 and Opus 4.7 to prove a jamming transition critical exponent identity · Digg