水的世界模型 02|四件事决定一个世界模型长什么样

0 阅读10分钟

题图

一份图纸的价值,不在于它画得多漂亮,而在于它规定了哪些东西必须交代清楚。

上一期说,判断一个东西算不算世界模型,先数一数它有几个入口:一个入口的是映射,两个入口的才谈得上世界。

那这一期就进门看。

门进去之后,一个世界模型内部必须回答四个问题。这四个问题不分流派、不分行业,只要是世界模型就必须答。

而它们有个很现实的差别:前两个问题,演示视频里看得见;后两个问题,演示视频里一帧都没有。

水里的物理:一条河在暴雨前夜,究竟"是什么样"

先把"状态"这个词落到实处。抽象地讲没意义,我们拿一条真实的河来问。

明天有一场暴雨要来。要预判它会不会成灾,你得知道这条河现在处在什么状态。

那么,"现在的状态"到底包含哪些东西?

要知道的测得出来吗说明
河道水位、流量✅ 测得到有水文站,但只在干流和主要支流
土壤含水量❌ 测不到只能估。而它决定了这场雨会不会变成洪水
地下水位🔶 很稀疏有观测井,但密度远不够
融雪储量❌ 测不到山区尤其关键,直接影响汛期来水
上游水库蓄了多少⚠️ 人知道,模型不一定知道台账在各家管理单位手里
河床糙率、断面形状❌ 基本没测过只能靠经验取值

看这张表,你会发现一件事:最重要的那一项,恰恰是测不到的那一项。

这场雨会不会成灾,很大程度上取决于"地有多干"——干透了的土像海绵,能把第一波雨全吸掉;已经泡透的土一滴也吸不进去了。

而"地有多干",是上面这张表里最测不到的东西。

一条河的状态清单:测得到的和测不到的

左边三项测得到,右边三项只能估 —— 而右边第一项,恰好决定这场雨会不会成灾。

这就是世界模型的第一个问题为什么如此要命。 你把状态定义错了,后面全错。

而这里有个反直觉的实证,值得单独说。

一个反直觉的实证:土壤湿度重要,但它不是均匀地重要

2022 年,USGS 伍兹霍尔海岸与海洋科学中心等机构的研究者,用 WRF-Hydro 模式对 2018 年飓风佛罗伦斯做了一组诊断实验,专门看"初始土壤湿度"和"降雨量级"对洪峰模拟的影响。结论有三条,第一条尤其反直觉:

"初始土壤湿度对洪峰的调制作用是非线性的,并且随着降雨量增大而减弱。存在一个土壤饱和度的阈值,在阈值上下,洪峰对土壤湿度的敏感性差别很大。"

这意味着什么?

"地有多干"很重要——但它的重要性不是恒定的。

  • 小雨时,土壤湿度几乎决定一切:同样的雨,落在干地上没事,落在饱和的地上就成灾。
  • 大雨时,土壤湿度的影响被"淹没"了:雨太大,地吸不吸收都无所谓了。
  • 而且中间有一个阈值,阈值下面怎么变都不敏感,跨过去就突然敏感。

这个结论对建模的含义很具体:你不能笼统地说"要把土壤湿度估准"。你要问的是"在我关心的那档雨量下,它敏不敏感"。

这条结论就是本期最重要的一课的引子:四件事的重要程度,不是恒定的,它随你问的问题变。

同一篇论文的第二、三条,还给了一个更硬的东西:

"模式预热(spin-up)方面,径流需要比土壤湿度和潜热通量更长的时间才能达到「实用」平衡(10%)。预热带来的模式不确定性会沿水文气象链条传播,并被放大到洪峰上。"

"被放大到洪峰上"——这五个字,就是第 ③ 件事的全部理由。

而第三条又说了一句克制的话:在用集合方法做洪水预报时,"模式不确定性主要由降雨预报主导"。

所以诚实的结论是:状态估计很重要,但它不是永远的压倒性因素——当你的降雨预报本身就很糊时,把状态估得再准也救不回来。

📌 这句话我建议你记住,因为它挡掉了一种很常见的自我安慰:把力气全花在"把状态算精",而回避"我的输入本来就不准"。

四件事:每一次回答都是一次取舍

现在我们把这四个问题正式列出来。注意:每一个都不是"对错题",而是"取舍题"——选了哪边,就要接受那边的失败方式。

#问题两种常见回答你放弃了什么换来什么
①状态是什么物理量 / 潜变量潜变量省算力但不可检查物理量可解释、可对账
②状态怎么变方程 / 学习 / 混合纯方程怕缺项,纯学习怕发散混合能各取所长
③没看到的怎么补显式估计 / 不估计显式估计慢、要观测不估计就是"在看不见处瞎猜"
④怎么验收人眼 / 留出观测 / 守恒 / 闭环便宜的验收测不出危险硬的验收能提前发现崩

四件事,以及演示视频的那条分界线

①②在线的上面,③④在线的下面 —— 演示视频只能证明上面那一半。

逐条说清。

