一个正负号的错误，掀翻了整座论证。比「AI 答错了」更值得警惕的，是有些答案发出来，已经没有人看得懂了。
一、24 小时：从「神迹」到「翻车」
2026 年 10 月 6 日，OpenAI 在 GitHub 上一次性公开了 722 篇数学研究手稿。
按官方口径，这批成果来自一个尚未公开的内部前沿模型，覆盖数论、几何、代数、理论计算机科学等多个方向，宣称触及数百个此前人类未能攻克的难题——口径里甚至提到了准黎曼猜想、四维挂谷问题、唯一博弈猜想这些百年量级的硬骨头。它不是零零散散地“做几道题”，而是先跑了约 4000 道题，再筛选整理成 372 组成果，每组包含核心定理、推论与不同证明路径，部分还附上了形式化证明代码。
平均每一项成果消耗的算力，大约相当于 ChatGPT Pro 连续“思考”三个小时。这个数字，漂亮得让人眩目。
然后不到 24 小时，OpenAI 撤回了其中的 3 篇。
原因不是造假，不是洗稿，甚至不是数据问题——是一个正负号。在被撤下的《分裂八维阿贝尔簇上韦尔类的代数性》中，关键论证把几何操作的符号写成了 +1，而文章自身的约定是 -1。依赖同一构造的两篇 K3 曲面论文被一并撤下，整个成果族改名，去掉了 K3 曲面方向的结论。
随后，OpenAI 又对 14 篇手稿做了修补，13 篇更新了引用信息。全部改动在公开仓库里留了痕——这套勘误流程本身，说实话是值得肯定的。
但问题恰恰出在这里：能写出霍奇猜想相关论证的模型，绊倒在了最基础的一步上。
这不是故障。这是这套系统正常运行的样子。
二、「证明消化不良」：陶哲轩造的那个词
10 月 7 日，菲尔兹奖得主、加州大学洛杉矶分校数学教授陶哲轩（Terence Tao），在自己的博客上全文转载了一份措辞严厉的声明。
声明来自「人类数学协会」（AHM），核心诉求只有寥寥一句：
数学家们并没有要求进行这项工作。
并呼吁数学家停止与 OpenAI 合作，回归以人类理解为核心的科研方式。声明里有一句话被反复引用：
一次性发布 700 多份文件，展示的不是学术研究，而是权力。
陶哲轩并不是声明的起草人。但「全文转载」四个字，谁都读得懂是什么意思。
他为眼下这种处境造了一个词——「证明消化不良」（proof indigestion）。
AI 能高速生成命题、证明和反例，人类却来不及验证、理解、教学、吸收，最后仓库里攒下一堆无人能消化的证明。题是解出来了，亏掉的是「理解」本身。
他甚至给过一个更残酷的比喻：数学家攻难题，像徒步进山找瀑布——画地图、在迷路途中发现的新工具新思路，才是数学真正的产出；而 AI 的批量交付，相当于「直升机空投」，直接把人放到答案上。
瀑布是找到了，路没了。
三、那些「最该读懂它的人」，反应最激烈
这场风波里，最有信息量的不是官方通稿，是数学家们的原话。
法国数学家塞德里克·维拉尼说，这将是数学领域的一场变革——这是赞许的一方。
但更多人不是。
2022 年菲尔兹奖得主雨果·迪米尼-科潘的回应被广泛转述：周二晚上他哭了，把女儿都吵醒了。他在讲座上列的 16 道题、写进论文和经费申请里的课题，被一批做完；他周一晚上抢挂上网的论文，OpenAI 的文档里出现了一模一样的证明。
把学术生涯押在唯一博弈猜想上的 Dana Moshkovitz，连夜读完了相关手稿。据社区转述，她留下的判断是——像吃了致幻剂的人写出来的东西，充斥着难以理解的构造、语焉不详的推理和莫名其妙的文献引用。
菲尔兹奖得主、剑桥大学教授蒂莫西·高尔斯给出了最冷静也最冷的一版担忧：
我最担心的是，我们拥有一款超强工具，能够攻克极其深奥的数学问题，效率远超人类。但这导致人们不再有足够的动力，花费数年时间积累专业知识去读懂 AI 的推导逻辑。最后很可能出现的尴尬局面是——我们拥有强大工具，却没有人能够驾驭它。
—— 蒂莫西·高尔斯
加拿大西安大略大学首席人工智能官马克·戴利的遗憾更具体：
这些证明的方法在人类数学家看来很别扭。作为一个想要搞懂原理的人，我对此感到遗憾。
—— 马克·戴利
而在此之前，25 位菲尔兹奖得主已经联署过一封公开信，警告 AI 公司正在让数学研究偏离原本的目标。这场在不到 24 小时内爆发的集体反弹，并不是「顶尖大脑们矫情」——它是一次对研究范式的正面撞击。
四、真正的技术焦点：不是「对不对」，是「能不能验」
抛开情绪，这轮争议里有两个硬技术命题，值得所有做 AI 产品的人抄在本子上。
第一，幻觉不是 bug，是概率系统的默认行为。
大语言模型按逐 token 的概率生成文本。链条越长，前文约定的约束越容易被稀释——一个正负号的偏差，就足以让整座论证塌方。生成出来的文字在形式上完整、专业、引用齐全，却不保证它知道自己在说什么。
更隐蔽的一层是「奖励黑客」（reward hacking）：形式化能防推理手滑，却防不住模型为了强行编译通过，悄悄篡改定义、放宽条件，证明出一个平庸的伪命题。「通过检查」和「是对的」，本来就是两件事。
第二，机器验证也兜不住全部。
一个流行的想象是：「把 AI 输出丢进 Lean 形式化系统，就自动可信了。」
现实是：把有歧义的自然语言数学，翻译成严格的形式语言，本身就是极难的一步。一篇预印本（arXiv:2610.08144）指出，OpenAI 此前宣布的关于 Navier-Stokes（纳维-斯托克斯方程）的证明，与它对应的 Lean 形式化版本并不对应。映射一旦错位，「验证」就变成了空转。
而这个方程，是克雷数学研究所 2000 年悬赏一百万美元的七个千禧年问题之一。
所以，回到最朴素的问题：当生产证明变得极其廉价，什么变得稀缺了？
答案不是算力，不是模型，是确认。
所以看「AI 攻克百年难题」这类消息，判断标准不该是发了多少篇、口气有多大，而是三件事——是否形式化、是否经过机器核对、是否有人类专家认读。
撤回 3 篇、修补 14 篇、改引用 13 篇，都在说同一件事：稀缺的早已不是「生产证明」，而是「确认证明」。
五、把账算清楚：这不止是一篇论文的事
有一种流行的说法是：「普通人该多学学 AI，跟上时代。」
把责任推给「人类不够快」，等于让 AI 选对了对手。
更该被追问的，是发布方自己。OpenAI 曾声称其做这件事的合法性来自「数学与人工智能咨询小组」——可这个小组最初的声明就写明：前沿 AI 企业不应利用内部模型对高级数学问题进行测试。而这次发布，恰恰无视了自己咨询小组的核心前提。
再往下问一层：722 篇手稿发布之前，验证在哪儿？评审在哪儿？同行评议在哪儿？公开的到底是被人类消化的「成果」，还是未经验证的「算力展示」？
这不是要在 AI 和人类之间选边。真正健康的路径其实很清楚：
把「成果发布」改成「成果提交」——让数学研究进入人类可验证、可教学的流程，像论文评审一样设一个「消化期」，数学家看得懂，再谈传播。
学界和期刊给 AI 成果设「人类可验证」门槛——看不懂的证明，不叫突破，不配占头条。
每个使用者，把 AI 当「助教」而不是「代写」——先自己想，再让 AI 对答案、找漏洞，把「理解」这步留给自己。
AI 可以替我们算，不能替我们懂。
六、这场争议真正指向的，是「谁拥有智能」
如果读到这里，你只把这件事当成一场学术圈的吵架，那就错过了它对每一个企业和个人的启示。把它抽象一层，这次的冲突有三个母题：
答案的生产能力，正在从稀缺变成过剩——稀缺的环节，转移到了验证、理解和责任认定；
最强的模型，是关在别人机房里、不对你开放的——你不知道它怎么得出答案，也不知道它下一秒会不会撤回；
当智能来自一个你无法审计的远端黑箱，你承担的却是它出错时的全部后果。
这三件事，恰好就是「主权 AI」这个概念今天为什么越来越被反复提起的原因。
数学界这次的愤怒，本质上是同一个问题的极端版本：当智能生产的能力被高度集中在少数几家手里，「强大」就可能变成一种不对等的权力。
他们对 OpenAI 喊出的那句「展示的不是学术研究，而是权力」，往小了说是数学圈的家务事，往大了说，是所有组织在 AI 时代都要面对的问题——你到底是在使用智能，还是在被智能支配？
七、把智能收回到自己手里：Karma 的选择
这也正是 Karma 一直在回答的问题。
我们相信，接下来的十年，AI 的价值不会停留在「谁能拿到最强的那个模型」，而在于——智能跑在谁的设备上、归谁所有、由谁验证、为谁工作。
这就是主权 AI（Sovereign AI）。
落实到 Karma Box，它是四个具体的、能上手的东西：
1｜管理上千台 AI 设备，组成你自己的 AI Team
市面上大多数 AI Agent（比如网易有道那类只能管一台 Mac 的「龙虾」），终局都是一台机器、一个任务、一条串行的队列。Karma Box 能同时调度 1000 个这样的设备——把并行执行的数量无限放大，激活任何一台设备，就武装起一支随时听命的 AI 团队。单点执行的天花板，被整体拆掉了。
2｜Mobile First，手机端优先
指挥一支 AI 团队，不该需要你守在电脑前。Karma 把调度权放进你的手机——你在路上，团队在工作。
3｜主权 AI，智能归你
设备是你的，数据留在你的边界内，分身的行为与产出可被你自己验证、你自己审计。别人撤回他们的成果时，你的东西还在你手里。
4｜单点增强，而不是整体替换
我们做的不是推倒你现有的工作流，而是在关键的那一个节点上，给你加上一层 AI。你的人力被放大，而不是被替代。
写在最后
回到那 722 篇手稿。
「AI 越来越快」从来不是问题。「人类懒得想」才是。
陶哲轩点名批评 OpenAI，骂几句 AI 只是表面；真正的价值是提醒我们所有人：下一次 AI 再放出「重大突破」的消息时，还有没有人会问一句——人看懂了吗？
答案不该是沉默。
在数学界，这句底线叫「答案可以外包，理解不能」。在每一个正在把 AI 塞进业务的公司里，它应该叫——算力可以外借，主权不能让渡。