追本之箭 — 直线是谎言

2026-04-11 Sat 20:57

起点

"The straight line was a lie." —— Andy Jassy, 2025 致股东信

为什么直线是谎言？更精确地说——为什么人类如此执着于一条不存在的直线？

这句话先得拆掉，因为它问错了。

"直线是谎言"是一个类型错误：它把一条预测当成一条轨迹在反驳。可轨迹从来不是直的——没人需要 Jassy 来告诉我们山路是弯的。直线根本不在世界里，它只活在观察者脑子里那个外推算子上。世界既不直也不弯——"弯/直"是你贴上去的标尺属性；换一把标尺（log），同一段历史就从弯变直。被现实证伪的不是世界，是那条画出来的射线。

所以谎言的现场不在世界，在画线的那只手。

真问题只有一个，但它是个悖论：画直线是一个已知会被现实证伪的算法，为什么进化没删它、组织反而把它供起来？ 一个稳定存活的错误，要么它没那么错，要么它在解一个别的问题。往下每一层都是在拆这个悖论——前半程证明它确实错（错在哪、错多深），后半程才敢问它为什么还活着。

往下。

第一层：截断

大脑要预测下一刻，最省力的算法是把现在的斜率向前延长。这个待延长的斜率，数学上就是泰勒一阶——直线在大脑里的真名。

它是泰勒展开砍到一阶：

f(x+Δ) ≈ f(x) + f'(x)·Δ      ← 大脑画的直线
真相    = f(x) + f'(x)·Δ + ½·f''(x)·Δ² + …   ← 被砍掉的部分

直线不是"错误的预测"，是被截断的预测。那个 ½f''(x)Δ² 项被扔了。扔得有道理——直线是免费的，记一个斜率就行，O(1) 的内存；曲线要记下每一点的曲率，O(n)。在一个稀缺算力的器官里，截断是最优策略，不是 bug。

可截断有代价：误差随 Δ² 增长。你看得越远，被你扔掉的那一项越大。一周的预测，二阶项小到可以忽略；十年的预测，二阶项就是全部。

谁来保证这一点？

第二层：凸性

保证它的有两条腿，不是一条。

第一条腿是确定性曲率：只要轨迹的 f'' ≠ 0，截断就系统性地偏一个方向。被砍掉的 ½f''Δ² 不是随机噪声——噪声正负抵消，而 f'' 的符号是固定的。世界上凸（f''>0），现实总比直线高；世界下凹（f''<0），现实总比直线低。骗局有方向，因为曲率有符号。

第二条腿是随机性下的偏移，由 Jensen 不等式管：

E[f(X)] ≥ f(E[X])      （凸函数；凹反号）

翻译成人话：你拿"平均输入"算一个点，世界用"完整分布"来兑现，两者系统性不相等。凸性把波动本身变成一笔单向收益（或亏损）——哪怕你对均值估得分毫不差，只要输入有方差、函数有曲率，结果就偏。

两条腿独立，但同指一个方向。截断管"轨迹弯了你没跟上"，Jensen管"波动 × 曲率给你一个系统性偏移"。直线同时漏掉这两样，所以它总朝同一边骗你：乐观者在凹域反复失望，保守者在凸域反复错过。

到这里，"直线是谎言"已经不是商业警句，是 f'' ≠ 0 的两个推论。

第三层：乘法

凸性的真名是：增长是乘出来的，不是加出来的。

把两个过程并排：

加法过程：  S = a + a + a + … = n·a        线性世界
乘法过程：  P = a × a × a × … = aⁿ          复利世界

加法过程在线性坐标里真的是直线——它的 f''=0，对它画直线没人会被骗。问题是，凡是值得你长期投入的东西，几乎都是乘法的：复利、能力、网络、声誉、技术栈、用户增长。它们的下一步正比于当前的量级，所以是 ×，不是 +。

乘法过程在线性坐标里是一条上凸的爆炸曲线（f''>0），这正是第二层那个曲率符号的来源——这也是 Jassy 说"在非线性拐点上下重注"时，那个拐点的数学出处。（ 幂律世界：值得长期投入的东西几乎都是乘法的，少数 aⁿ 项吃掉绝大多数结果，正是这条爆炸曲线在分布上的影子。）

