10 月 6 日，OpenAI 在 Github 上拉了坨大的。
他们狂暴上传了 722 篇数学手稿，堪称是对数学界的一场 DDoS 核打击。
首先你得知道，O 厂特色，管拉不管埋。
这 722 篇 " 神仙手稿 " 挂出来不到 48 小时，就被撤回了 3 篇。
10 月 8 日，数学家 Elliot Glazer 用 OpenAI 自家的 GPT 6 Astra，跑了一遍《split abelian eightfolds 上 Weil 类的代数性》的手稿后，Astra 给出的结论是 " 有缺陷的 "。
他把这个结果发到网上后，不到三个小时，OpenAI 的研究员就官宣更新，表示内部审计时发现漏洞：
这篇手稿有一处正负号搞反了，导致整篇论证失效，连带着另外两篇依赖同构造的内容也被撤回。
但有一件事很明白，就是这 719 条（去除被撤回的 3 篇）数学手稿里，其中只有 42% 的顶层结果用 Lean 做了机器可验证的形式化。
合着 OpenAI 心疼算力心疼电，发出来让碳基科学家打白工。
这论文读着烧心啊。
连奥特曼本人都说，这些是 " 未经外部数学家确认的 claims"。
但它绝对加速推动了全球数学家觉醒讨伐型人格的进程。
大量数学家在媒体和社区中攻击 OpenAI 的行事逻辑，甚至有人说他们是站在巨人的肩膀上呕吐。
首先，他们表示 OpenAI 身上挂着非法剽窃、侵犯版权的一系列官司。
其次，全球数学家，0 人要求 OpenAI 做这些事。谁问你了？
然后，OpenAI 发狂，整 700 多份文件，展示的不是学术严谨，而是权力。
最后，AHM 敦促全球数学家，抵制与 OpenAI 的一切合作。
作为菲奖得主，陶哲轩是全网公认的 "AI4Math" 激进倡导者，很早就就开始拥抱 AI 了。
为啥一觉醒来，他就要跟奥特曼爆了，塔塔开了 ?
原因其实很简单，江湖不是打打杀杀，是人情世故。
以老陶为首的菲奖得主，这群人类最顶级的大脑们，他们最期待的 AI 剧本是什么？
以人为主。
或者更详细点说，是 " 数学共同体 " 主导的赛博学术行会。
今年 9 月，陶哲轩在博客宣布推进开放数学模型计划（Open Math Models）。
目标就是建立一个从模型训练到日常使用再到资源分配，全部由数学家主导，独立于 AI 巨头的科研模型。
可以找资本金主化缘要算力，但方向盘必须焊死在数学家手里。
贾维斯负责给我端茶倒水打打杂，数学家负责指引人类群星如何闪耀。
最后，荣誉、职称、菲尔兹奖，依然在精英圈子里轮流转。
但 OpenAI 不讲武德啊，一脚给全世界最聪明的大脑，踢进车间当 AI 论文人肉质检员了。
这不是倒反天罡吗？
到了 10 月 11 日，陶哲轩在加州理工的《Math 2.0》演讲里讲得非常明白：
传统数学里，一个大猜想的证明会引爆一连串活动——作者开巡回报告、办研讨会、拉合作、带新人，证明被反复咀嚼、简化、写进教材，养活一代人。
而现在，问题被一群 " 对数学领域毫无兴趣、也读不懂 AI 产出 " 的操作者批量解决，题是没了，可研讨会、合作、新人也没了。
AI 以批发的速度生产证明，人类消化知识的速度却仍是线性的。
陶哲轩管这个叫 " 证明消化不良 "。
在老教授们的眼里，硅谷这帮敲代码的二本小子，用着不公开的内部模型，今天解了这个祖师爷的猜想，明天验证了那个祖师奶谜题。
既砸人饭碗，又刨人祖坟。
这才是数学家和 AI 巨头之间最不可调和的利益冲突。
但话说回来，即便数学家们从象牙塔尖跌落，也并不意味着普通人就得到了同等的数学能力。
因为，如果巨量的算力和最强的模型依然锁死在少数公司手中，那么坐在数学界铁王座上的屁股，可能只是从 " 普林斯顿的教授圈 " 换成了 " 硅谷资本的代言人 "。
从一个旧的精英特权，滑向一个更加集中的算法垄断。
所以说，人类需要开源啊。
牛顿顿顿
本文来源公众号：牛顿顿顿；ID：creatviewer，欢迎关注。
