When a Nobel Laureate Uses an LLM to Prove a Theorem: A Turning Point for Mathematical Discovery
This article analyzes Giorgio Parisi and Francesco Zamponi’s 2026 paper, A Proof of an Identity for the Critical Exponents of Jamming, as a turning point in AI-assisted mathematical discovery. The paper proves the identity (a+b=1) between two critical exponents in the full replica-symmetry-breaking theory of jamming, a relation previously supported by high-precision numerical evidence but lacking an analytical proof. Its broader significance lies in the authors’ explicit statement that the…
| Modified | Jun 6, 2026 |