OpenAI给数学家逼出自由者搏击了

10月6日，OpenAI在Github上拉了坨大的。

他们狂暴上传了722篇数学手稿，堪称是对数学界的一场DDoS核打击。

很多AI媒体当场就炸了，连夜发通稿说“OpenAI一夜攻克722个数学难题”“黎曼猜想已被证明”“古典数学已死”等等等等，但真的是这样吗？

首先你得知道，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的行事逻辑，甚至有人说他们是站在巨人的肩膀上呕吐。

而在手稿发布的第二天，10月7日 AHM（人类数学协会）直接向全球公开发表了一份措辞极其严厉的抵制声明。

首先，他们表示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巨头之间最不可调和的利益冲突。

但话说回来，即便数学家们从象牙塔尖跌落，也并不意味着普通人就得到了同等的数学能力。

因为，如果巨量的算力和最强的模型依然锁死在少数公司手中，那么坐在数学界铁王座上的屁股，可能只是从“普林斯顿的教授圈”换成了“硅谷资本的代言人”。

从一个旧的精英特权，滑向一个更加集中的算法垄断。

所以说，人类需要开源啊。