奥特曼：我很同情你们，但我不会停下

前几天，我在《刚刚，1000位数学家联合向AI巨头宣战》里，和大家拆解了一场史无前例的“学术起义”： 全球上千名顶尖数学家忍无可忍，成立“人类数学协会”（AHM），拒绝给科技巨头当免费质检员，甚至立誓物理断网，誓死捍卫人类心智最后的尊严。 有人佩服学者的骨气，有人感叹知识工人的困境，但更多人在追问：巨头们会收敛吗？商业资本会因为这1000个人的尊严而踩刹车吗？ 答案来得比所有人预料的都要快，也都要残忍。 就在昨天深夜，OpenAI CEO Sam Altman 在一场闭门播客中，正式对这场全人类最高智力圈层的“起义”，做出了正面回应。

他嘴角挂着同情，语气却很冰冷： “我同情数学家们目前的处境。但这仗绝不可能停下来。 人类配得上基础真理，我们既然挖出了重大科学发现，就不可能藏着掖着。” 翻译成大白话就是：“我知道你们被逼疯了。但我已经花了数亿美元，你们的抗议，撼动不了我的推土机。” 一、3 小时 1 万美元：当“世纪猜想”被做成外卖流水线 上篇文章我们提到，陶哲轩试图用 Lean 这种“形式化语言”作为人机合作的桥梁。很多乐观派以为，这就是最好的出路。 但大家显然低估了资本把一种工具“极端工业化”之后的速度。 Altman 在播客中透露了一个让人倒吸凉气的细节：他们彻底把数学推理跑通成了流水线。 过去，一个数学猜想可能需要三代人皓首穷经、坐穿冷板凳。高斯、欧拉、黎曼，哪一个不是用毕生的灵光一闪去撞开宇宙的门缝？ 而在 OpenAI 现在的实验室里，这个过程变成了纯粹的“算力采购单”： • 以前大模型单次推理超过 1 美元，逻辑就开始胡言乱语； • 现在的 OpenAI，直接引入多智能体集群（Agent Teams）和超长测试期算力（Test-Time Compute）。遇到前沿猜想，工程师在后台输入预算：“给这个问题挂 1 万美元的算力，调 500 个子 Agent，并行试错跑满 3 小时。” 你没看错，3 小时，1 万美元。 在这短短 3 小时里，成千上万张顶级显卡呼啸轰鸣，消耗掉一个小县城半天的工业用电。它把人类几百年来摸索出来的数论、几何、拓扑规则全塞进逻辑推演树，进行秒级数亿次的推演坍缩。 撞上了死胡同？打上标签，立刻掉头； 推导出了局部孤岛？分支智能体蜂拥而上，强行架桥。 这已经不是“做研究”了，这是用工业级推土机推平未解之谜。 纳维-斯托克斯方程被推进了 166 页，拟黎曼猜想被切成了数千个切片，矩阵乘法下限被强行推进。 上周那些宣布“物理断网”、发誓用粉笔和稿纸捍卫真理的老教授们，面对的是一堵高达万丈的算力电网。纯肉身的抗争，在流水线面前被衬托得悲壮而凄凉。 二、形式化“免检”：他们连“擦屁股”的机会都不给你留了 上篇文章我写过一个核心论点：AI 在拿融资，学者在当免费质检员（Dump & Verify）。 商业巨头最流氓的一点，是把满是逻辑漏洞的“半成品”丢给学术界，让高智商学者耗费数月去给模型抓 Bug。 按常理说，数学家联合罢工、拒绝审稿，巨头们就该哑火了对吧？

