← Hub
中文 EN
// Synthesis · Syn 1

熵:五个房间里的同一个数

BigCat · 2026-07 · 跨站合成
在这个 Hub 里,「熵」出现在至少六个互不相干的站上。物理站在数微观排布,数学站在量不确定性,AI 站把它当损失函数训练模型,元知识站说生命是抗熵机器,精读站说意识的默认状态是精神熵。

有意思的地方在于,这并不是一个词被几拨人各自借去用。在其中四个房间里,它们算的是同一个数——不是形式相似,是差一个换算常数的同一个数。这篇文章想讲清楚这件事为什么会发生,以及一个学科的结论能这样搬到另一个学科去,到底换来了什么。至于第五个房间,它借走的只是这个词的形状;那件事放在最后谈,因为要说清它借了什么,得先说清有什么可借。

1. 五个房间

先不下定义,先站进去看看。

第一个房间是一间实验室。桌上一杯温水放着,热量从水流向空气,从不倒流。可你把牛顿方程、麦克斯韦方程、薛定谔方程全写出来,会发现没有一条区分时间的方向——把 t 换成 −t,方程照样成立。杯子会摔碎,却不会自己拼回去。整个物理学里,只有一条定律知道时间朝哪边走。

第二个房间是 1948 年的贝尔实验室。数学家香农在问一个纯工程问题:一条消息最少要用多少个 0 和 1,才能无损地穿过一根电线?他写下一条公式来量「有多不确定」,然后发现自己写下的,正是七十年前物理学家玻尔兹曼刻在墓碑上的那条公式。

第三个房间是一台正在跑训练的 GPU。屏幕上有个叫 loss(误差)的数字,从 10.8 一路掉到 2.3。它不是一个无量纲的进度条:它量的是「用模型眼里的世界去编码真实文本,平均每个词要花掉多少信息」。熵在这里不再是被观察的量,而是被优化的目标。

第四个房间是一个细胞。它把散乱的原子组装成膜、蛋白质、DNA,有序度逆势上升,看上去像在违抗热力学第二定律,也就是那条说「混乱只会增加、不会自己减少」的定律。它并没有违抗:它只是把更多的无序倾倒给了环境,账在更大的范围里平掉了。

第五个房间是一个人的脑子。这人刚放完一个无所事事的假,却比上班时更焦躁:涌进意识的杂念和自己的目标打架,注意力被搅成一团。心理学家给这个状态起了个名字,叫精神熵。

把这五个场景摆在一起,最容易问出口的是「它们有没有关系」。但这个问题问得太浅。真正奇怪的地方在于:分子、字母、词、细胞,这四样东西没有任何共同的物质基础,为什么同一套数学能同时管住它们?

2. 物理:熵是一个能数出来的数

要回答那个问题,得先把「熵 = 混乱」这个口号拆掉。它好用,但它把熵讲成了一种形容词,而熵其实是在数数。

S = k log W

玻尔兹曼 1877 年的这条式子后来刻在了他的墓碑上。S 是熵,k 是玻尔兹曼常数(把点数换算成物理熵单位的汇率),W 是微观状态数——和你看到的这个宏观样子(同样的温度、压强、颜色)完全相容的分子层面排布方式,一共有多少种。一副整齐排好的扑克只有寥寥几种排法,看着乱的排法有天文数字那么多;你闭眼洗牌几乎不可能洗回整齐,不是因为「乱」有什么魔力,纯粹因为乱的排法多到压倒性。

有两件事后面要用到,其余的留给源页。

第一,第二定律不是铁律,是概率律。它没说熵绝不可能减少,只说熵减少的概率小到荒谬——一杯温水自发分成冷热两半并不违反任何力学定律,只是对一杯约 10²³ 个分子的气体,等它发生所需的时间远远超出宇宙的年龄。真正让这条定律硬起来的就是 10²³ 这个数量级:一条概率陈述,在这个量级上成了实践中的铁律。这个「硬」有个能算的度量——相对涨落按 1/√N 衰减:N 是一百时能量抖动约一成,到 10²³ 时小到任何仪器都测不出。反过来说,N 一小,涨落就回来当主角,纳米机器和细胞里的分子马达就活在涨落的海里。热力学那些铁律没有一条是铁的,只是大数把它们压得看不出破绽。

