发布于2026-08-17 阅读(0)
扫一扫,手机访问
7月,诺贝尔物理学奖得主乔治·帕里西与意大利物理学家弗朗西斯科·赞波尼,在《统计力学:理论与实验》上联手发表了一篇论文,篇幅仅十余页,标题是《阻塞临界指数一个恒等式的证明》。
摘要末尾,他们写下这样一句话:“证明通过与Claude(Sonnet 4.6与Opus 4.7)的互动获得,并由我们完成验证。”与Claude进行了40轮对话之后,两人终结了一个困扰复杂系统统计物理领域长达十二年的猜想。
2024年,帕里西被授予诺贝尔物理学奖,理由是“发现了从原子到行星尺度物理系统中无序与涨落的相互作用”。他整个学术生涯都在深耕自旋玻璃理论,发明了副本对称性破缺方法,用来揭示那些看似混乱无序的复杂系统背后隐藏的深层规律。

图 | 乔治·帕里西(Giorgio Parisi)(来源:https://www.paris)
这次合作发生的一年多前,也就是2025年初,帕里西曾做过一个近乎讽刺的演示:他成功说服一个大型语言模型接受“5×4=25”这个错误结论。在他看来,AI不过是一只“随机鹦鹉”,只能通过预测下一个词来输出结果,缺乏真正的推理能力。他借此告诫年轻人,越是AI盛行的时代,学习和批判性思维就越必要,因为AI不会像搜索引擎那样展示信息来源。彼时,帕里西对AI的公开评价,处处透着理论物理学家对不透明黑箱的警惕。
从“随机鹦鹉”的批判者,到在论文里专门介绍AI的卓越贡献,帕里西的态度究竟为何松动?
帕里西此次发表的论文,与一个名为“阻塞”的统计物理概念密切相关。通俗来说,将大小不一的沙粒慢慢倒入容器,它们最初会像流体一样自由流动,但当密度达到某个临界值,整个体系会突然“卡住”,变成像固体一样刚性的结构,这就是“阻塞”。
许多复杂系统在临界点附近都会出现这种阻塞现象,泡沫、颗粒材料、致密胶体,乃至早高峰的车流,皆是如此。“阻塞”问题甚至已经被引入神经科学和机器学习等领域。
2014年,帕里西和同事建立了一套完整的阻塞理论,由此得到描述阻塞临界行为的三个关键指数a、b、c。但一个怪事出现了:数值计算显示,无论精度如何提升,参数a与参数b相加,始终精确等于1。
数值反复验证了这一等式,但科学家们就是无法从理论上证明它。这道悬而未决的难题,像一根鱼刺,卡了整个领域十二年。随着时间推移,多数研究者渐渐把阻塞理论的等式搁置,但帕里西始终无法接受,自己居然没能证明它。
当生成式AI逐渐显露出数学推理能力,帕里西看见了机会。他起初只把这道老问题当作一次理想的测试:有明确定义的猜想、相对紧凑的数学结构,以及一个在数值上已知却缺乏形式化证明的答案。至于为什么选择Claude,赞波尼表示,只是因为它“在数学推理方面似乎更强一些”。
对话由帕里西发起,最初目的并非求证。他先让Claude写一段C++代码,用打靶法求解一个非线性微分方程,精度要求达到10的负10次方。借此,帕里西想确认,面对一个真实的数学问题,AI能走多远。此后相当长的时间里,Claude都在做类似的技术活:调整代码、把双精度浮点数升级到四倍精度、把数值结果推进到小数点后十几位。到此为止,它的角色只是一个高效但沉默的程序员。
真正的转折,发生在Claude成功复现了十多年前那组数值计算之后。接下来的问题几乎是自然而然涌现的:如果a加b等于1,你能不能证明为什么?
第一版证明很快出炉,但Claude选了一条多年前就被尝试过、走不通的老路。帕里西不得不反复干预、纠正方向、暗示可能的突破口。到对话中段,Claude突然提出了一个此前从未被两位物理学家探索过的思路:通过构造一个特定的辅助函数,把问题转化为一个可以用相对系统性的方式推进的代数结构。核心直觉是正确的,但细节里散落着符号错误、遗漏的边界条件和不够严格的估计。
帕里西和赞波尼花了数日时间反复检查,指出其前后不一致之处,Claude在指导下逐步修正。其间,Sonnet 4.6被用于打磨技术细节,Opus 4.7负责完成主体推导。
证明基本成型后,帕里西直接向Claude发问:“你是怎么想到这个证明的?”Claude的回答是,没有灵光一闪的瞬间,关键的辅助函数其实是从期望的结论反向推导出来的,这是一次“相当系统的逆向推理,加上仔细的计算”。它仿佛预判了人类提问的目的,在回复的结尾补了一句:“不浪漫的版本往往更接近真相。”

(来源:Zenodo)
事实上,多年来,两位物理学家一直在寻找一个“更深、更隐蔽的解释”,期待证明过程蕴含了某种全新的数学结构或未知对称性。但真正的证明反而极致简洁。“答案就在那里,只是我们没看到。”赞波尼这样评价。
人类研究者的经验、直觉与审美,在此刻变成了一把双刃剑:过去几十年的训练让他们能识别哪些方向“值得走”,但也让他们系统性忽视了某些摆在眼前的方法。
Claude在这次合作中展现了一种完全不带认知包袱的系统性搜索能力。它在庞大的数学可能性空间中快速尝试不同的路径组合,不会因为“答案应当深刻”的预设,就错过一条平淡但有效的道路。
证明中,同样关键的还有人类使用AI的方式。40轮对话中,研究者没有选择把问题一股脑抛给Claude,坐等答案。帕里西和赞波尼花了数日时间教会AI相关方程、纠正它的初始错误、引导它避开已知的死胡同。这是一次近乎完美的“人机协作”:AI提供计算力和不带偏见的路径搜索,人类提供了问题框架、领域判断和质量把关。任何一环缺失,证明都不会诞生。
这次合作之后,帕里西在接受采访时透露了一段自我反思。他曾在与Claude共事时冒出过一个念头:既然它算得这么快,我为什么还要在计算上浪费时间?但他很快意识到,正是那些看似浪费的时间,让他能在AI走偏时及时矫正,为其指出正确的方向。
放在更广阔的领域里,这个判断更具参考意义。AI的确能让科研工作走得更快,但前提是使用者自己走过那段路。帕里西在这些复杂方程里泡了几十年,才能在对话中判断Claude何时误入歧途、何时应该被鼓励继续。这种判断力无法外包,也无法凭空获得,必须由曾经的“笨功夫”喂养出来。
最近的一次演讲中,帕里西一改此前的戏谑,严肃阐述了自己对AI的态度:他并不认为AI会导致人类灭亡,真正的风险不是灾难性的技术失控,而是人类在AI“代劳”下逐渐失去独立思考的能力。倘若新一代研究者从一开始就把困难的计算和推导交给AI,跳过与方程搏斗的过程,当AI犯错时——它几乎一定会犯错——谁来纠正?
参考内容:
https://iopscience.iop.org/article/10.1088/1742-5468/ae7bd7
https://www.repubblica.it/cultura/2026/07/01/news/giorgio_parisi_intervista_intelligenza_artificiale_insieme__risolviamo_problemi-425443262/
https://sapere.virgilio.it/scuola/mondo-scuola/allarme-del-nobel-parisi-cosi-ho-convinto-l-ia-che-5-x-4-fa-25
注:封面/首图由AI辅助生成
售后无忧
立即购买>office旗舰店
售后无忧
立即购买>office旗舰店
售后无忧
立即购买>office旗舰店
售后无忧
立即购买>office旗舰店
正版软件
正版软件
正版软件
正版软件
正版软件
1
2
3
4
5
6
7
8
9