诺贝尔物理学奖得主联手Claude AI，攻克堵塞理论中悬而未决的数学证明

证明揭示了什么

恒等式 a + b = 1 直接来自标度fullRSB方程。关键地，这个关系意味着 a = (1 - c)/2，与 b = (1 + c)/2 一起，意味着 所有三个指数都由单一参数 c 决定 。这减少了fullRSB解的预测自由度，巩固了理论的内在一致性。它还独立地导出了比例关系 α = 1/(2 + θ) 和 κ = 2 - 2/(3 + θ)，此前由Wyart及其合作者的机械边缘稳定性论证所预测 。

Anthropic的Claude如何贡献

这一证明并非仅靠人类洞察力完成。论文明确指出："该证明是通过与Claude（Sonnet 4.6和Opus 4.7）交互获得的，并由我们验证" 。

迭代与合作

• 帕里西和赞波尼与Claude进行了大约 40轮对话 的深入交流 。
• 他们使用了两个Claude模型版本：Sonnet 4.6 和 Opus 4.7 。
• Claude并非一次性生成最终完美的证明。相反，它通过来回交流 迭代地推导出了几乎完整的证明。然后，作者们审查、修正并验证了每一步 。
• 完整的对话记录已存档于 Zenodo，供公众查阅 。

分工

• Claude 生成了候选代数操作，识别了fullRSB方程中的模式，并执行了繁重的符号推理 。
• 帕里西和赞波尼 提供了概念框架，验证了数学正确性，并确保证明符合既定的物理学 。预印本指出，Opus 4.7基本上自主推导了证明，仅需作者极少的监督 。

发表与意义

该预印本于 2026年6月2日 发布在arXiv上（2026年7月2日更新），标题为 "堵塞临界指数恒等式的证明" 。作者列表为Giorgio Parisi和Francesco Zamponi；Claude被作为方法论中使用的AI工具致谢，而不是合著者。

包括 Il Fatto Quotidiano、Correio Braziliense、36氪 和 Digg 在内的媒体将此事描述为诺贝尔奖得主将大语言模型用作真正研究合作者、打破长期理论僵局的里程碑式案例 。

为什么它重要

这一结果填补了全复制对称破缺堵塞理论中一个长达十年的空白——这是玻璃、颗粒材料和无序系统物理学的一个基本问题。同时，它也是LLM如何为高级理论物理学做出贡献的高调示范：不仅是作为助手，而且是作为非平凡数学证明推导中的积极参与者。