第二,熵不是物体自带的属性。同一杯水,你只关心温度和体积,它的熵很大;你若能逐个记下每个分子的位置和速度,它就只有一种微观态,熵为零。所以要算一个熵,你必须先声明按什么宏观变量把微观态打包——这层「看得多粗」叫粗粒化,是列公式前的第一步,不是哲学。(物理学家卡洛·罗韦利在《时间的秩序》里把这一点推到了极致,主张连「过去与未来的分别」本身都源于这层模糊。那是一条极有魅力、但学界远未公认的猜想。)

源页 → 时间之箭为何只有熵这一条定律给得出、第二定律的三张脸、洛施密特佯谬与庞加莱回归的完整回应:物理 · 熵与时间之箭(Day 7)热与温度(Day 6) · 罗韦利那一击的完整论证与反对意见(Albert、Carroll 一系为何认为它有循环论证之嫌):好书精读 ·《时间的秩序》(Read 18) · 玻尔兹曼分布、配分函数,以及 1/√N 涨落律为什么让宏观世界看起来是确定的、临界点上它又如何大到肉眼可见:物理 · 统计力学(Day 8)

3. 信息:走另一条路,走到同一个地方

H = −Σ p(x) log₂ p(x)

香农 1948 年研究通信时写下的这条式子,量的是一个概率分布的平均惊讶度,单位是比特——一比特就是用一道是非题把可能性砍掉一半所需的信息量。熵在这里同时是两个东西:揭晓前是不确定性,揭晓后是信息量。

关键在于他是怎么得到它的。他没有照着玻尔兹曼抄,而是从三条公理推出来的(连续、随选项增多单调递增、可分解),并证明唯一满足这三条的形式就是 −Σ p log p。

然后把两条式子并排放:当 W 个微观态等可能时,玻尔兹曼的 S = k log W 与香农的 H 只差一个换算常数 k。一个人在数分子的排布,另一个人在量消息的不确定性,两条完全独立的路走到了同一个地方。据说是数学家冯·诺依曼建议香农沿用「熵」这个名字,理由是没人真正知道熵是什么,你在辩论中永远占上风。

而这个数一拿到手就派上了用场:信源编码定理证明,任何无损编码的平均码长都不可能短于 H 比特。这是一道谁也越不过的下限,不是打比方。

同一篇论文里还有一条更反直觉的。给信道定义一个容量 C,香农证明:只要传输速率低于 C,就存在一种编码能把出错率压到任意接近零;一旦越过 C,可靠传输不可能。「传得越快就越容易错」这个旧信念被它推翻了——出错率趋零并不需要速率趋零,只要别越线。妙的是他用随机编码证明了这样的好码一定存在,却没说它长什么样,人类后来花了近半个世纪才真把它造出来。

源页 → 公理化推导的细节、互信息、信道容量与噪声信道编码定理:数学 · 信息论(Day 13) · 信息≠意义、英文的冗余为何让你能读懂缺字的句子、以及把熵当成「这份资料把我的概率分布挪动了多少」来用:思维模型 · 信息论思维(Day 58) · 1948 年那篇原始论文本身:五段式通信抽象、比特为何归功于同事图基、香农—哈特利公式,以及「只证存在不给构造」这条最要紧的局限:论文精读 · A Mathematical Theory of Communication(Paper 36)

4. 机器学习:熵成了一个可优化的量

前两个房间里熵是被观察、被计算的,到这里它变成了被最小化的目标。

训练语言模型就是给前 N 个 token 预测下一个:模型输出一个覆盖整个词表的概率分布 q,真实答案是某一个具体 token。衡量两者差多远,用的是交叉熵:

H(p, q) = H(p) + KL(p‖q)

读法是:用为 q 设计的最优编码去编码真正服从 p 的数据,平均每个符号要花多少比特。H(p) 是数据固有的熵、与模型无关,KL 是用错分布多付的罚款;既然前者是常数,最小化交叉熵就等于让模型的分布贴近真实分布。