① 状态。 选物理量,好处是可以对账——水量平衡算不平时你能立刻知道;选潜变量,好处是省事、让模型自己找规律,代价是那个量没有名字,你没法检查它。 📌 水的默认答案应该是"物理量为主干"。 理由不是理论上的,是工程上的:你需要一个能被独立核对的东西。

② 动力学。 纯方程的问题是"缺项"——真实世界的很多过程写不出方程(云怎么形成、土壤怎么下渗);纯学习的问题是"发散"——自回归推演越推越偏。 混合路线是目前最像样的答案,两个代表:

  • NeuralGCM:大尺度过程交给传统流体动力学求解器,小尺度物理(云、辐射、降水)交给神经网络;
  • MuZero:反过来——正因为"真实世界问题里支配环境的动力学往往复杂且未知",所以干脆学一个出来用。

📌 注意这两者的差别不在技术水平,在"你有没有可信的方程"。 有,就缝起来;没有,就只能学。这就是第 8 期那棵决策树要处理的问题。

③ 补全。 这是最少被当成"世界模型"来谈、却最决定成败的一件。ECMWF 的定义说得很准:

"数据同化的目的,是用观测和短期预报,确定一个尽可能好的大气状态,以及它的不确定性。"

📌 "以及它的不确定性"这半句,是 ③ 的灵魂。 一个只给你点估计的模型,等于在说"我很确定"——而它没有资格这么说。

④ 验收。 这一件最容易被糊弄,因为它最贵。四类世界模型对应四把尺子:人眼、留出观测、守恒、闭环。用错尺子比没有尺子更危险,因为它会给你一个很确定的错误结论。

而"贵"具体贵在哪:好的验收都要等。 等观测回来、等一整场洪水过去、等闭环仿真跑完。 等不了,就只能退回到最便宜的那把尺子——看它像不像。

而"像"和"对"之间,隔着一整个问题的距离。 这就是为什么第 13 期会专门讲"三个层级的评测",因为只有到第三层,你才知道它敢不敢被签字。

为什么后两件总被跳过

答案有点让人不舒服:因为 ③ 和 ④ 不上镜。

演示视频里能看到的,是 ① 的画面感和 ② 的即时合理性。这两件天然适合展示。

而 ③ 和 ④ 的特征正好相反:

  • 它们慢。 同化要等观测,闭环评测要跑很久。
  • 它们难看。 一张不确定性的分布图,远不如一段流畅的推演视频有说服力。
  • 它们会暴露问题。 一旦把"我在这儿不确定"画出来,就等于承认自己不行。

而现有基准也在无意中强化了这个偏向。 SmallWorlds 那个基准专门测"世界模型懂不懂动力学",结论里有一条很硬:

"随着预测地平线拉长,它们的预测会退化。"

这个指标非常对——但它明确说了,实验是在"完全可观测的状态空间"里做的。

换句话说:连专门测这件事的基准,都先把"看不见的部分"排除掉了。因为排除掉才好测。

而水排除不掉。(这一条上一期讲过,这一期它变成了四个问题里最难的那一格。)

一张说明书

把四个问题做成一张可以填的空表。我建议你下次再看到有人说"我们做了个世界模型",就把这四行发过去。

【状态】我用什么描述"现在"?
    哪些是物理量(可对账)?哪些是潜变量(不可检查)?
【动力学】状态怎么更新?
    方程管哪部分?学习管哪部分?为什么这么分?
【补全】没测到的量怎么估?
    多久修正一次?给不给不确定性?不给的话为什么?
【验收】拿什么证明它可信?
    人眼 / 留出观测 / 守恒 / 闭环——哪一层?

但这张表还差一行,而那一行是最容易被跳过、也最该问的:

【不自知】它不知道什么?它自己知道吗?

为什么这一行最重要? 因为前四行问的都是"它具备什么",只有这一行问的是"它对自己的无知有没有数"。

一个不知道自己不知道什么的模型,比一个知道自己不知道什么的模型危险得多——后者至少会在该闭嘴的时候闭嘴。

这五行,就是本期想给你的全部工具。

你的行业

不用等到上世界模型才用得上这张表。你现在手上的任何一个预测系统,都可以拿这五行去问一遍。

三个最好用的问法,按顺序:

  1. "你那个状态量里,哪几个是能独立对账的?" 如果一个都说不出来,那它大概率是一个包装得比较精致的映射。
  2. "你不确定的那些量,怎么进到最终结果里的?" 常见答案是"估个值就往前推了"——那误差就没有传下去,它被藏起来了。 这是我在实际项目里见过最多的一件事。
  3. "它最不擅长什么?这个信息会显示在界面上吗?" 如果界面上永远只有一条预测曲线,没有不确定的边界——那这个系统在结构上就没有 ③。

本期那句我想留下的判断:

四件事里,前两件决定它能不能做出好看的东西,后两件决定它能不能被交出去。

而一份图纸的价值,不在于它画得多漂亮,在于它规定了哪些东西必须交代清楚。