关键的错位在标尺上：乘法过程取了对数才是直线。 log(aⁿ) = n·log(a)。大脑在错误的标尺（线性）上寻找直线，而那条直线藏在对数标尺里。所以人不是不会画直线，是在乘法世界里坚持用加法的眼睛看，把唯一一条真直线（对数斜率）看成了爆炸的曲线，又反过来把不存在的线性直线当成基准。

第四层：不可交换

加法可交换：a+b = b+a，先赚后亏和先亏后赚，终点一样。乘法不行——一旦中间乘到接近零，后面乘什么都回不来。顺序开始有意义，世界开始有记忆。

这条毒有公式。把收益放进对数空间，几何年化 g 与对数漂移之间差一个波动项：

g ≈ μ − σ²/2

这里 μ 是对数收益的漂移——log 空间里那条真直线的期望斜率，不是你嘴上"算术平均收益"。g 是真正复利出来的几何年化。两者之差 σ²/2 是波动税：对数漂移相同、波动更大的那条路径，几何终点更低。 不是因为它平均收益更差，是因为同样的漂移下，方差从复利里直接抠走 σ²/2，永不退还。

直线预测连这个符号都给不出——它默认过程可逆、顺序无关、波动只是上下抖动会抹平。可在乘法世界里，波动不是抖动，是单向的漏损。

这就是路径依赖的硬核：不是"历史影响未来"这种软话，是几何均值对波动的不对称惩罚写死在 −σ²/2 这个负号里。直线假设你能在任意点重来，现实里你只有一条路径，而且它记得你跌过的每一跤。（ 投资中的时间：g ≈ μ−σ²/2 就是时间在复利里的真正算法，同一漂移下波动每年抽你 σ²/2，这税只对长持有期的人收，也只对长持有期的人退——耐心的数学 的负号出处就在这里。 ）

哪里反了？

第五层：直线是被造出来的（偷来的一层）

反转在这里：不是大脑画直线导致了预测失败；是"画直线"这个动作，本身在制造它声称要预测的那条直线。

公司定一个"季度增长 15%"的目标，画一条直线。这条直线不是预测——它是一道指令。一千个员工对着这条线使劲，资源、考核、叙事全部对齐到它上面，于是真实曲线被这条直线拽得贴上去了。直线先是谎言，然后变成自我实现的真相。它的功能根本不是认识论的（描述世界长什么样），是博弈论的——它解的不是预测，是协调。

而协调本身有正期望值，这能写成不等式：

协调收益  >  各自最优之和  −  对齐损失

N 个 agent 各自朝最优方向使劲，合力会相互抵消；全体对齐到一个（哪怕次优的）公共信号，单兵方差被收敛成一个方向。只要 N 足够大、单兵方差足够高，一条次优但公共的直线带来的合力，就压过它在预测精度上的全部亏损。直线不靠"真"兑现价值，靠把 N 个方差收敛成 1 个方向兑现。 红灯能让车停，不是因为红色有"停"的物理含义，是因为它把所有人的犹豫收敛成同一个动作。

所以直线没被进化删掉，因为它解的是协调问题，而协调问题的最优解可以是一个已知会偏的信号。一条会被现实兑现的真实曲线，没人能提前对齐到它上面；恰恰是那条假的、光滑的、可宣布的直线，才能当协调装置。（ 系统与目标：KPI/五年路线图作为指令不是为了"对"，是把 N 个方差收敛成一个方向——它是系统的对齐装置，不是对世界的测量，正因如此目标常常被画得既假又必要。 ）

于是 Jassy 那句"直线是谎言"露出了它的隐藏激励：这是一句奢侈品。 只有已经赢了、已经有了惯性和现金流的人，才付得起拆掉协调装置的代价——他可以说"拥抱非线性、走多条平行路径"，因为亚马逊的飞轮已经在转，N 个方差早已被现金流收编，不再需要一条假直线来集结涣散的兵力。而还在零到一的创业者、还在爬坡的团队，需要那个谎言：没有那条假直线，一千个人会朝一千个方向漂走。

赢家拆掉梯子，然后告诉你梯子是假的。梯子确实是假的。但你现在还站在上面。

