Giorgio Parisi 拿过2021年的诺贝尔物理学奖，研究的是无序系统里的复杂规律。但有一个问题，他和罗马萨皮恩扎大学的同事 Francesco Zamponi 几年前盯上了一个2014年就提出的老问题，结果怎么都证不出来。

这个问题叫堵塞猜想。堵塞是物理学里一个很直观的现象：往一个容器里不停地塞球，塞到一定密度，球和球之间挤得动弹不得，整个系统突然变硬了。球没有规则排列，看着还是一团乱麻，但就是卡住了，跟交通堵塞一个道理。2014年，Parisi、Zamponi 和几位同事用数学语言精确描述了这个过程，推导出一套方程。方程里有两个关键参数，数值计算反复验证，这两个参数加起来永远等于1。

永远等于1，这不是巧合，背后一定藏着某种深层的数学结构。但具体是什么结构，谁都证不出来。

十年里，不少研究者试过。大家都觉得，既然结果这么简洁，背后的原因一定很深刻，可能涉及理论框架里某个尚未被发现的对称性，或者某种隐藏的拓扑关系。Parisi 和 Zamponi 自己也是这么想的。他们翻来覆去地分析方程的结构，试图找到那个深藏的机制。

2024年前后，大语言模型的数学推理能力有了明显进步。两人决定试一试，把这个十年老问题扔给了 Claude。他们先让 Claude 复现已有的数值计算，确认它理解了方程的基本结构，然后直接问：能不能证明这两个参数之和恒等于1？

Claude 很快给出了一个证明。

证明里错误不少，经过好几轮人工校验和修正才勉强站住脚。但两位物理学家注意到一件事：Claude 选择的证明路径，跟他们十年来尝试的方向完全不同。他们一直在找深层结构，Claude 走了一条简单得多的路，从方程本身的基本性质出发，用一条概念上简单得多的路径把结论兜住了。

Zamponi 后来说：答案就在那里，我们只是没看见。

两人顺着这条路重新推导，修补了 Claude 的错误，最终写出了一个严格的数学证明。2026年7月，论文发表在《统计力学杂志：理论与实验》上。证明本身出人意料地简短，简短到让人怀疑这十年是不是白费了。

但也不能说白费。Parisi 和 Zamponi 在论文里坦承，他们很难解释为什么自己没能更早发现这条路。最诚实的解释是：他们一直在找一个更深刻的原因，结果忽略了一个概念上更简单的情况。他们预设了答案应该很复杂，然后一头扎进了复杂的方向。

这里有一个微妙的问题：AI到底做了什么？普林斯顿大学数学家 Will Sawin 的看法是，至少目前，AI在数学领域的强项是搜索文献和发现人类可能忽视的模式，它并没有真正产生人类想不到的全新思路。Parisi 和 Zamponi 的经历似乎印证了这一点。Claude 没有提出什么石破天惊的新理论，它只是没有人类专家的思维包袱，不会默认答案一定藏在某个深奥的结构里，所以反而走了最短的路。

换句话说，十年来困住两位顶级物理学家的，不是能力不够，是预期太高。他们太尊重这个问题了，觉得一个如此优美的结论必然对应一个同样深刻的原因。而 Claude 没有这种审美直觉，它只是老老实实地试，试到一条通的路就停了。

这条路恰好是最简单的那条。

～～～～～～

图一：图源：graja via Shutterstock图二：颗粒材料中拱形结构导致堵塞现象的简单示意图，图源：Gsrdzl via Wikimedia Commons

信源：Lee, Gayoung. "Claude’s Solution to Decades-Long Math Mystery Is ‘Essentially Correct,’ Physicists Say." Gizmodo, 1 July 2026