要紧的是这些数字有刻度。未训练的模型在 5 万词表上 loss ≈ ln(50000) ≈ 10.8,那正是均匀猜测的基线;训练良好的 LLM 在网页文本上约 2.0–2.5,对应困惑度 8 到 12 个词。原始 UTF-8 文本约 5 比特每字节,而一个训练良好的 LLM 把人类文本压到了原始大小的 30–50%,远好于 gzip 的约 70%。这里没有打比方的成分:交叉熵的单位就是比特,「学习即压缩」因此能被当成一个命题来争论,而不只是一句口号。

源页 → 交叉熵为何压倒 MSE、loss 数值在实践中怎么读、压缩即智能的完整论证:AI/ML · Loss 与 Optimization(Day 10) · 熵 / KL / 互信息 / ELBO 四者如何以 KL 为唯一原子串成一棵树:AI/ML · 概率与信息论基础(Day 33)

5. 生命:有序是借来的,靠流量偿还

第四个房间的问题最古老:生命把散乱的原子组装成细胞,有序度逆势上升,这不是明摆着违反熵增吗?

不违反,关键词是「孤立」。第二定律只管孤立系统的总熵,而生命是开放系统:摄入低熵能量,再把高熵废物排回环境,只要排出的熵多于自身减少的,账就平了。

这笔账能算得很具体。一个静坐的成年人持续散发约 100 瓦热量,和一只老式白炽灯泡相当——那是你为维持体内秩序而向宇宙缴纳的熵税。放大到行星尺度:地球从太阳接收少量高能、低熵的可见光光子,再向太空辐射出约二十倍数量的低能红外光子,进出的能量几乎相等,熵却大幅增加。就是这笔差价供养了地球上一切局部的有序。

化学家普里高津提出的耗散结构(指必须靠持续的能量流穿过才能存在的有序形态)把一个旧直觉倒了过来:有序并不意味着平衡与静止,恰恰相反,系统被推到远离平衡时,有序会自发涌现——锅里一薄层油,上下温差一旦越过临界点,整片油液就自发排出一格格整齐的六边形对流胞,没有任何外部设计。由此推出的那句话后面还要用到:结构本质上是动词而不是名词。漩涡、烛焰、细胞、一家公司,都只在能量穿流而过时存在,断流即溃散。(分布式系统里有个佐证:Cassandra 和 Dynamo 维持副本一致性的修复机制,名字就直接叫 anti-entropy repair。)

源页 → 第二定律与生命、耗散结构、代谢标度律、能量预算:元知识 · 生物物理与能量(Day 23) · 把耗散结构当思维工具用的完整方法,含「这套秩序的能量从哪来、熵往哪去」自查:思维模型 · 物理学思维(Day 36)

6. 同一个问题

现在回到第 1 节末尾那个问题:分子、字母、token、细胞没有任何共同的物质基础,为什么同一套数学能同时管住它们?

因为这四个房间问的是同一个问题:在我能看见的东西之下,还有多少种可能?

物理学家看得见温度和体积,看不见每个分子在哪;香农看得见一个概率分布,看不见这次到底会抽到哪个结果;训练语言模型的人看得见模型给出的预测分布,看不见下一个真实 token 是什么;生物学家看得见细胞的宏观秩序,看不见此刻的分子构型。四个人的处境是一样的:手上有一个粗粒度的描述,底下压着一大堆自己分辨不出的细节。

而「还有多少种可能」这个问题,数学不问这些可能性是什么做的。它只需要一个概率分布。分子的位置、字母表里的字符、词表里的 token、代谢状态——喂进同一条式子,出来的是同一种量。所以这不是两个比喻碰巧撞在了一起,而是同一个数学对象在四个地方各被独立发现了一次。