错。Altman 这一轮的反扑，阴险就阴险在，他直接剥夺了你“当质检员”的资格。 他们这次甩出的 722 篇手稿，没有直接发人类习惯读的自然语言 PDF，而是全量配平了 Lean 形式化代码。 什么是 Lean？它就是数学界的“代码编译器”。 只要编译器跑出了代表无误的绿色“Pass”，就证明在符号逻辑底层，它已经被数学公理判定为绝对成立、零逻辑死锁、零幻觉。 这个反转极具讽刺意味： 1. 数学家愤怒抗议——“老子不伺候了，拒绝给你们排查幻觉！” 2. OpenAI 微微一笑——“不用你们排查了，机器自己给自己发了合格证。我们不仅不需要你们擦屁股，我们甚至把结论直接刻在公理底座上了。” 但紧接着，人类学术史上最荒诞、最屈辱的奇观诞生了： 这些由机器自证通过的论文，长达数百页，没有任何人类能够共情的核心洞察，没有概念跨越的直觉美感。它就像外星人用意念砌成的一座通天塔——它确实立在那里，物理规律挑不出任何毛病，但全人类没有一个人能看懂它到底是怎么建起来的。 正如舒尔茨此前所警告的那样：“如果一项证明只有机器能遍历，没有任何人类大脑能领会其脉络，那它对人类认知几乎毫无增量。” 人类数学家被硬生生架空在半空中。 你指责它是垃圾，但机器编译器证明它是对的； 你承认它是伟大突破，但你穷尽后半生也搞不懂它背后的逻辑直觉。 这是比“被当成廉价劳动力”更深层的恐惧：人类在真理面前，变成了彻底多余的旁观者。 三、别装外宾了，这一刀终究会剁碎所有白领的体面 看到这里，我猜很多读者依然会有一种看戏的心态： “神仙打架，数学家失业关我月薪八千什么事？” “数学反正我也看不懂，谁推出来的有什么区别？” 醒醒吧。 如果全世界最抽象、最严密、被公认为“人类智力最高堡垒”的纯数学，都在数亿美元的算力轰炸下被撕开了这么大一个缺口，你凭什么觉得自己那个岗位能独善其身？

大家把 OpenAI 这套“洗劫纯数”的连招拆解开，看看它的内核： 1. 一个有明确边界的规则体系； 2. 一个能自动判错的闭环验证器； 3. 一群被强化学习驱动、以算力为食的试错 Agent。 请问，你的工作，逃得开这三条铁律吗？ • 做审计与财税的：财务准则比代数拓扑简单一万倍，勾稽关系就是现成的编译器。只要调派 100 个 Agent，50 美金算力，就能把上市公司十年的假账翻个底朝天，顺带输出完美避税架构； • 做法律合规的：法条、判例法就是公理库。过去律所合伙人带五个助理律师熬夜翻卷宗，以后一个 Agent 集群 20 分钟遍历全球所有法域判例，生成毫无破绽的抗辩书； • 搞工业制图与架构设计的：物理力学标准就是规则，拓扑优化就是编译器。人类总工三十年的经验直觉，在机器通宵试错 1000 万种承重结构的暴力迭代面前，不过是一串迟缓的电信号。 我在上篇文章里也提过：生成半成品的边际成本正在趋近于零，而检验成本正在暴增。 而本周 Altman 向全世界展示的，是这个逻辑的下一阶段： 资本宁可烧几亿美元给机器配上“自检系统”，也绝不会慢下来等人类的脑神经发育。 他们不要你的直觉，不要你的顿悟，不要你的心智成长。资本只要结果，只要那个被打上“Pass”标签的交付物。 当真理变成了花钱就能买到的预制菜，那些在后厨切了一辈子配菜的大师们，连被骂菜做得难吃的机会都没有了。 四、终局发问：陶哲轩的妥协，还是舒尔茨的坚守？ 陶哲轩向左，舒尔茨向右。究竟是做坚决不碰 AI 的“原教旨守门人”，还是做积极拥抱 Lean 的“实用派探路者”？

Altman 的这番表态，答案显而易见了。 当大洋彼岸的机房把解题成本压到“1 万美元一件”的时候，任何纯靠纸笔的坚守，在量产的现实面前都会被稀释得无影无踪。 你可以不上牌桌，但牌桌上的规则已经被改写了； 你可以不读机器生成的论文，但现实世界的专利、工程和算法演进，已经在用这些成果开疆拓土。 这或许是人类历史上最残酷的一场知识洗牌： 机器没有心智，但它掌握了真理；人类拥有灵魂，却失去了对宇宙秩序的解释权。 Altman 说得没错，人类配得上知道真理。 但他没说的是：如果真理的代价是全人类智力尊严的退场，那我们到底是在通往神坛，还是在步入自己亲手修建的数字动物园？