那篇机器八十八小时搞定纳维-斯托克斯的文章，最不值钱的部分就是结尾那句“机器拿不走工作对你的塑造”。这话错吗？错倒没错，但它没有价格。安慰奖免费发，免费的东西在市场上就是零。真正该算的是另一笔账：二十年的“过程”和八十八小时的“答案”分家之后，谁在拿钱，谁在买单。
先算笔账。一个还没公开发布的模型，一万个智能体并行，八十八小时，一百六十五页证明，再过一个逐步机械验证的系统——这套东西的成本毛估一下，几十万到几百万人民币打底，跑不掉。贵不贵？看跟谁比。跟一个数学家二十年工资加研究经费比，便宜得不像话。二十年的饭钱、项目钱、会议钱，加起来够你再架好几个这样的集群。所以从“产出答案”这个口径看，人类数学家的单位成本被干穿了——不是腰斩，是击穿。这笔账算得过来吗？算得过来，而且算完之后更难受。
（插一句不相干的，我知道有人要杠机械验证不等于人类评审——先记着这个，后面它自己会变成另一笔账。）
数学家二十年投入的那个问题，现在答案出来了。注意，不是“他解出来了”，是“答案出来了”。中间那二十年的追寻，在“答案”这个市场里的价格瞬间归零。文章里那位研究做到一半、怒斥实验室“强行介入”的数学家，你以为他愤怒的是“不请自来”？他愤怒的是自己的沉没成本被一次性计提清零。这跟创业公司眼见大厂把自己做了一年的赛道整个免费掉，那个劲儿一模一样。说句扫兴的，哀悼对象不是问题，是护城河。护城河干了，鱼才不跟你谈感情。
那篇文章翻来覆去问：目标是答案，还是追寻答案的过程？这个问题问反了。答案从来就是产品，过程从来就是成本。你花二十年成为“追寻者”，是因为“追寻”是当时唯一能低成本产出答案的方式——没有别的路。现在机器把“追寻”这道工序从生产线上一把拆了，直接出货。工序还在，但它不再是成本项了，变成了一种……怎么说呢，健身。健身对你有好处，但没人给你开工资。数学家没签过“转为业余爱好者”的合同，也没有哪个机构会为“你被工作塑造了”这个词组付费。这六个字你写在简历上试试，看猎头回不回你。
谁在赚这笔账？那个实验室。他们赚的不是证明——证明挂在网上，免费看。他们赚的是故事。故事是“我们把二十年压缩成八十八小时”，这个故事拿去融资，比任何 BP 都管用。这波窗口期就是故事窗口期——谁先把“二十年压缩成八十八小时”讲出去，谁就吃到融资红利。数学家在这故事里是什么角色？成本项。是被用来对比的那个“二十年”的对照组。你辛辛苦苦二十年，最后成了别人路演 PPT 上的一行对照数据。这才叫真正的收割——比“失业”两个字阴险得多，因为失业你还能维权，对照组你连名字都不配出现。
那怎么办？泼完冷水得给条路。我不觉得是死路，但这条路比那篇文章暗示的窄得多。评论区有个人说得比我切，Jo Do——她说稀缺性从“产出论证”转移到了“判断哪个问题值得投入二十年”。这话我认。验证正在变成新的瓶颈，这是笔新账。但账要接着往下算：那套逐步机械验证的系统，恰恰说明“检查证明有没有逻辑漏洞”这件事本身也正在被机器接走。所以留给人的不是“验证”，是“选题”——是在一百个未解问题里判断哪一个值得押二十年。这个判断力，不是机械验证能替代的。问题来了，“判断哪个问题值得二十年”这件事，你靠什么证明自己能干？靠你过去二十年的产出。产出现在贬值了，你的信用就跟着贬。死结就在这：新定价权的抵押品，恰恰是刚刚被机器清零的那个资产。所以能走通的人，不是所有“被工作塑造了二十年”的数学家，是那种二十年里攒下的东西恰好能兑换成“选题品味”的人。这个比例不高。很多人二十年攒下的只是“我爱这个问题”——那不叫判断力，那叫情感。情感换不成现金流。
当然，这账也不全黑。Bryan Williams 在评论里说的另一面同样成立——同一台机器拿走数学家追寻的同时，给了过去进不了场的人一张入场券，“成为”没有终止，转移了、扩散了。你从这头看是零和，从另一头看是重新分配。赢家和输家是同一台机器，这话我也认。但注意，这两个判断不矛盾：有人拿到了入场券，不改变前面那个死结——拿到券的人，一样要回答“你凭什么让我们信你能选题”。
Pushpendra Agrawal 说得更狠：AI 取代的是成千上万次的小练习，没有一个具体的时间点可以让你去哀悼。这话比“数学家失恋”狠得多。问题不是这代人丢了答案，是下一代人根本没有练手的机会——小练习被机器干了，你连“二十年”都没得花，直接从新手空降到“监督机器”的位置。听起来省事，实际上把养成判断力的那条路给刨了。FondPeace 说得更直：摩擦是判断力长出来的地方。机器把摩擦吞掉，你就没了伤痕、背景和品味——这几个词听着虚，但你真去算“选题判断力”这笔账，它们就是原料。𒎏Wii 那条更狠：哪天泡沫一破，最需要访问权的人最先被切断。这不叫 AI 民主化，这叫 AI 封建主义。这几条拼起来看，前面说的那条窄路又窄了一圈：不是“有二十年底蕴的人能活”，是“二十年里恰好攒下一堆能对抗摩擦遗忘的东西的人能活”。听着就让人不想算下去。
回到那句话：“机器拿不走工作对你的塑造。”对，拿不走。但塑造这东西，如果换不成钱，它就不产生现金流，它就是沉没成本。沉没成本不付房租。文章作者说机器没有成为某个人的意图——对，机器也没有给你发工资的意图。本期认知税：把“被工作塑造”当成一种资产，是这波冲击里最贵的一笔账。这笔账，你自己算。