要说明这个联系是真的、而不只是好看,最有力的证据是兰道尔原理:擦除 1 比特信息,物理上必然向环境耗散至少 kT ln2 的热量。这条式子给了比特和焦耳一个汇率。它有单位、可测量、能拿去做实验:室温下这个数约 2.9×10⁻²¹ 焦,小得惊人,却严格大于零,而且与你用什么材料无关——晶体管、齿轮、DNA、神经元,只要做了「多对一」的擦除,就得付这笔钱。

而它顺手解决了一个悬了很久的问题。麦克斯韦妖是 1867 年提出的思想实验:一个能看见每个分子速度的小妖精,只要在阀门处放快分子过去、拦住慢分子,就能不花功地制造温差,第二定律就破了。这个悖论卡了物理学家七十多年。答案最后落在信息上,而且落点和大家原先猜的不一样。物理学家贝内特 1982 年结清这笔账时指出:收费的不是测量——测量原则上可以做到可逆、不耗能——收费的是遗忘。妖靠一个比特提取了 kT ln2 的功,可这个比特此刻记在它脑子里;要接着处理下一个分子就得腾出记忆,而擦除按兰道尔原理恰好要赔 kT ln2。赚的和赔的分毫不差,妖忙一圈净收益是零。第二定律没有被违反,是被信息这条隐藏的账目救了回来。

这才是判断一个跨领域联系值不值钱的标准。它不是让人觉得优雅,它解决了一个具体的、悬置已久、原本无解的问题。

源页 → 麦克斯韦妖的完整破案过程、兰道尔原理为什么只对不可逆的擦除收费(取反免费)、可逆计算这个真领域,以及「信息就是物理」这句话的来历:物理 · 信息的物理(Day 9)

7. 所以跨学科互联到底换来了什么

从熵这个例子再往上走一层,能看见一件更一般的事。

一个概念搬家的时候,可能只有词过去了,也可能它背后那套推理跟着一起过去。这两种情况差别极大。词过去了,你什么也没得到;推理跟过去了,你顺带接手的是它已经证明过的全部结论——定理、下界、不可能性结论。这些东西一旦到手就不必重新证,而重新证的成本常常是几十年。

信息论从此有了一条不可逾越的下限。香农证完编码定理,「这份数据还能不能压得更小」就不再是一个要靠试的问题,它有确定答案。人类花了近半个世纪才造出真正逼近这条极限的编码(Turbo 码、LDPC、Polar 码)——追赶一个 1948 年就被证明存在的目标。知道极限在哪,本身就省下了大量白费的力气。
机器学习拿到了一个有物理意义的损失函数。「把 loss 从 2.5 降到 2.3」说的是每个 token 少花 0.2 比特,而不是一个无量纲进度条往前挪了一格。也正因为底下压着一个严格的度量,「压缩即智能」才能被当成一个命题来争论,而不只是一句口号。
生物学解开了一个真问题。「生命是不是违反了第二定律」这个问题,在薛定谔那句「以负熵为食」之后就散掉了。它不是被辩赢的,是被一笔算得清的账化解掉的:开放系统,进来多少低熵、出去多少高熵,算清就行。

这条汇率还在继续兑现。兰道尔极限给一切计算机划了一条能量地板,而今天一次晶体管开关的实际耗能大约是这条地板的一万到十万倍。于是「AI 的耗电是一堵不可逾越的物理墙」这个说法可以被直接反驳:真正不可逾越的那堵墙还在四五个数量级之外,我们撞上的只是自己工艺的临时天花板——人脑约二十瓦就跑完了今天超算望尘莫及的认知,离那条地板近得多。有单位的量,才让这种争论有得算。

还有更日常的收益。互信息(知道 X 能让你对 Y 的不确定性减少多少)给了「这个指标值不值得看」一个可算的判据:一个信号的价值,等于它与你真正关心的结果之间的互信息。KPI 之所以会失效——古德哈特定律——正是因为优化代理指标的过程亲手破坏了它与真实目标之间的那部分共享信息。这不是一个励志道理,是一个可以估算的量。

所以跨学科互联的意义,说到底是省掉重新发明的成本。同一个数学结构在不同学科里被反复撞见,意味着你在一个领域辛苦挣来的结论,在另一个领域可以直接拿来用。这是这件事值得做的全部理由。