第六层：杀手层 —— 对称陷阱

把"直线是谎言"推到极端，就得到它的镜像谎言："所以永远别做计划，拥抱不确定性，让它自然漂流。"

这句话听起来很觉悟，其实是用一个更舒服的谎言替换了一个更难受的真相。因为放弃直线有两种，外表一模一样，内核正相反：一种是挣来的非线性——你看见了真实的凸性，主动下注去吃那个 f''>0；另一种是止痛的非线性——你只是不想被任何可证伪的承诺钉住，用"世界本来就是非线性的"给自己的漂移盖章。（ 漂流：同一个"让它自然漂流"，既可以是练习不改变只陪伴的那种主动松手，也可以是这里这种给逃避盖章的借口；外表一样，下面这条判决式就是劈开它俩的那把刀。 ）

它们在嘴上无法区分，但有一个判决式能当场把它们劈开：

判决式：你放弃的那条直线背后，是否仍存在一个【可被证伪的里程碑】？

  存在 → 你买的是凸性（option 有正 gamma）：方向不定，但什么算赢、什么算输、何时复盘，写死了。这是挣来的非线性。
  不存在 → 你买的是借口：用"非线性"给"我不想被检验"正名。这是止痛的非线性。

可自测，拿你自己的 case 套：

• 挣来的切口——"我不知道无人机和极速达哪条会成，但 18 个月后单均配送成本如果没降到 X 以下，这条线就砍。" ← 方向开放，判据写死。这是 Jassy 的多路径，不是漂流。
• 止痛的切口——"线性思维太天真了，我们要保持灵活、拥抱变化、跟着感觉走。" ← 没有 X，没有 18 个月，没有"砍"。这不是拥抱非线性，是拒绝被记分。

非线性的对立面不是"做计划"，是"可证伪"。真正的探索者比谁都更早写下自己的失败条件；只有逃避者才把"没有计划"误当成了智慧。

终点：先认你站在哪个域

直线不是普遍的谎言，是域错放的谎言。它在一个域里是真相，在另一个域里是骗局。先认域，再决定信不信它。

判别式：

你眼前这件事，下一步的增量【正比于当前的存量】吗？

  否（加法域 / 仿射域）：增量与存量无关。
       → 直线是好工具。f''≈0，截断无害。
       → 本周现金流、固定工资、线性产能、一次性项目。放心画直线。

  是（乘法域 / 复利域）：增量 ∝ 存量，过程不可交换。
       → 直线是谎言。f''>0，Jensen 朝上偏，几何均值被 σ²/2 抽税。
       → 能力、复利资产、网络、声誉、技术平台、用户增长。烧掉那条直线。

认完域，按这四步走，最后一步必须把判决交到办公室外面去：

1. 标域——把当前这件事标成"加法"还是"乘法"。判据只有一条：下一步的增量是否正比于现在的存量。
2. 换标尺——若是乘法域，立刻把指标换到对数坐标看，找那条真直线（对数斜率 = 复利率）；别在线性坐标里被爆炸曲线吓住或被假直线骗住。
3. 验里程碑——若要放弃一条直线去拥抱非线性，先用第六层判决式自测：有没有可证伪的里程碑？没有就别动，那是漂流不是探索。
4. 外部记分（外部钩）——把你画的那条线（无论直线还是赌注）写下来、标好日期、交给一个会反驳你的人或一个会无情兑现的市场。不要事后用"世界本来就非线性"给自己开脱——那是检查者检查自己，永远抓不到自己的错（ 犯错的喜悦：只有一个外部 verifier 才能把"我错了"变成可领取的信息，自己给自己判分的系统连犯错的喜悦都偷不到，因为它从不承认错 ）。让外面那条真实曲线，而不是你脑内的外推算子，来宣判你画的线是真是谎。

直线之所以是谎言，是因为大脑在乘法的世界里，长着一双加法的眼睛，又把这双眼睛画出的射线，当成了世界许下的承诺。

世界没许过那个承诺。

是你画的。

(箭到底了。)

延伸 · 同簇「系统编译器」 · 有护栏的系统 · 现实的编译器 · 系统与目标 · 系统的任期