# 什么是希尔伯特的第六问题？这个问题重要吗？
**作者**: snowboat
**日期**: 2026-07-15T04:30:57.000Z
**来源**: [https://x.com/snowboat84/status/2077249534049259588](https://x.com/snowboat84/status/2077249534049259588)
---
# 引言：从今年的菲尔兹奖章说起
2026年7月，国际数学家大会的官网闹了一桩乌龙。有人在网站的前端代码里，扒出了四个本该保密到大会开幕才公布的名字，正是今年菲尔兹奖的四位得主。菲尔兹奖是数学界的最高荣誉，每四年才颁一次，只发给40岁以下的顶尖数学家，分量约等于数学界的诺贝尔奖。
泄露的名单里，有两个华人名字，王虹和邓煜。等到大会正式一锤定音，这将是史上第一次，同一届菲尔兹奖同时颁给两位华人数学家。王虹那块奖章，砸的是困扰数学界几十年的挂谷猜想。而邓煜这块，砸的是另一个更老、更硬的钉子，一个整整沉睡了一百二十五年的问题，希尔伯特的第六问题。
邓煜到底做了什么，值得这块奖章。故事得从你手边的一杯水讲起。
随便舀一勺，里面大约有10的23次方个水分子，正按牛顿定律疯狂乱撞，每秒相互碰上几十亿次。这是一幅图景。你把整杯水端起来晃一晃，水面荡开一道波，服帖、连续、可以用一个流体方程描述得明明白白。这是另一幅图景。这两幅图景，讲的是同一杯水吗。
听上去像废话，当然是同一杯水。可你真要在数学上，从下面那幅"分子乱撞"，一步不差地推出上面那幅"连续的流"，一百多年里没有一个人做得到。这道从微观到宏观的裂缝，正是希尔伯特1900年那张著名问题清单里的第六个，也正是邓煜他们2025年那篇论文，宣称合上的那道缝。
这篇文章想回答三件事。希尔伯特1900年到底问了什么，为什么这个问题能沉睡一百二十五年，以及它在2025年被"解决"、又刚刚换来一块菲尔兹奖章，这件事到底重不重要。这里面有一个孤独的物理学家，为捍卫"原子真的存在"这件今天看来天经地义的事，被同行围攻到精神崩溃、最后自杀。也有一百二十五年后，几个数学家从波浪的数学里借来一把钥匙，其中一位据他自己说，是在吃炸鸡的时候想通了最关键的一步。故事很长，先从一百多年前那场演讲讲起。
# 一、一场演讲，一张清单
## 1.1 一九〇〇年八月，巴黎索邦
1900年8月8日，巴黎索邦大学的一间讲堂里，一个38岁的德国人站上讲台。他叫大卫·希尔伯特（David Hilbert），当时已经是哥廷根的数学重镇人物。这是第二届国际数学家大会，来的都是当时数学界的顶尖头脑。
希尔伯特讲的题目叫《数学问题》。他开篇就说了一句后来被反复引用的话，大意是，我们当中谁不愿意揭开那层面纱，看一看未来藏着什么。接着，他没有去总结过去一个世纪数学的辉煌，而是反过来，给出了一张他认为将要主宰二十世纪的问题清单。
这里有个常被讲错的细节，值得先纠正。那天在台上，因为时间有限，他其实只口头讲了十个问题。完整的二十三个，是会后正式发表的论文里才一次给全的。这张清单后来真的成了二十世纪数学的路线图，一个问题被解决，往往就是一块菲尔兹奖章。而我们要讲的第六个，恰好是这二十三个里最特别的一个。
## 1.2 第六问题到底写了什么
第六问题的标题，德文原文是Mathematische Behandlung der Axiome der Physik，翻成中文是"物理学公理的数学处理"。光看标题就透着野心。希尔伯特想把物理学，像他刚刚处理过的几何学那样，架在一套严格的公理之上。
它的开场白，直接把这个野心和几何挂上了钩。希尔伯特写道，对几何基础的研究，提示了这样一个问题，用同样的办法，也就是借助公理，去处理那些数学扮演了重要角色的物理学科，而排在最前面的，是概率论和力学。翻成大白话就是，几何我已经收拾干净了，物理能不能照这个方子抓药，头两味，一味是概率论，一味是力学。
先看概率论这一味。希尔伯特讲得很具体，他希望对概率论公理的逻辑考察，能配上一套严格而令人满意的方法，去处理数学物理里的"平均值方法"，尤其是气体动理论。这句话信息量很大。它等于提前点了名，概率论的严格化，最后要落到气体动理论这个具体战场上，也就是玻尔兹曼那套用大量分子的统计去解释热的理论。
再看力学这一味，希尔伯特点的名字更值得玩味。他说，物理学家在力学基础上已经有一些重要工作，他特意提到了马赫、赫兹、玻尔兹曼、福尔克曼几个人的著作，然后话锋一转，说正因如此，数学家也很有必要来讨论力学的基础。紧接着是全篇最要命的一句。他说，玻尔兹曼关于力学原理的工作，提示了这样一个问题，把那里仅仅被暗示过的极限过程，用数学严格地发展出来，也就是那个从原子论的观点，通向连续介质运动定律的极限过程。
这一句，英文文献里常被引作the limiting processes … which lead from the atomistic view to the laws of motion of continua。它就是这篇文章往后一百多年故事的全部源头。所谓"从原子到流体那座桥"，希尔伯特在1900年，用的正是"从原子论观点通向连续介质运动定律"这个提法。一百二十五年后邓煜他们宣称合上的那道缝，一字不差，就是这一句话里的极限过程。
值得停下来数一数他没说什么。热力学、电动力学，这两个当时同样炙手可热的领域，在第六问题的正文里，连被单独点名的资格都没拿到。他反复点的，只有概率论、力学、以及那座从原子到连续介质的极限桥。一个人在给二十世纪的物理开施工清单，却对当红的电磁学只字未提，这份克制不像是疏忽。
这份克制里，藏着希尔伯特极精明的判断。为什么偏偏留下这几样、偏偏漏掉那几样，第三章会专门拆开来讲。这里先记住一个反差，第六问题的野心写在标题上，铺天盖地要给整个物理立公理，可他真正伸手去够的，是一个小得多、也实在得多的目标，从原子到连续介质那一座桥。
## 1.3 二十三个里唯一的物理问题
这张清单里，第六问题从头到尾是个异类。其余二十二个，从连续统假设到黎曼猜想，全是纯粹的数学问题，边界清清楚楚，有明确的对错，能被"证明"或"证伪"，解出来就是解出来了。只有第六个，一只脚踩进了物理，性质当场就变了。
其实，第六问题甚至算不上一道有标准答案的题。其它那二十二题问的是"这个命题到底对不对"，第六题问的却是"该怎么给整个物理立规矩"。它更像一份开放的纲领，一张施工任务书，规定的是方向和验收标准，至于具体答案，得后人自己去填。这个区别看着细，后面会看到，它恰恰是这道题能拖上一百二十五年的根子。答案型的题，解出来就结账。纲领型的题，只要物理学自己还在往前走，这份任务书要验收的对象就一直在变。
正因为是纲领，它注定是个会移动的靶子。希尔伯特写下它之后，物理学非但没有停步，反而在二十世纪初接连迎来相对论和量子力学两场地震，"该被公理化的物理"这个对象本身，就一次次改头换面。这个靶子后来移到了哪儿、又怎样把宏大版本拖成一场至今没打赢的仗，留到第三章专门说。
这里只需要先立住一件事。这道唯一的物理题，从诞生那天起就一分为二，藏着两条命运截然不同的支线，一条几十年后就顺利结了案，另一条卡了整整一百二十五年，一路卡到今年的菲尔兹奖。它们各自是什么、又为什么一个顺一个卡，得先回到1900年那个特殊的时间点，看看这道题到底是从怎样的土壤里长出来的。
# 二、为什么偏偏是一九〇〇年
## 2.1 世纪之交，物理学是什么光景
要理解希尔伯特为什么在1900年问出第六问题，先得看看那一年的物理学长什么样。
那是一座已经盖得相当高的大厦。牛顿力学统治了两百年，天上行星的轨道、地上炮弹的弧线，都算得准准的。麦克斯韦几十年前刚把电、磁、光拧进同一组方程，电磁学蔚为大观。热力学也立起了两条铁律，能量守恒，熵总增加。力学、电磁、热力学，三根主要的柱子看上去都稳稳当当。
盖得这么高，就有一种情绪跟着流传，说物理大厦已经封顶，往后无非是把已知的常数再多测几位小数。开尔文勋爵在同年1900年早些时候（四月）的一场演讲，常被当成这种情绪的注脚。他说，这片晴朗的天空上，还飘着两朵乌云。
开尔文勋爵
这两朵乌云得说清楚，因为它们后来都不是小事。第一朵，是人们怎么都测不出地球相对于"以太"的运动，迈克尔逊和莫雷的实验一次次得到零结果，和理论对不上。第二朵，是热和光的能量在分子之间到底怎么分配，经典理论的算法和实验对不上，尤其在描述一个热物体该发出什么样的光这件事上。没过几年，第一朵乌云里长出了相对论，第二朵里长出了量子力学，两场革命把那座看似封顶的大厦，从地基掀了个底朝天。
有意思的是，开尔文特意把这两朵乌云拎出来，本身就说明当时最好的头脑并不真觉得万事大吉。他的语气里是提醒，甚至是隐忧。把1900年的物理学界一律说成盲目乐观，是后人讲故事时图省事的简化。真正的行家心里都清楚，那座大厦的地基，远没有外表看上去那么结实。
希尔伯特正是这批清醒的人里的一个，而且他比多数人更彻底。在他看来，物理这栋楼盖得又高又快，地基却是一堆从没经过严格审查的假设和惯例。力学到底架在哪几条不证自明的公理上，概率论凭什么能用，这些最底下的问题都还糊着一层。他提第六问题，就是想照着当年给几何补地基的办法，钻进物理的地下室，把这栋楼到底站不站得稳，认认真真验一遍。
## 2.2 严格化的趋势：从微积分到几何
希尔伯特这份"要地基"的执念，在数学内部有一段很长的前情。这段前情，是理解整个第六问题的思想母题。
先看微积分。牛顿和莱布尼茨在十七世纪造出微积分，威力惊人，可它的地基一直虚着。他们用一个叫"无穷小"的东西，一会儿说它不是零、可以做分母，一会儿又说它是零、可以扔掉，逻辑上前后打架。有位主教曾经讥讽，这些无穷小是"消逝量的幽灵"。微积分能算出正确答案，却说不清自己为什么对。
这个地基，是一百多年后才补上的。柯西在1821年开了个头，用极限的思想重新定义连续和收敛，后来魏尔斯特拉斯把它彻底精确化，也就是今天学过高等数学的人都头疼过的那套 ε 和 δ 的语言。经过他们两代人，微积分才从"能算但不严格"，升级成了"每一步都站得住"。这个从"能算"到"严格"的升级，正是第六问题的思想母题。
希尔伯特本人，刚刚在几何上把这套把戏又玩了一遍。1899年，他出版《几何基础》，把两千年来大家都觉得天经地义、其实漏洞不少的欧几里得几何，重新架在一套干净的公理之上。这本书立刻成了二十世纪公理化的范本。尝到甜头的希尔伯特，很自然地往外一推，几何能这么办，物理为什么不能。第六问题，就是这一推的产物。
## 2.3 力学的王座：为什么"还原到牛顿"是那个年代的共识
要理解希尔伯特为什么盯上"从原子到连续介质"，得先钻进那个年代物理学家脑子里的一个大前提，叫力学自然观。
这个信念说，世界最底层、最靠得住的东西，是牛顿力学，别的一切都该往它身上还原。热是什么，是分子在乱动。声音是什么，是空气在振。摸得着的现象往下刨，最后都该刨到一堆按牛顿定律运动的粒子为止。牛顿的三条定律加万有引力，被供在整个物理的王座上。
最能说明这个信念有多强的，是连电和磁这种最不像力学的东西，当年也被硬掰成了力学。这就回答了一个自然会冒出来的疑问，电磁凭什么能算力学（电动力学）。答案藏在"以太"这个概念里。那时候大家相信，电磁波和光，都是一种叫以太的东西在振动，而以太被想象成一种弥漫整个空间的机械媒质，有弹性、能传递应力，跟一整块看不见的果冻差不多。既然电磁只是果冻在抖，那它自然就是力学的一个分支。麦克斯韦本人就干过这事，他早年为了参透电磁场，真的搭过一套由无数机械小涡轮和滚珠组成的以太模型，用齿轮咬合去演示磁场和电流。他后来把这些模型当脚手架拆掉了，可"电磁终究是某种力学"的信念，在物理学界又扎扎实实地统治了几十年。
这个氛围，爱因斯坦晚年在《自述》里有过一段很传神的回忆。他说，上个世纪的物理学家，几乎都把经典力学看成整个物理、乃至整个自然科学的坚实而最终的基础，他们孜孜不倦，一心想把当时正慢慢占上风的麦克斯韦电磁理论，也一并奠基到力学之上。一句话，那个年代的头等抱负，就是把万物还原到牛顿。
不过这里得补一笔，好让画面更准。就在1900年前后，这座力学王座其实已经开始晃动，甚至冒出了一个方向完全相反的野心，有人反过来想，会不会力学才是电磁的一个特例。维恩在1900年写过一篇论文，题目直白得很，叫《用电磁学为力学奠基的可能性》。阿伯拉罕等人紧接着研究电子的"电磁质量"，试图证明电子的惯性，也就是质量本身，完全可以由它自己的电磁场算出来。这条路要是走通，那方向就整个倒过来了，成了力学还原到电磁。所以1900年并不是一个铁板一块的年代，它是两种"万物之基"在暗中较劲的年代。
希尔伯特在这场较劲里，自然把赌注押在了当时的主流信仰的力学这一边。第六问题那个从原子出发、通向连续介质的提法，正是力学自然观最典型的一次下注。他要做的，是把物理学家这个含糊的宏大抱负，翻译成一个数学家能一板一眼去验收的命题，这条"还原到牛顿"的路，到底在数学上走不走得通。至于这两种相反的还原后来双双被相对论和量子力学化解、谁也没能独吞天下，那是3.5节的事了。
## 2.4 原子论对唯能论：一场希尔伯特已经选边的战争
同时就在1900年，有个今天听起来匪夷所思的问题，正把物理学界撕成两半，原子到底存不存在。
一派是原子论，代表人物是奥地利物理学家玻尔兹曼（Ludwig Boltzmann）。他坚信物质由真实的原子和分子构成，热和熵这些宏观现象，都能从大量原子的力学统计里推出来。另一派声势更大。化学家奥斯特瓦尔德（Wilhelm Ostwald）主张"唯能论"，认为能量才是唯一的实在，根本不需要假设看不见的原子。物理学家马赫（Ernst Mach）则站在实证论立场，一句话就把玻尔兹曼将军，原子你既然看不见，凭什么说它存在。
这场仗打得很凶。1895年在吕贝克的一次大会上公开爆发，玻尔兹曼以一敌众。当时原子还没有任何直接证据，直到1908年前后，佩兰用布朗运动实验才让怀疑者们服气。也就是说，1900年的玻尔兹曼，是在一个原子尚未被公认的环境里孤军奋战，晚年陷入抑郁，1906年在意大利度假时自杀。他墓碑上刻着那个著名的熵公式，S等于k乘以log W，不过这要说句公道话，这个公式的这个写法其实出自普朗克，墓碑也是他身后由后人立的。
希尔伯特在这场战争里，旗帜鲜明地站在了玻尔兹曼一边。第六问题里"从原子论观点出发"这句话，本身就是一次表态。但他这个数学家表态得极其精明。他不去纠缠"原子到底真不真实"这种形而上学的死结，而是把问题偷换成一个纯数学的提法，假设原子这套微观描述成立，它在极限下能不能严格地长出连续介质那套宏观描述。真假的泥仗留给哲学家，他只问两套数学之间的桥。这一手，正是下一章要展开的关键。
# 三、希尔伯特到底想要什么
## 3.1 押注原子论
上一章说到，希尔伯特在力学和电磁两种"万物之基"的较劲里，把宝押在了力学和原子这一边。这一节把这个赌注掰开看，他到底在赌什么，赌注又有多大。
先得说清楚"公理化"到底是要干什么，因为这是理解他全部意图的钥匙。看几何最直观。欧几里得当年只用了五条不证自明的公理，比如两点之间可以连一条直线，就从这么几句话出发，一步步严格推出了整部几何，几百条定理全挂在这几条公理上，环环相扣，中间谁也不许耍赖。希尔伯特1899年那本《几何基础》，做的是把欧几里得这套补得更严丝合缝。而他给物理开的方子，就是照抄这个模板，先找出物理最底层那几条不证自明的公理，再证明其余一切都能从它们严格地推出来。
放到原子上，这个方子就落成了一个非常具体的赌注。希尔伯特赌的是，把牛顿力学作用在大量原子上，当作那几条底层公理，宏观世界那些流体方程，能够作为定理，被严格地推导出来。要咬住"严格"这两个字。物理学家早就会算这条路，希尔伯特要的不是"会算"。他要的是"能证"，是那种几何里一步都赖不掉的证明。
这个赌注在1900年下得有多大胆，今天不太容易体会。那时候原子连真身都还没露过，佩兰那个一锤定音的实验要等到八年之后。希尔伯特等于是把"给物理立公理"这样一件顶天的工程，架在了一样连存不存在都还在吵的东西上。换个胆小些的人，多半会等原子这事有了定论再动手。
希尔伯特的精明，前一章末尾点过，这里可以说得更透。他压根不打算等。他把赌注设计成了一个不管原子真假都照样玩得下去的游戏。他不去碰"原子到底存不存在"这种物理学家和哲学家吵不完的问题，他只问一个纯数学的问题，假设真有这么一套微观的原子力学，它在数学上能不能严格地长出宏观的连续介质。原子是真是假，交给实验去定。两套数学之间那座桥修不修得起来，他这个数学家自己就能验。这一手，让他的赌注在一个悬而未决的年代里，照样立得稳稳的。
这个赌注的分量，最后落在一句话上。它把物理学家嘴里那句含糊的"万物还原到牛顿"，从一句谁也没验过的口号，变成了一个有明确输赢、能被后人一代代去攻的数学命题。赌赢了，人类最深的那个还原主义信仰就升格成了定理。赌输了，它就只好承认自己不过是个信仰。至于这一赌，赌了整整一百二十五年才见分晓，那是希尔伯特本人也没能料到的。
## 3.2 物理的两块基石
在第六问题的正文里，希尔伯特把两样东西并排摆出来，当作物理最该先公理化的两块基石。一样是概率论，另一样是力学，确切说，是建立在原子论之上的力学。这个搭配头一眼看有点怪，一个是数学工具，一个是物理图像，凑一块儿干什么。看懂它俩为什么并排，才算摸到希尔伯特的心思。
先说他为什么把概率论摆得这么靠前，这一点今天最容易被忽略。原子论那套解释，打骨子里就是概率的。你面对一杯气体里10的23次方个分子，根本不可能去追踪每一个的位置和速度，能谈的只有"平均而言""大概率如此"。玻尔兹曼从原子推出热、推出熵的那套理论，本名就叫统计力学，"统计"两个字，把它的命门点得明明白白，它整个建在概率的地基上。
这就带出一个逻辑上的先后。你想严格地把原子那条路走通，前提是你手里的概率论本身得先是严格的。可偏偏在1900年，概率论自己还是门半吊子学问，赌徒和保险精算师用得风生水起，数学家却说不清"概率"到底是什么、凭什么能这么算。拿一件根基不稳的工具，去给另一门学问打地基，希尔伯特看着别扭。所以他把概率论排在前头，是先修工具、再干活的意思。
理解了这一层，两块基石的关系就清楚了。它们看着是两块，其实是同一项大工程的两半。这项工程叫，如何严格地对付"多"。10的23这个"多"，逼得你没法一个一个去算，只能借统计去把握。概率论提供的是把握"多"的语言，原子论加力学提供的是"多"底下那个真实的东西，一堆守着牛顿定律的粒子。一个给语言，一个给对象，两个桥墩合起来，才撑得住那座从微观通向宏观的桥。
希尔伯特对这件事是当真的，不是随口列个清单充数。十来年后的1912年，他自己动手做了一个从玻尔兹曼方程往流体展开的形式推导，也就是后面第五章会提到的、以他命名的希尔伯特展开。一个纯数学家肯亲自下场算这种物理味十足的东西，说明他对这条从原子到宏观的路熟得很，也说明他比谁都清楚，物理学家那套推导里藏着多少没兑现的数学欠条。这两块基石并排摆着，看似是两个平等的起点，后来却走上了两条命运截然不同的路。
## 3.3 概率论那一支：顺利毕业
先把概率论这一支的结局交代了，因为它走得实在顺，几十年就干净利落地结了案，正好反衬出另一支有多难。
收官在1933年。苏联数学家柯尔莫哥洛夫（Andrey Kolmogorov）出版了一本薄薄的小书《概率论基础》，用测度论给概率论建起一套现代公理。测度论听着吓人，核心思想其实朴素，把每个随机事件看成一个集合，把它的概率看成这个集合的"大小"，规定整个样本空间的大小是1，再要求这些大小能合理地相加。就这么几条，掷骰子、抽牌、随机游走这些原本靠直觉在谈的东西，全被架上了和几何一样干净的地基。学界普遍把这一步，看作第六问题里概率论那一支的收官。
为什么拖到1933才办成，也值得说一句。概率这东西，用了几百年都好好的，赌徒会算、精算师会算，可一旦深究"概率到底是什么"，就滑进泥潭，是长期的频率，还是主观的信念，怎么说都有漏洞。柯尔莫哥洛夫的高明，在于他绕开了这个泥潭，不去回答"概率是什么"，只规定"概率得满足哪几条数学性质"，剩下的交给测度论。这一手，和希尔伯特处理原子那一手，是同一种智慧，把纠缠不清的形而上学问题，换成一个干净利落的数学问题。
要紧的是，这一支的"结束"是毕业，是活干完了光荣离场，不是被谁半途放弃。它从此退出第六问题的主线。真正把第六问题拖成百年悬案的，是另一支，从原子到连续介质那座桥。同一道题，生出两个命运天差地别的孩子，一个几十年就毕业，一个卡了整整一百二十五年。所以往下，我们的目光就死死锁在那座难的桥上。
## 3.4 不管量子论和相对论，为什么偏偏是流体？
我们先来把一个大背景摆正。今天回头看，希尔伯特那个宏大的梦，给整个物理立一套统一公理，早就落空了，而且落得很彻底。原因不在没人努力，在于物理学自己长疯了，一路长到了希尔伯特那套框架够不着的地方。
希尔伯特的框架，骨子里是力学还原论，相信万物最终能还原到牛顿力学。可他提问之后没过几年，物理就接连甩开了这个框架。1905年相对论来了，时间和空间不再是牛顿那个绝对的舞台。1920年代量子力学来了，微观世界压根不按经典力学那一套走。这两场革命各自另起炉灶，谁也没打算"还原到牛顿"。力学还原论这个大前提，被物理学自己架空了。
大前提一垮，"把全部物理还原到力学"这个宏大版本，就没了立足之地。于是希尔伯特的整个第六问题，只能往回缩，缩到那个还没被新物理波及、仍然老老实实待在力学还原论框架里的角落。这一缩，就缩到了流体。从原子到流体这座桥，两头都是老物理，原子那头是牛顿力学，流体那头是经典的连续介质，中间不掺相对论、不掺量子。它是那套老框架里，唯一还立得住、也还值得做的一块。
那为什么偏偏是流体，而不是同样"老"的热力学或电动力学？因为就算都待在老框架里，这三个的"可做程度"也天差地别。
先看热力学。它的核心难点，是那个折磨了物理学界几十年的悖论，微观定律对时间对称，正着放倒着放都成立，宏观的熵却只增不减、有个明确的时间箭头。这道裂缝是个概念上的死结，缠着一堆哲学纠葛，不像一座提法干净、能指望被严格证明的数学桥。何况它的技术内核，本来就折在原子论和气体动理论里头，用不着单拎出来。
再看电动力学，处境更尴尬。一方面，麦克斯韦方程组已经把电磁现象收拾得相当漂亮，某种意义上自己就是一套公理，用不着再从力学去给它奠基。另一方面，前面2.3节讲过，"电磁到底能不能还原成力学"在当年吵成一锅粥，方向都没定，而这团乱账，五年后就被相对论一锅端了。拿它当地基，等于选一块马上要塌的地。
两个都排掉，就只剩从原子到连续介质这一处，同时占齐了两个好条件，提法足够清楚，而且真有指望被严格证明。所以希尔伯特手指点下去的那个点，是物理学的大势替他挑的。别的路都被堵死，只给他这一条既是老框架、又能严格做的路。他点得精准，可这份精准里，已经藏着退让。
## 3.5 靶子移走了，可上面还印着希尔伯特自己的指纹
上一节说，是相对论和量子力学把力学还原论的框架架空，逼得第六问题一路缩回流体。这里补一个带点反讽的细节，那两场把靶子移走的革命，偏偏都印着希尔伯特自己的指纹。
1915年广义相对论收尾的时候，希尔伯特几乎和爱因斯坦同时，独立写出了那个引力场方程的作用量形式，今天叫爱因斯坦–希尔伯特作用量。1920年代量子力学立起来，它赖以成形的那套数学框架，直接就叫希尔伯特空间，用的是他的名字。这个给二十世纪物理开清单的人，一转身，又亲手参与了那两场让自己清单作废的革命。
也正因为有这两场革命，那个宏大版本才成了真正的死局，而且是原理层面的死局。物理学最深的两根柱子，管大尺度引力的广义相对论，和管微观的量子力学，直到今天彼此还对不上，谁也没法把对方还原进去。给全部物理立一套统一公理这个梦，一百多年了，越看越像一堵墙，而不是一条路。
于是能真刀真枪去攻的，就只剩那个缩小版，从原子到流体这座桥。而这座桥有意思的地方在于，物理学家其实一百多年前就"走通"过它了，走得还挺潇洒，只不过他们靠的是物理学家自己那套糙而管用的手艺，跟数学家要的严格是两码事。物理学家那套手艺到底长什么样，下一章就摊开来看。
# 四、物理学家的手艺
## 4.1 同一杯气体的三个分辨率
上一章结尾埋了个话头，从原子到流体这座桥，物理学家一百多年前就"走通"过了，走的是他们自己那套糙而管用的手艺。这一章，就来看这套手艺到底长什么样。
不过在看他们怎么架桥之前，得先有一张能看清桥两头、也看清中间落脚点的地图。这张地图，就是一个要贯穿全文的画面，同一杯气体，用三档不同分辨率的镜头去看。
第一种是最高清的粒子镜头。你看到10的23次方个分子，每一个都有自己的位置和速度，按牛顿定律飞行、碰撞。信息量大到没有任何计算机能真的追踪。第二种是中等分辨率的统计镜头。你不再盯着单个分子，而是看一团"速度分布的雾"，在空间每一点、每一个速度上，大概有多少分子。数学上用一个函数来描述它，记作f，它同时依赖位置、速度和时间。第三种是最低分辨率的连续镜头。分子全部被抹匀，你只看到密度、流速、温度这三样随空间平滑变化的量，也就是一股连续的流体。
有了这三档镜头，那座桥的模样就清楚了。所谓从原子到流体，就是把镜头从第一档一路拧到第三档，从看得见每颗分子，拧到只看见一股流。这段路不是一步跨过去的，物理学家把它分成前后两截走，先从粒子走到那团雾，再从那团雾走到连续的流。中间那团雾，也就是第二档镜头，正是整座桥的落脚点。下面就一截一截，看物理学家当年是怎么走的。
## 4.2 从台球到玻尔兹曼方程
第一段，从高清粒子走到那团速度的雾。这一段的成果，是十九世纪物理学最漂亮的方程之一，玻尔兹曼方程。
为了能算，物理学家先做了一个大胆的简化，把分子当成一颗颗硬球，也就是理想的弹性小球。平时它们之间没有任何作用力，各飞各的，只在正面撞上的那一瞬间，像台球一样弹开。真实分子之间那条软绵绵的、有远程吸引的作用力尾巴，被干脆利落地扔掉了。这个硬球模型，后面会看到，正是所有严格化工作都采用的模型。
玻尔兹曼
接着是换语言。既然追踪每一颗球没有意义，就改成追踪那团雾，也就是分布函数f怎么随时间变。玻尔兹曼写下的方程，长成下面这个样子。
\partial_t f + v\cdot\nabla_x f = Q(f,f)
别被吓到，它讲的事很朴素。左边说的是分子的自由飞行，没撞上谁的时候，雾就随着各自的速度平移。右边那个Q，是碰撞项，说的是碰撞怎么让雾在各个速度之间重新分配，有的速度上分子被撞走了，有的速度上又被撞进来，一进一出。
麻烦出在右边这个碰撞项上。要算两个分子怎么碰，你得知道它们成对出现的概率，也就是二粒子的分布。可要算二粒子分布怎么变，又得知道三粒子的。要三粒子，又得知道四粒子。这样一层套一层，没有尽头，学界给这个无穷嵌套起了个名字，叫BBGKY层级（五个字母来自提出它的五位物理学家Bogoliubov、Born、Green、Kirkwood、Yvon的姓氏首字母）。你可以把它想成一套永远打不开到底的套娃。它精确，但正因为无穷，没法解。
玻尔兹曼在这里砍了决定性的一刀，这一刀叫分子混沌假设。他假设，两个分子在即将相撞之前，它们的速度是彼此独立、毫无关联的。用这个假设，二粒子的分布就能近似写成两个单粒子分布的乘积，无穷套娃当场被斩断，方程闭合，只剩下关于那团雾f自己的一个方程。玻尔兹曼方程，就是这么来的。
这一刀砍下去，还砍出了一个石破天惊的副产品，时间之箭。玻尔兹曼证明了一个叫H定理的结论，可以写成一句话，H这个量只会随时间下降，不会上升。
\frac{dH}{dt}\le 0
它等价于熵只增不减。这正是我们这个世界那个熟悉的方向感，热总从热的地方流向冷的地方，打碎的杯子不会自己拼回去。
可这里藏着一个后来被人揪住不放的深刻问题。牛顿力学本身对时间是对称的，你把所有分子的速度反向，它们会严丝合缝地倒着重演一遍，没有任何方向偏好。那这个只增不减的时间箭头，是从哪冒出来的。答案藏在分子混沌那一刀里。牛顿力学本身对称，给不出任何方向，是"碰撞之前彼此独立"这个假设，偷偷把时间的方向带了进来。因为这个假设本身就区分了过去和未来，碰撞之前独立、碰撞之后就相互关联了，这句话正着说和倒着说不一样。物理学家洛施密特当年就用这个"你把速度反向会怎样"的诘问，逼问过玻尔兹曼。严格地讲，H定理并没有"证明"时间箭头。它是先把不可逆性当作一个统计假设请进来，再顺理成章地推出熵增。
## 4.3 从玻尔兹曼方程到流体方程
第二段，从那团速度的雾，走到抹匀的连续流体。
关键的物理情形是碰撞极其频繁。当分子间碰撞快到不可思议，任何局部的速度分布都会在一瞬间被撞成一个特定的形状，叫局部麦克斯韦分布。这团雾一旦塌进这个形状，描述它就不再需要无穷多信息，只需要三样东西，当地的密度、当地的平均速度、当地的温度。你看，连续镜头里那三个量，自己浮现出来了。
怎么把这三个量的方程逼出来。物理学家用了一招取矩。拿玻尔兹曼方程，分别乘上三样东西，数字1、分子的动量、分子的动能，再对所有速度积分。这三样恰好是碰撞中守恒的量，一积分，那个讨厌的碰撞项就消失了，干干净净掉出来三条守恒律。
第一条是质量守恒，一小块空间里的分子不会凭空冒出来也不会凭空消失，只随着流速u流进流出。第二条是动量守恒，这块流体的动量，一半被它自己的流动带走，一半被周围的压强ℙ推挤着改变。第三条是能量守恒，跟前两条一个道理，只多冒出一个热流q，管的是热往哪个方向传。这三条式子，正是流体力学方程的骨架。
可骨架还差一口气，它不闭合。你盯着第二、三条看，里面冒出了两个新面孔，压强ℙ和热流q。这两样并不由密度、速度、温度直接定死，它们回过头去，还得看那团雾f长什么形状。也就是说，方程里出现了它们，却没有关于它们的方程，三条式子里塞进了定不下来的未知数，谁也解不动。要给它封口，得请出一套展开。物理学家引入一个小参数，叫克努森数（Knudsen number），粗略说就是分子每次飞行的平均距离，比上你关心的宏观尺度。碰撞越频繁，这个数越小。把那团雾按这个小参数一阶一阶地展开，就是希尔伯特1912年提出的希尔伯特展开，以及稍后由查普曼和恩斯库格各自独立做出的查普曼–恩斯库格展开。
展开的结果漂亮得让人心服。零阶项，也就是那个局部麦克斯韦分布，代进去，出来的正是欧拉方程，理想无黏流体的方程。再算一阶修正，掉出来的正是纳维–斯托克斯方程，也就是真实黏性流体那个方程，飞机绕流、水管里的水，用的都是它。更妙的是，方程里的黏性系数、热传导系数，本来在流体力学里是要靠实验去测的经验参数，现在能直接从分子的碰撞规律算出来，算出的数还和实验对得上。
这里有一个点睛之笔，我第一次真正理解时也觉得漂亮。黏性，这个让蜂蜜比水更黏稠、让流体互相拖拽的性质，在这套推导里根本不是一种基本的力。它是那团雾稍微偏离了局部平衡之后，残留下来的一点偏差，在宏观尺度上表现出来的效果。换句话说，黏性是涌现出来的。这个洞察，第七章还要重提。
## 4.4 物理学家的验收标准
到这儿，物理学家心满意足地收工了。
在他们的验收标准里，这条从原子到流体的链条已经完整。硬球假设讲得通，H定理给出了正确的熵增方向，展开算出的黏性系数对得上实验数据，一条龙下来，物理图景自洽、和真实世界符合，那就够了。对物理学家而言，这不是什么悬案，这是一百多年前就办妥了的事，写进了教科书。
话说回来，这个"收工"可别听岔了。物理学家忙活半天，办成的其实就一件事，把流体那几个方程，从原子这头老老实实推了出来。方程是推出来了，可推出来是一回事，解得开、用得动，又是另一回事。
你手里攥着方程，不等于就能算出水到底会怎么流。这几个方程长什么样是清楚了，可它们到底有没有解、解会不会算着算着自己冲上无穷大，直到今天也没人说得清。纳维–斯托克斯那个悬着一百万美元的世纪难题，问的就是这件事，第五章还会细说。更别提湍流了。你拿勺子搅一下咖啡，那团乱转的漩涡，用这套方程去算，算到今天也算不明白，这场仗没准儿永远打不完，那是第七章的事。
所以这一章说的"收工"，收的只是"把方程写出来"这一小段的工。方程写出来的那一刻，真正难缠的事，才刚开头。
可正是在这个"办妥了"的地方，数学家又皱起了眉头。物理学家那套推导里，藏着一大堆"假设"、"近似"、"大概如此"，每一处在数学家看来都是一张没兑现的欠条。分子混沌凭什么成立，那些展开凭什么收敛，局部麦克斯韦分布凭什么真能达到。物理学家挥挥手就过去的地方，数学家要像考据学家那样一个字一个字地证明。同一条链子，在数学家手里，卡了整整一百多年。这，是下一章的事。
# 五、数学家的洁癖
## 5.1 "算得出"不等于"证得出"
物理学家的推导，是一套形式上的演算，每一步都合物理直觉、结果都对得上实验。数学家要的是另一回事，把物理学家挥一挥手就带过的每一个假设，都升格成一条被严格证明的定理，中间不许有半点逻辑上的窟窿。
这不是数学家闲得慌、故意找茬。物理直觉大多数时候是对的，可它偶尔会在某个特别隐蔽的角落里栽跟头，而麻烦就在于，你事先根本不知道它会在哪儿栽。严格证明干的活，就是把那些"应该没问题"的地方，一个一个坐实成"确实没问题"。
打个比方，物理学家那套推导，像一条走了一百多年、从没出过事的老栈道，天天有人在上面挑着担子来回。数学家不放心，非要钻到栈道底下，一根一根去敲那些支撑的木桩，看它们到底是钉死在岩石里，还是只是虚搭着、碰巧还没塌。从原子到流体这条链，敲下去，底下藏着整整五根没敲实的木桩。下面就一根一根敲过去，每一根，都实打实卡过人。
## 5.2 关口一：分子混沌能不能从牛顿力学里严格浮现
第一根木桩，撑的是玻尔兹曼砍下的那一刀，分子混沌。物理学家假设"两个分子在撞上之前，谁也不认识谁、速度毫不相干"，可这终究只是个假设。数学家要问的是，从一堆老老实实按牛顿定律乱撞的硬球出发，在合适的极限下，这个"互不相干"能不能自己严格地长出来。
这里的极限有个专名，叫玻尔兹曼–格拉德极限，1949年由格拉德（Harold Grad）定下。意思是让分子数目趋于无穷、每个分子的直径趋于零，再让某个组合保持不变，凑出来的正好是稀薄气体那种又多又小、彼此离得老远的情形。
第一记重锤是兰福德（Oscar Lanford）在1975年砸下的。兰福德是位美国数学物理学家，先后在伯克利、法国高等科学研究所和苏黎世联邦理工任教，他另一件同样出名的成就，是用计算机严格证明了混沌理论里的费根鲍姆猜想，那是史上最早的计算机辅助证明之一，可见这是个专啃硬骨头的人。他证明了，在这个极限下，牛顿硬球系统真的会收敛到玻尔兹曼方程。这是历史性的一步，可这一步偏偏带着一道要命的紧箍咒，它只在极短的一小段时间里成立，短到只有分子平均碰上一次所需时间的几分之一。
为什么时间一长就崩，道理并不玄。刚开始，两个即将相撞的分子确实八竿子打不着，"互不相干"站得住。可它们一撞就结下了梁子，各自带着对方的信息飞走，绕一圈说不定又撞回来。时间越长，这种碰过面、留了关联的分子就越多，玻尔兹曼当年那个"互不相干"的假设也就越站不住。兰福德的证明，恰恰得赶在这些关联堆积起来之前收手。这道只管极短时间的紧箍咒，一戴就是将近五十年，几代人想给它松绑都没能松开。
## 5.3 关口二：玻尔兹曼方程自己有没有解
退一步讲，就算你把玻尔兹曼方程当成天经地义，它自己到底有没有解，还是个问题。不过这儿得先拦住一个很自然的疑问，物理学家难道从来没解过玻尔兹曼方程吗，怎么还轮得到数学家来操心它有没有解。
物理学家当然解过，而且天天在解。平衡态那个麦克斯韦分布，本身就是它的一个精确解。工程上，算航天器再入大气、算高真空里的稀薄气流、算芯片里的电子输运，靠的都是玻尔兹曼方程，只不过大多是拿计算机数值求解，或者在简化情形下求个近似解。要说"解方程"，物理学家和工程师是老手。
可数学家问的，压根是另一个问题。物理学家解的，是一道道具体的题，给定初始状态，算出它往后怎么变，而算的时候，他默认这个解是存在的、是唯一的、是规规矩矩独一份。数学家偏不肯默认这一条。他要问的是一个笼统得多、也根本得多的问题，对随便什么合理的初始状态，这个方程到底有没有一个解，有的话唯一不唯一，会不会一直好端端地存在下去。这是方程本身立不立得住的问题，跟解某一道具体的题，是两码事。还是上一节那个比方，物理学家是天天开车在这条路上跑、又稳又熟的司机，数学家是钻到路基底下、非要证明这条路本身不会哪天突然塌方的人。
看清了这个区别，才好说迪佩尔纳（Ronald DiPerna）和里翁斯（Pierre-Louis Lions）1989年那项登在《数学年刊》上的工作到底做了什么，尤其别误会成他们给了一个能拿去算的公式。他们没给。他们做的是一个存在性定理，证明了对相当宽泛的初始状态，玻尔兹曼方程确实存在一个整体解，也就是说，这个解在数学上真的立得住，不是空中楼阁。里翁斯本人1994年拿了菲尔兹奖，这份工作是他获奖成就里的一块，可见有多硬。
可这根木桩，只敲实了一半。他们证出来的解很弱，弱到有个专门的名字，重整化解，它只在一种被抹匀、被平均过的意义上满足方程，你没法保证它处处光滑。更要命的是，他们只证出了"存在"，没能证出"唯一"。同一个初始状态，数学上可能对应好几个不同的解。一杯气体明明只会照一种方式往下演化，方程却允许它有好几个未来，这在物理上根本讲不通，可严格证明到今天也就做到这一步。后来几乎所有相关工作，都只能将就着，站在这块软绵绵的地基上往上盖。
## 5.4 关口三：那个展开凭什么收敛
第三根木桩，撑的是物理学家最得意的那套展开。走到这儿已经隔了好几节，先帮你把这套展开定个位，免得忘了它是打哪儿冒出来的。它就是第四章那座桥第二段里，从玻尔兹曼方程走向流体方程时用的那个东西，物理学家引入小参数克努森数，把速度分布按它一阶一阶往下展开，零阶掉出欧拉方程、一阶掉出纳维–斯托克斯。这套展开有个名字，希尔伯特展开，也叫查普曼–恩斯库格展开。整个从玻尔兹曼到流体的推导，全压在它身上。
现在数学家皱眉的，正是这套展开。物理上它用起来神乎其神，可数学家一看就头疼，这类展开，多半是发散的。
发散听着抽象，其实很好懂。正常的级数，你多加几项，结果就越来越准，最后稳稳收敛到真值。发散的渐近级数反着来，头几项确实越加越准、好得很，可过了某个甜蜜点，你再往下加，结果不但不改进，反而开始疯狂跑偏，越加越离谱。它像一块走时怪异的钟，头几个钟头分秒不差，之后突然乱走。物理学家精，只挑前面那几项准的用，用得很爽。数学家却不能这么干，因为严格证明要求你把无穷多项都摁住、真真切切逼近真解，可这条路，被发散堵死了。
这一下的后果很深。它意味着，想给出严格证明，压根不能顺着物理学家那条展开的老路走。数学家只能另起炉灶，改用一套面目全非的工具，能量方法、熵方法、相对熵方法，绕开那个会发散的展开，从侧面去包抄那个极限。这也是为什么，数学家的证明和物理学家的推导，读起来像两件完全不相干的事。物理学家翻开数学家的论文，常常认不出这讲的还是同一个问题。
## 5.5 关口四：到底收敛到哪个方程，什么意义上收敛
到这一关，会冒出一个让人挠头的问题。第四章不是讲过了吗，物理学家一百年前就用查普曼–恩斯库格展开，把玻尔兹曼方程算成了纳维–斯托克斯，两头对上了，算出的黏性系数还跟实验分毫不差。既然物理学家早就把"这两个解是一回事"给发现了，数学家还在这儿倒腾什么？
倒腾的，恰恰是"发现"和"证明"之间那道天堑。物理学家的发现，是一次形式上的演算，把展开代进方程，一项一项对，纳维–斯托克斯出来了。可上一节刚说过，这套展开是发散的，靠它无穷加下去逼近真解，此路不通。也就是说，物理学家那套"算"，当一个说服人的物理论证足够漂亮，当一个严格的数学证明却站不住。它没能证到一件事，那些真实的、从玻尔兹曼方程解出来的东西，在极限下会不会真的一丝不差地趋近于一个真实的纳维–斯托克斯解。
数学家要补的，就是这个窟窿。他们用不了那套发散的展开，只能绕个大圈另起炉灶。做法是这样，抓住5.3那些好不容易证出来的、真实存在的玻尔兹曼弱解，把它们排成一列，让克努森数一点点趋于零，然后死磕一件事，证明这一列解真的收敛到一个货真价实的纳维–斯托克斯解。用的家伙什，正是上一节结尾点到的熵方法、相对熵方法。粗略说，就是拿玻尔兹曼的解，和一个用纳维–斯托克斯的解拼出来的"标靶"去比，用熵去量两者的差距，再证明这个差距随着极限一路缩到零。同一句"两者相等"，物理学家一展开就"看见"了，数学家却要用一套面目全非的重活，才能一步一步"证到"。
这条路上最扎实的一段，主力是戈尔斯（François Golse）和圣雷蒙（Laure Saint-Raymond），核心结果落在2004年和2009年。他们证明，玻尔兹曼方程那些弱弱的重整化解，在马赫数和克努森数一起趋于零的特定标度下，极限真的是不可压缩纳维–斯托克斯方程的解。这是货真价实的严格结果，可它身上挂着三个折扣，用的是弱解，走的是弱收敛，而且被限死在不可压缩这一种特殊标度里。三个折扣叠一块儿，离物理学家心里那幅又干净又完整的图景，还差着一截。
以上说的，还只是通向不可压缩纳维–斯托克斯这一条路。另一条通向可压缩欧拉方程，走得更磕绊，卡点在激波上。流体里会突然冒出激波，也就是密度、速度陡然跳变的一道间断面，超音速飞机头前那道音爆就是。标准的希尔伯特展开一碰上激波就当场失灵，所以经典推导只在流体处处光滑的时候成立，一旦出了激波就得另想招。后来有人用加强版的展开，配上专门对付激波那一薄层的技术，把带激波的情形也硬啃了下来，但在激波那条缝里头，收敛始终是打了折的。总之这条路是补丁摞补丁，远不如不可压缩那条来得整齐。
## 5.6 关口五：终点那根柱子自己都没拴牢
最后一根木桩，敲下去的动静最哭笑不得，因为它压根不在桥身上，它在桥的另一头。前面四关，卡的都是"从原子走到流体"这段路本身。这一关不一样，它卡的是你辛辛苦苦要抵达的那个终点，纳维–斯托克斯方程自己，到底牢不牢。答案是，没人知道。
三维不可压缩纳维–斯托克斯方程的整体正则性，是克雷数学研究所2000年挂出的七个千禧年大奖难题之一，赏金一百万美元，二十多年了没人领走。它问的事，说出来平平无奇。你给方程一个光滑、规矩的初始状态，一池安安静静的水，让它按方程往下演化，它会不会永远保持光滑，还是可能在某个有限的时刻，自己在某一点上突然炸开，速度冲到无穷大。
这种"炸开"有个专名，叫有限时间奇点。直觉上你多半觉得不可能，一池好端端的水，哪能自己在某一秒、某一点上冒出无穷大的速度。可直觉在这儿不作数，数学家既证不出它永远不会发生，也造不出一个真炸开的反例来。这个口子，一开就是几十年。
于是就落下这么个别扭的局面。你花一百多年，把流体一层层还原到原子，图的就是给流体力学找一块最结实的地基。可你顺着桥走到终点，脚底下踩着的纳维–斯托克斯，自己还是一个悬着一百万美元的问号。桥修到了对岸，对岸拴桥的那根桩子，却还在风里晃。这里其实还埋着一个更大的疑问，一套连自己稳不稳都说不清的方程，凭什么去描述湍流那种极端复杂的流动，这个疑问，留到第七章再算账。
## 5.7 百年时间线
把这五根木桩按时间串起来，能看清这是一场多么漫长的接力，一棒接一棒，跨了整整一个世纪。
1900年，希尔伯特把问题挂了出来。1912年，他自己下场，给出那个形式展开，也就是后来反过来卡住数学家的那一套。1949年，格拉德定下玻尔兹曼–格拉德极限，把"从牛顿到玻尔兹曼"该怎么取极限说清楚。1975年，兰福德拿下这一步，可只管极短的时间。1989年，迪佩尔纳和里翁斯给出玻尔兹曼方程弱弱的整体解。1990年代，一整套系统的攻坚纲领成形。2004年和2009年，戈尔斯和圣雷蒙拿下"从玻尔兹曼到不可压缩纳维–斯托克斯"那一段。之后又是一批人，在长时间、可压缩这些方向上接着啃。然后，时间来到2024和2025。
把这条线摊开看，最扎眼的是中间那道大口子。兰福德1975年攥住的那一棒，只跑了极短一程就交不出去了，分子混沌能不能撑过长时间这道坎，横在半路，一挡就是将近五十年。这中间不是没人试，几代顶尖的分析学家轮番上阵，谁都想给这道紧箍咒松绑，谁都没能松开。整座桥就因为缺了这最要命的一节，硬生生悬了半个世纪。
直到2024年，才有三个人，把兰福德那一棒真正接了下去，一口气跑过了长时间这道坎。他们是谁，又是怎么跑过去的，下一章见分晓。
# 六、二〇二五年的那一击
## 6.1 突破口：把"短时间"推到"长时间"，靠的是什么
真正的技术核心，发生在2024年8月。三位数学家，邓煜、扎希尔·哈尼（Zaher Hani）、马骁，往arXiv上传了一篇长达164页的论文，标题是《从硬球动力学长时间导出玻尔兹曼方程》。
这篇论文干的事，一句话就能说清分量，它把兰福德1975年那个只在极短时间成立的结果，推进到了任意长的时间，只要玻尔兹曼方程本身还有解，这个从牛顿力学出发的收敛就一直成立。那道卡了将近五十年的短时间紧箍咒，被摘掉了。第五章那五道关口里，这是卡得最久、也最硬的一道。
他们到底是怎么把这道关撬开的，稍微科普一下。先得记起这道关口的敌人是谁。第五章说过，兰福德的证明一到长时间就崩，是因为分子撞过之后会"结下梁子"，各自带着对方的信息飞走，绕一圈又撞回来。时间越长，这种碰过面、留了关联的分子就越多，玻尔兹曼那个"互不相干"的假设也就越站不住。所以想征服长时间，核心只有一件事，把这些层层累积的关联管住。
难就难在，时间一长，一群分子之间可能发生的碰撞先后顺序，这样的分子碰撞数多到天文数字。你可以想象成一张越画越密、岔路无穷的碰撞路线图，要一条条追踪，根本追踪不过来，这正是当年那套无穷套娃卡死人的地方。
邓煜他们的招，粗略说是两步。第一步，他们不去死追每一个分子，改成给"分子之间到底纠缠得有多深"专门记一本账，用的工具叫累积量。你可以把它理解成一套精细的关联账本，两个分子之间有多少关联、三个分子之间有多少、四个之间有多少，分门别类记清楚，而且这本账能一路记住完整的碰撞历史。
第二步是关键的一刀。他们发明了一套"切割"的办法，把那张密密麻麻的碰撞路线图按危险程度分类。绝大部分路线是"新鲜"碰撞，撞完各奔东西，不制造麻烦，分子混沌照样成立。少部分是"危险"路线，也就是那些绕回来重新相撞、专门制造关联的。真正的突破在于，他们严格证明了，这些危险路线加在一起，分量小到可以忽略，会在计算里彼此抵消掉。危险的那部分既然被摁住，分子混沌哪怕不是分毫不差，也足够撑过任意长的时间。这套让危险项相互抵消的结构是打哪儿来的，是下一节的故事。
要提醒一句，撬开的这道关口，适用的对象仍然是那个经典的稀薄硬球气体，这个限定后面还要反复提。
## 6.2 灵感从哪来
一个卡了五十年的坎，凭什么被这三个人跨过去。灵感的来路，是个好故事。
邓煜和哈尼此前一直在做一个看起来不相干的领域，波湍流，研究的是大量波彼此相互作用时的统计规律，用的方程叫波动动理学方程。他们把这套研究波的技术，反过来用到了粒子系统上。原本大家习惯拿粒子去类比波，他们倒过来，拿处理波的工具来收拾粒子。
据中文媒体对邓煜的采访转述，最关键的顿悟，发生在他吃韩式炸鸡的时候。他当时想的还是波湍流那边的问题，琢磨如果把一个时间段的推导从长度 τ 延长到2τ 会发生什么，忽然意识到那里存在一种奇妙的抵消，而这个抵消恰恰对应着时间的箭头。上一节说的那个"让危险碰撞项彼此抵消"的结构，源头正是这一下。这个在波的世界里悟到的抵消机制，后来被搬到了粒子系统，成了打通长时间那一步的钥匙。这里得诚实交代，这个逸闻来自中文二手采访，而且那顿炸鸡想通的是波湍流那一步，不是直接把第六问题解决了，别把它读成"吃着炸鸡就解决了世纪难题"。
这套东西的数学细节极其艰深，一百多页的论文密不透风，连行内人都要专门开研讨班，一页一页啃才消化得动。
## 6.3 两段接通
2024年那篇打通了第一段，牛顿到玻尔兹曼的长时间收敛。剩下第二段，玻尔兹曼到流体，前人已经铺得差不多。2025年3月，同样三位作者又上传了一篇，标题直接就叫《希尔伯特第六问题：经由玻尔兹曼动理学导出流体方程》。
这篇论文把两段正式接了起来。第一段用他们2024年的新结果，从牛顿硬球系统推到玻尔兹曼方程并撑住长时间，第二段调节碰撞频率，从玻尔兹曼方程推到流体方程，最终严格导出了可压缩欧拉方程和不可压缩纳维–斯托克斯–傅里叶方程。从原子到流体那座桥，第一次被从头到尾、一板一眼地走通了一遍。消息传开，整个数学圈都轰动了。
## 6.4 五道关口，到底关了几道
热闹归热闹，这里得停下来，算一笔冷静的账。第五章立了五道关口，2025年这一击之后，是不是五道全平、连那道短时间难题也一并了结，从此天下太平。答案是没有，远没有。真实的情况，比"全平了"要参差得多。
先说被真正砸开的那一道。关口一，从牛顿力学严格推出分子混沌、并且撑住长时间，这是邓煜他们的主战场，也是卡了五十年、最硬的一道。这一道，在稀薄硬球气体这个设定里，可以说是被拿下了。这是整件事分量最重的地方。
可另外几道，情况各不相同。关口二，玻尔兹曼方程有没有解，前面讲过，迪佩尔纳和里翁斯只证到了"存在"，"唯一"至今没人证得出来，这道关到今天还半开着。关口三，那个发散的展开，压根就没被"解决"过，它是被绕开的，更像一块此路不通的警示牌，一直立在原地。
再往下，关口四，从玻尔兹曼到底收敛到哪个流体方程，靠的还是戈尔斯和圣雷蒙那套带着三个折扣的老结果，弱解、弱收敛、只限不可压缩标度。邓煜他们把自己的新结果接了上去，可这三个折扣并没有因此消失。最后一道，关口五，纳维–斯托克斯自己牢不牢，那还是克雷研究所悬着的百万美元难题，跟2025年这一击半点关系都没有，纹丝没动。
所以准确的说法是这样。邓煜他们砸开的，是那道卡得最久、挡住全局的关口一，然后把它接到本就存在、却带着折扣的下游结果上，头一回拼出了一条从原子到流体、端到端走得通的严格链。这是了不起的成就。可这条链只在稀薄硬球气体这个理想设定里成立，脚下还踩着关口二、关口五这些自己都没夯实的地基。所以要说"第六问题被解决了"，得把这一长串限定条件全念出来，才不算把话说过头。
## 6.5 作者本人的克制
轰动之下，作者们反倒是最冷静的。这一点特别重要，因为它直接关系到这篇文章后半段要问的"到底重不重要"。
他们非常清楚自己证的是什么、没证的是什么。论文标题和摘要都把结论严格限定在一条特定路线上，经由玻尔兹曼动理学、从牛顿定律导出流体方程。也就是说，他们走的是稀薄硬球气体这一个特定模型、玻尔兹曼这一条特定路径。据中文媒体报道，马骁说这篇论文引起这么大轰动，完全出乎他们意料，邓煜甚至把推导玻尔兹曼方程称作一次"无心之举"。他们做的，是第一次在这个特例下把这条链子严格打通，而不是宣布整个第六问题就此终结。
值得把这个限定再往下说透一层，因为它正是后半段"到底重不重要"那场讨论的引信。稀薄硬球气体，稀薄到什么地步，是分子的体积占比趋近于零那种极度稀薄。你后面就算再做一次流体标度，落到手里的，也还是一个被重新标度过的稀薄气体，离你真正喝的那杯水，那种分子挤挤挨挨的稠密流体，中间还隔着一层没打通。也正因如此，有人主张，严格讲这还算不上把第六问题"解决"了，顶多是在一个高度理想化的特例里，头一回把它走通了一遍。这个保留意见站得住，得搁在心里。
## 6.6 现状，以及一点科普的诚实
最后说说现状，尽量诚实。
2024年那篇玻尔兹曼方程的长论文，已经被《数学年刊》接收，也就是过了最严格的同行评审这一关，只是还没正式刊印。2025年那篇流体方程的论文，据报道仍在审稿中，评审觉得证明太艰深难懂，作者正在做简化。同行也在认真消化，已经有专门的阐释性长文出来，一步一步复述和检验他们的工作。要说一句公道话，到今天为止，主流数学界没有谁对这个证明本身挑出技术上的硬伤，真正认真的分歧，都集中在上一节那个"够不够格叫解决第六问题"的诠释层面，而那更多是一场言辞之争，不是数学之争。总体上，学界的态度是正面而审慎的。
本文开头说的那份泄露的菲尔兹奖名单，四个名字里就有邓煜，网上都在传，他就是凭这项从原子到流体的工作拿下的。菲尔兹奖是数学界的最高荣誉，分量约等于数学界的诺贝尔奖。等大会正式官宣，这条证明就将实打实地换来一块奖章。可奖章再重，也答不了这篇文章最想问的那个问题，这项工作到底重不重要。我们在接下来两章讨论这个问题。
# 七、这重要吗（上）：还原主义的胜利，还是涌现的胜利
## 7.1 两个方向：拆解和重建
要评价这件事的分量，先得看清它到底做了哪个方向的活。世界的层级之间，有两个方向的通道，一个叫拆解，一个叫重建。
拆解，是从宏观往微观走。你把一杯水的性质，归因到水分子的行为，把生物的遗传，归因到DNA的碱基排列。这个方向相对好走，因为你是在把复杂的东西打散成简单的零件，零件的规律往往更干净。近三百年科学的主流叙事，还原主义，走的就是这个方向，而且战果辉煌。
重建，是反过来，从微观往宏观走。你手里只有那些简单零件和它们的规律，要从零把上层那个复杂现象严格地搭出来。这个方向难得多，难到大多数时候人类根本做不到。而希尔伯特第六问题这座桥，要的正是最难的重建方向，从原子的力学，重建出流体的方程。理解了这一点，你才会明白2025年那一击的技术含金量，也才会看清它真正的边界在哪。
## 7.2 这算"还原主义赢了"吗
于是有了第一个显著性问题。邓煜他们成功地从微观重建出了宏观流体，这是不是意味着还原主义大获全胜，证明了"万物皆可从底层定律推出"。
答案要非常小心。他们证明的，是在稀薄气体这个特定情形里，流体可以严格地还原到牛顿力学。这是一个特例。而媒体标题很容易把它偷偷升级成一个全称命题，仿佛整个流体力学、乃至整个物理世界，都被证明能从原子重建出来。这两者之间隔着十万八千里。
这个偷换，读者得自己手动纠正回来。他们打通的是一间样板房，一间条件极其理想的样板房。样板房盖成了，是了不起的成就，但它证明不了"所有房子都能这么盖"。恰恰相反，接下来你会看到，正是这间样板房为什么能盖成的原因，暴露了绝大多数房子为什么盖不成。
## 7.3 安德森登场
要把这层意思讲透，得请出一篇物理学史上分量极重的短文。1972年，后来拿了诺贝尔物理奖的安德森（Philip Anderson），在《科学》杂志上发表了一篇只有四页的文章，标题叫《多者异也》，英文原题More is Different。
安德森这篇文章，一句话就能概括它的锋芒。能把万物拆解回几条基本定律，并不等于能从这几条基本定律出发，把万物重新搭建起来。这两件事之间，横着一道深渊。每当你从一个层级爬到更高一个层级，粒子变成原子、原子变成分子、分子变成生命，都会涌现出全新的规律和概念，这些规律没法简单地从下一层预言出来，需要同等的创造力去重新发现。他举的例子是，就算你把单个氦原子研究得透透的，你也没法据此预言一大堆氦原子在低温下会变成没有黏性的超流体。
安德森这篇文章，成了反对"强还原主义"、拥护"涌现"的一面旗帜。而希尔伯特第六问题这件事，恰好可以放在安德森的天平上称一称。它到底是在为还原主义添砖加瓦，还是反过来印证了安德森。
## 7.4 为什么玻尔兹曼这条路是"幸运的特例"
要称这个分量，得先问，凭什么邓煜他们能把这间样板房盖成。答案是，从原子到流体这条路，同时占了三个天大的便宜，而这三个便宜，绝大多数涌现现象一个都摊不上。
第一个便宜，是守恒律直接送来了宏观变量。分子碰来碰去，有三样东西雷打不动地守恒，质量、动量、能量。宏观世界那几个变量，密度、流速、温度，正好就是这三样守恒量的化身。微观和宏观之间，有一座现成的桥墩，不用你去凭空发明该用哪些量来描述上层。
第二个便宜，是相互作用极其简单。硬球模型里，分子平时互不理睬，只在接触的一刹那弹一下，作用是短程的、干净的。这让"两个分子的碰撞"成了一个可以精确计算的孤立事件。
第三个便宜，是系统充分混合、没有长程关联。稀薄气体里分子四处乱飞，任何局部的秩序都会被迅速的碰撞抹平，分子混沌那个"彼此独立"的假设才有机会近似成立。
三个便宜叠在一起，才有了那座能被严格证明的桥。这不是普遍规律，这是天时地利人和凑齐的一次幸运。
## 7.5 别的涌现，为什么学不来
把这三个便宜记在心里，再去看别的涌现现象，你会发现它们几乎每一个都缺胳膊少腿，学不来这条路。
先看湍流。它就在流体力学内部，仅仅比层流高了一个层级，可它把三个便宜里最关键的那个弄丢了。湍流里没有一组简单的守恒量能当宏观变量，能量在大大小小的漩涡之间层层传递，跨越无数尺度，纠缠不清。同一栋楼，只往上爬了一层，桥就塌了。这也正是为什么纳维–斯托克斯的那个千禧年难题至今无解。
再看高温超导。它是强关联电子系统，电子之间的相互作用又强又长程，你根本没法砍下分子混沌那样一刀，把关联忽略掉。第二个和第三个便宜同时告吹。
再看临界现象，比如水在沸点附近的样子。那里的涨落跨越所有尺度、彼此关联，得动用一套完全不同的数学，重整化群，才能对付。玻尔兹曼那套展开在这里毫无用武之地。
至于生命、意识这些更高层级的涌现，那就更是另一个世界了，从下层严格重建它们，人类连路的方向都还看不清。这里有一个让人清醒的规律，几乎每一种重要的涌现，都要求人类去发明一套专属于它自己的数学。玻尔兹曼这条路的成功，非但不是通用钥匙，反而衬出了这些钥匙有多难配。
## 7.6 反转：它其实印证了安德森
绕了一圈，答案反转过来了。
2025年这一击，表面看像是还原主义的一次凯旋，从最底层的牛顿定律，重建出了上层的流体方程。可你把它为什么能成功的原因摊开看，它的成功，死死依赖于那三个特殊到近乎苛刻的便利条件。条件齐了，重建就走得通。条件一旦不齐，也就是真正的复杂性一登场，这条路立刻失效。
所以这件事的深层意义，恰恰站在安德森那一边。它是一个绝好的例证，证明了微观到宏观的严格重建，只在极其受限、极其幸运的情形里才办得到。它不是还原主义"万物皆可重建"的证据，它是"重建只在样板房里成立"的证据。人类第一次，在最友好的那间样板房里，把从微观到宏观的严格重建走通了一遍。而这次成功恰好告诉我们，外面那些更像样的房子，为什么大概率永远盖不成。
# 八、这重要吗（下）：数学家的自娱自乐，还是真对物理有用
## 8.1 先说难听的：对物理学家，它没用
上一章从科学哲学的高度掂量了它的意义。这一章换个更接地气、也更不留情面的角度，问一句大白话，这个证明，对物理学家、对工程师，到底有没有用。
先说最难听的。它没有给物理学任何一件能"用"的新东西，没有预言任何新现象，没有算出任何一个新的物理量，没有让任何一项工程计算变准哪怕一丝。一个设计机翼的工程师，一个跑天气模型的气象学家，完全可以对这篇164页的论文一无所知，照样把活干得漂漂亮亮。要问"对物理有没有帮助"，答案就是这么干脆，没有。
网上给它安的那几种用处，也大都经不起推敲。有人说它划清了流体力学的适用边界，可流体力学什么时候失效，物理学家早就门儿清，这是确认，算不上发现。有人说它证明了黏性能从微观算出来，这功劳张冠李戴了，黏性从分子碰撞里算出来，是查普曼和恩斯库格一百年前的物理成就，这次严格化只是给那个老结果补了张数学证书，没算出任何新数。还有人张口就说它对人工智能有启发，这话十有八九是蹭热点，真追问怎么启发的，多半答不上来。
把这些泡沫先撇干净，才好谈它真正的分量。因为"对今天的物理没用"，离"没用"还差着十万八千里，这里头藏着一个数学史上一再上演的故事。
## 8.2 可"没用"不等于"没用处"：想想分析学
回到第二章讲过的那件事。微积分被牛顿、莱布尼茨用了一百多年，物理学家拿它算天体、算力学，用得风生水起，可它的地基一直虚着。后来柯西、魏尔斯特拉斯下大力气把它严格化，补上那套 ε 和 δ 的语言。这件事，当时对物理学家有用吗，几乎没有。物理学家该怎么算还怎么算，一个 ε–δ 也不会让行星轨道算得更准一分。
可就是这桩"对物理没用"的严格化，反手给数学自己长出了一大片新地。为了把分析讲严格，数学家被逼着去搞清楚"实数到底是什么""无穷是什么""集合是什么"，于是有了集合论、测度论、拓扑学、泛函分析。这些东西刚冒出来时，同样像是数学家关起门来的自娱自乐，跟真实世界不沾边。
真正的反转，在几十年后。1920年代量子力学横空出世，物理学家发现手头竟没有趁手的数学语言去描述它，而现成好用的那套，恰恰就是当年那个"没用"的泛函分析。希尔伯特空间、算符、谱理论，严丝合缝地成了量子力学的骨架。当年为严格化分析而造的抽象工具，几十年后成了另一门物理的地基。集合论、测度论之于概率论，也是同一个剧本。
这个剧本一再上演，一套当下看不出用处的基础数学，隔上几十年，往往会变成某门后来学科的命根子。看懂了这个剧本，再回头看邓煜他们这套从原子到流体的严格化，问题就变了，它生出来的那些新工具，将来会成为谁的地基。
## 8.3 这一次，接盘的很可能是 AI
先看它生出了什么工具。为了严格驯服"分子混沌"，这条线上攒下了一整套专门对付"大量个体在随机碰撞中如何涌现出集体行为"的数学，其中最核心的一样，叫混沌传播，就是分子混沌的严格版。这套工具早已溢出气体，成了偏微分方程和概率论里的通用家伙什。
而它下一个落脚的地方，很可能就是人工智能，这一点对搞AI的人尤其值得留意。深度学习的结构，跟这篇文章讲的那座桥，像得惊人。底层是海量的神经元和权重，靠梯度下降一点点调整，活像那10的23次方个按规则乱撞的分子。顶层则冒出scaling law、能力涌现这些谁也没直接设计过的宏观现象，活像那股从分子里浮现出来的连续的流。而横在中间、谁都想跨过去的那道坎，恰恰是同一个问题，怎么从底层的训练动力学，严格推出顶层的规律。
这不是牵强的比喻，桥已经在修了。2018年前后，一批人做出了"神经网络的平均场理论"，把一个极宽网络里的神经元当成一团"粒子气体"，于是训练时权重的演化，就变成了描述这团粒子分布如何流动的一个方程，数学形式正是动理论里那类方程，而撑起它的，还是那把老钥匙，混沌传播。给玻尔兹曼、给希尔伯特第六问题打地基的那套数学，如今真真切切地被搬去分析大模型的训练了。
当然得泼一盆诚实的冷水，而这盆水正好把整篇文章收了回来。平均场那套目前也只在最理想的情形里管用，网络无限宽、层数很浅。真实的深层大模型，要严格地从权重推出scaling law和涌现，还远远没做到。更要命的是，它很可能就属于上一章讲的"湍流那一类"涌现，守恒量、小参数、干净的分层统统没有，那堵墙也许就横在那儿。AI的涌现，到底是玻尔兹曼那种能被还原的幸运特例，还是湍流那种也许永远还原不了的硬骨头，今天没有人知道。工具可以借，可难题不会因为借了工具就自动松口。
## 8.4 还有一重价值：不在"算"，在"懂"
对物理没用、对未来的学科可能有大用，这是工具层面的账。除此之外，它还有一重更安静的价值，不在"算"，在"懂"。
人类对这个世界，一直握着两套打架的描述。一套是微观的力学，时间完全可逆，正着放倒着放都成立。另一套是宏观的热力学，时间有明确的箭头，熵只增不减，覆水难收。两套都对，都被无数实验验证过，可它们在"时间到底有没有方向"这件根本的事上，公然冲突。这是一道物理实验永远问不出来、却又真实存在的地基裂缝。从原子严格推出流体，本质上就是在回答，这两套描述讲的到底是不是同一个世界。
这道裂缝，正是玻尔兹曼用一生去填的那道。底层的力学明明对时间对称，宏观世界为什么会长出一个不可逆的箭头，他给的答案是那个统计式的解释，熵增只是概率上压倒性地更可能。可在原子还没被公认的年代，这个答案被同行猛烈围攻，他为此心力交瘁，最终自杀，墓碑上刻的S等于k乘以log W，正是这套解释的心脏。一百二十五年后，邓煜他们在数学上补的，正是最硬的那一块，在一个特例里，第一次严格证明了那个不可逆的箭头，能从可逆的微观里合法地长出来。玻尔兹曼当年靠直觉坚信、却拿不出证明的东西，被后人隔着一个多世纪接住了。这种价值，常规的评价体系衡量不了，可它一点都不轻。
## 8.5 一个"地基检测"的类比
用一个类比来收束这两章的讨论，也许最贴切。
流体力学这栋楼，一百多年前就盖好了，而且住得好好的，工程师在里面办公、算飞机、报天气，从没出过事。数学家这次做的，不是给这栋楼加盖一个新楼层，那样才会给住户带来新东西。他们做的，是第一次拿着最严格的仪器，钻到地下室，去检测这栋楼的地基到底扛不扛得住。
对楼里的住户来说，这次检测毫无影响，房子还是那个房子，该怎么住怎么住。从这个意义上，说它是自娱自乐，没错。可对于"我们凭什么敢住在这栋楼里"这个最根本的问题，这次检测的分量一点都不轻。它头一回告诉我们，至少在这一小片地基上，楼是站得住的。何况，为检测这栋老楼的地基而磨出来的那套仪器，说不定哪天就被搬去，给隔壁那栋叫AI的新楼探地基了。
## 8.6 把希尔伯特请回来
最后，把希尔伯特本人请回来，为这场"重不重要"的争论做个了断。
一个关键的事实常被忽略。希尔伯特1900年要的，从来就不是"算出流体方程"。流体方程物理学家早就写出来了，用得好好的，他要的是这套算法的严格性，是那张数学证书。换句话说，第六问题从它诞生的第一天起，就是一个数学家式的问题，不是一个物理学家式的问题。它天生就不打算给物理学家提供任何新的计算工具。
想清楚这一点，那场"数学家自娱自乐还是真有用"的争论，就化解了大半。说它是数学家的事业，完全正确，但那是"替所有人守住严格性底线"意义上的事业，是有人愿意钻到地下室去，把大家都默认没问题的地基，认认真真验一遍。这不是关起门来玩游戏，这是一种分工，一种对"我们凭什么相信自己知道的东西"的负责。而历史一再证明，这种看似无用的分工，攒下的家伙什往往在几十年后，成了某门新学科站起来的地基。希尔伯特把这份活派了出去，一百二十五年后有人交了第一份合格的样本，而这份样本里磨出来的手艺，此刻正被搬向AI。
# 全文总结
希尔伯特当年面对的，是一个极其宏大的场景。他想给整个物理架起一套严格的公理，让物理像他刚收拾干净的几何那样，从几条不证自明的根基出发，把一切宏观现象都严格推导出来。
可物理自己发展得太快。他1900年提问之后没几年，相对论和量子力学接连登场，把他那套"万物还原到牛顿力学"的框架整个甩在了身后，希尔伯特那个宏大的版本，也就没了立足之地。于是整个第六问题只能往回缩，缩到一个还老实待在老框架里的角落，从原子论和牛顿力学出发，严格推出流体力学。这就是它一百多年里真正被人反复攻打的那个战场。
这条从原子到流体的路，拆开是两段，先从一大团乱撞的分子，走到描述它们统计行为的玻尔兹曼方程，再从玻尔兹曼方程，走到我们熟悉的欧拉方程和纳维–斯托克斯方程。这两段，物理学家早在一百年前就用自己那套又糙又灵的手艺走通了，连算出的黏性系数都跟实验分毫不差。可数学家不认这套，物理推导里那些"假设""近似""大概如此"，在他们眼里全是没兑现的欠条。于是数学家另起炉灶，从头搭一套严格证明，一道关口一道关口地啃，前后接力了一个多世纪。最难的一道，是从牛顿力学严格逼出"分子混沌"、还要让它撑过长时间，这道坎从1975年兰福德那一步之后，整整卡了将近五十年。
真正把它跨过去的，是这篇文章的三位主角，邓煜、哈尼和马骁。他们从自己做波湍流的经验里，借来一套记录碰撞历史、让危险关联相互抵消的技术，2024年先把兰福德那道短时间紧箍咒推进到任意长的时间，2025年又把两段接通，头一回从原子这头，一板一眼地推出了流体方程。据那份泄露的名单，邓煜正是凭这项工作拿下今年的菲尔兹奖。但他们自己也说得很实在，这条链只在最理想、最特殊的一种情形，稀薄的硬球气体里走得通，离真实世界里那种分子挤挤挨挨的稠密流体，还隔着一层。
那这件事到底说明了什么？是还原论赢了，还是涌现论赢了。答案是，都还没定，甚至恰恰相反。它证明了微观到宏观的严格重建，只在守恒律现成、相互作用简单、系统充分混合这三样便宜都凑齐的幸运特例里，才勉强办得到。可一旦离开这个样板间，湍流、真实的液体、生命、乃至今天大模型里的scaling law和能力涌现，那道从底层通向高层的坎，还是没人跨得过去，每一种似乎都要人另发明一套专属的数学。所以邓煜他们这一击，表面看像还原论的凯旋，骨子里却给安德森那句"多者异也"添了一个最硬的注脚，还原只在最友好的情形里才成立。还原论和涌现论的这场拉锯，远没有分出胜负。
至于它到底有没有用，也一样悬着。对物理学，它没添一个新公式、一个新预言，工程师照旧可以不必知道它的存在。可回看历史，当年为严格化分析而生的那套抽象数学，几十年后成了量子力学的地基。而这一次，从"分子混沌"里磨出来的工具，眼下已经被搬去分析大模型的训练了。它究竟会不会成为AI的地基，还是像对物理那样，终究只是一份漂亮的证书，此刻一切都还在观察之中。
## 作者其它文章（选）
- RAG：从前世今生到技术全景
- 什么是信息论？它和AI是什么关系？
- AI可解释性综述
- AI for Science 详细介绍（中）：资本与格局
- Skill是什么：写给零基础
- 元宇宙衰亡史：炒作，破产，谁赚走了钱？
- AI 大V 人物小传（下）
- 区块链的叙事是如何崩塌的
- 人工智能的工程全景（下）：Agent 全解
- 美国风险投资简史
- 一篇文章讲清楚美国的移民系统
- 一文讲清楚美国医疗系统
- 细说美国的华人老钱家族
- 美国的犹太人和华人分别抢到了什么资源？详细分析
- 一篇文章看懂美国教育全生态
- AI圈大V名单（名单不断扩充中）
- 什么是控制论？控制论是AI的上辈子吗？
- 祖父积分学概论
- 教宗良十四世论人工智能（精华版）
- Vibe Reading：AI 时代读书的系统化方法
## 相关链接
- [snowboat](https://x.com/snowboat84)
- [@snowboat84](https://x.com/snowboat84)
- [8.8K](https://x.com/snowboat84/status/2077249534049259588/analytics)
- [RAG：从前世今生到技术全景](https://x.com/snowboat84/status/2076868301809225932)
- [什么是信息论？它和AI是什么关系？](https://x.com/snowboat84/status/2075781603847188852)
- [AI可解释性综述](https://x.com/snowboat84/status/2075374060637503560)
- [AI for Science 详细介绍（中）：资本与格局](https://x.com/snowboat84/status/2075095303389413496)
- [Skill是什么：写给零基础](https://x.com/snowboat84/status/2074652382299132237)
- [元宇宙衰亡史：炒作，破产，谁赚走了钱？](https://x.com/snowboat84/status/2074278858988380322)
- [AI 大V 人物小传（下）](https://x.com/snowboat84/status/2073554517065609544)
- [区块链的叙事是如何崩塌的](https://x.com/snowboat84/status/2073195935883288671)
- [人工智能的工程全景（下）：Agent 全解](https://x.com/snowboat84/status/2072831459925307704)
- [美国风险投资简史](https://x.com/snowboat84/status/2072469163852124401)
- [一篇文章讲清楚美国的移民系统](https://x.com/snowboat84/status/2057980486501433383)
- [一文讲清楚美国医疗系统](https://x.com/snowboat84/status/2055081426744422697)
- [细说美国的华人老钱家族](https://x.com/snowboat84/status/2062326581776011623)
- [美国的犹太人和华人分别抢到了什么资源？详细分析](https://x.com/snowboat84/status/2063049247805837815)
- [一篇文章看懂美国教育全生态](https://x.com/snowboat84/status/2054359249917210633)
- [AI圈大V名单（名单不断扩充中）](https://x.com/snowboat84/status/2069206740546343372)
- [什么是控制论？控制论是AI的上辈子吗？](https://x.com/snowboat84/status/2064496706042069340)
- [祖父积分学概论](https://x.com/snowboat84/status/2056533111983493136)
- [教宗良十四世论人工智能（精华版）](https://x.com/snowboat84/status/2059434342745866391)
- [Vibe Reading：AI 时代读书的系统化方法](https://x.com/snowboat84/status/2050008577511973253)
- [Upgrade to Premium](https://x.com/i/premium_sign_up)
- [12:30 PM · Jul 15, 2026](https://x.com/snowboat84/status/2077249534049259588)
- [8,825 Views](https://x.com/snowboat84/status/2077249534049259588/analytics)
---
*导出时间: 2026/7/15 21:59:31*