也正因为拿到手的是真东西,才需要知道它在哪里就不跟着走了。

8. 推理在哪里停下

回到第五个房间,以及它周围那一大片房子:房间会自己变乱、组织熵增、知识体系会腐化、感情不经营就熵增。

这些说法直觉上都对。要问的不是结论对不对,而是它靠什么撑着——它们借用的是「熵增」这个词携带的那种不可抗拒感:这是物理定律,宇宙这么规定的。而那份不可抗拒感是前面几节挣来的,靠的是可数的微观态、明确的粗粒化、有单位的数、10²³ 这个量级。下面四个问题不是用来抓人的,是用来判断一个说法能不能拿去下结论。

一、微观态是什么,按什么粗粒化打包?一杯水的微观态是每个分子的位置与速度,宏观变量是温度和体积,两边都明确,所以 W 可数、S 可算。房间的微观态是什么?每一粒灰尘的位置?那房间的熵永远在暴涨,跟你收不收拾毫无关系。是每件物品在哪?那要先定义什么算一件物品——书算一件,书里的每一页算不算?粗粒化选得不同,答案能差任意倍。回答不了「我在数什么」,就写不出 W。

二、这个数有单位吗,能报出两个时刻的值吗?你可以说这段文本的熵是 4.7 比特每字符,也可以说训练三天后 loss 从 2.5 降到 2.3。但一个组织上季度的熵是多少?没有人能报出这个数,也没有人真的想报。一个永远只出现在比较级里、从不出现在数值里的量,很难说是一个量。

三、那条「定律」是从大数里涌现的吗?第二定律硬,是因为 10²³。一个房间里有多少「粒子」?几十件物品。在这个量级上,「压倒性多数」这个论证没有数字支撑。房间确实会乱,但那是一个有偏的随机游走——你拿出东西的动作多于放回去的动作。这是行为学解释,不是热力学解释,而且它给出的预言完全不同:请一个每天打扫的人,房间就不乱了。热力学第二定律的特征恰恰是你造不出任何机器来违反它,而不是「不打理就会变糟」。

四、你把开放系统当成孤立系统了吗?第二定律只管孤立系统。而所有社会类比里的对象——团队、代码库、婚姻、知识体系——无一例外是开放系统。第 5 节那笔生命的账之所以站得住,正是因为它诚实地核算了进出:进来多少低熵、出去多少高熵。跳过这笔账直接借用结论,跳过的恰好是唯一有难度的那一步。

用这四个问题量一量精神熵

心理学家契克森米哈伊在《心流》里明说了他是从物理借的这个词:意识的默认状态趋向混乱,焦虑是熵(挑战压过能力),无聊也是熵(能力无处可用),心流则是它的反面。四个问题逐条问下来:微观态?没有。单位?报不出「今天下午的精神熵是 3.2」。大数?没有。开放系统当孤立系统?部分是。

但结论不是「精神熵是胡说」。它是一个相当好的命名——把焦虑和无聊这两种看似相反的痛苦归到同一个类别下(都是注意力与目标的失配),这是一次真正的概念整合。它借走的是熵的形状:默认趋向失序、秩序需要投入。问题从来不在借,而在借了之后不还——不承认自己借的是形状,反过来用物理定律的权威去背书一个心理学主张。

耗散结构那个类比就站得住得多。说「代码库是耗散结构」的时候,它明确把对象当开放系统处理,并且要求你回答能量从哪来、熵往哪去。它做的是结构类比,而这个结构本身可证伪:你可以真的去查那股流是什么、停掉会怎样。它仍然算不出一个数,所以它是一个好模型,不是一次测量。这个区别值得守住。

不过这一档也有它自己要认的账。普里高津早年证过一条最小熵产生定理,可它只在接近平衡、流与力还成正比的线性区里成立,而耗散结构全都出现在这个区之外——所以在真正有趣的那片区域里,并没有一条「系统会自动优化某某量」的通用原理可用。拿最小熵产生去解释生命、组织、城市,是把一条近平衡的定理搬到了它明确不适用的地方;反方向那条最大熵产生原理至今也只是个开放假说,不是定律。还有一条更朴素的提醒:说「生命是一种耗散结构」是对的,但信息量有限,因为飓风和烛焰也是。

源页 → 精神熵、注意力即精神能量、挑战—技能平衡,以及这套理论自己的方法学软肋(经验取样法全靠自陈、难以证伪)与「可能被收编成压榨工具」的批评:每日精读 ·《心流》(Read 15) · 耗散结构的四条边界、平衡态与稳态为何不是一回事、把流拧大结构会换代,以及一条可直接拿去用的三问决策线:复杂性科学 · 耗散结构(Topic 15)
同一个问题:在我能看见的东西之下,还有多少种可能? 数学不问这些可能性是什么做的——它只要一个概率分布 热力学 S = k log W 看不见的:每个分子的位置与速度 单位:焦耳/开尔文 信息论 H = −Σ p log₂ p 看不见的:这次到底抽到哪个结果 单位:比特 机器学习 H(p,q) = H(p) + KL(p‖q) 看不见的:下一个真实 token 是什么 单位:比特/token 生命 排出的熵 > 自身减少的熵 看不见的:此刻的分子构型 单位:焦耳/开尔文 同一个数:微观态等可能时,两式只差换算常数 k 兰道尔原理给了比特和焦耳一个汇率:擦除 1 比特 ≥ kT ln2 的热 凭这条,卡了七十多年的麦克斯韦妖悖论被解决——这是联系承重的证据 推理停下的地方:借走的只是形状 精神熵 · 「组织熵增」·「房间会变乱」 缺的是:可数的微观态、有单位的数值、大数支撑的定律、开放系统的核算 耗散结构类比是中间档:可证伪、要求你回答熵往哪去,但仍算不出数——好模型,不是测量 四问全过 → 一次测量  推理说得清 → 一个模型  都不是 → 一个语气 Syn 1 · 熵 · BigCat's Learning Hub

9. 怎么用它

拆完之后要给出用法,否则这篇文章也只是另一种修辞。大致三档。

当它是字面的数学,就真的去算。只要手上有一个概率分布,熵就不是比喻,是一个能按计算器算出来的数。思维模型站给了一条很好用的实践判别:判断一条信息有没有价值,问它把你对某件事的不确定性降低了多少。读完一份报告,如果心里的概率分布纹丝不动,这份报告的信息量就是零,无论它有多长。开两小时会而对决策的判断毫无变化,那两小时的熵贡献也是零。

当它是结构类比,就把话说全。耗散结构是这一档的范本,用它的条件是把三个部件都指名道姓:这套秩序靠哪一股流维持?能量从哪来?熵排到哪去?答不出第三问,就说明还没在做类比,只是在借气势。有个简单的自测:这一档的类比通常可以翻译成不含「熵」字的句子而不损失内容。能翻译掉,说明你借的是一套讲得清的因果;去掉「熵」字之后什么也不剩,那它原本就只有那个字。

当它只提供不可抗拒感,那就是修辞。看这个词在句子里承担什么功能:如果它在解释——说明为什么会这样、预言接下来会怎样、指出干预点在哪——它在做工;如果它在免责,「组织变臃肿是熵增,没办法」,那它在偷懒,而且偷的是物理学的权威。真正的第二定律从不用来免责,它给的全是极其具体的可操作结论:冰箱能制冷,代价是电费;卡诺效率给了热机一个够不到但值得逼近的靶心(它算出任何热机的效率上限);永动机不用试了。一条真定律会告诉你代价是多少,而不是告诉你别挣扎。

最后回到那四个房间。它们之间的联系是真的:物理熵与信息熵是同一个数学对象,兰道尔原理让比特与焦耳互相兑换,生命的熵账可以精确到瓦特。这份统一性不是巧合。它来自一个朴素到能跨过任何学科边界的问题——在我能看见的之下,还有多少种可能。

值得把这个词看紧一点,倒不是怕谁用错。是因为真能从一个学科走到另一个学科、一路上什么都不丢的概念,我们手上本来就没几个。