OpenAI攻克数学难题，西方数学界彻底炸锅了。
10月6日，美国科技企业OpenAI一次性发布了722份AI生成的数学证明手稿，覆盖372组数学猜想结果。其中一部分属于菲尔兹奖级别的难题，需要投入大量时间和精力反复验证。
这种“腹泻式”更新，让许多西方数学家难以接受。人类数学协会随即发表了一份措辞严厉的声明，呼吁全球数学家停止与OpenAI合作。

美国著名数学家陶哲轩迅速将声明全文转载至个人博客，并代表西方数学界表示：OpenAI一次性放出700多份文件证明，这不是学术展示，而是权力展示。
别人尚可，陶哲轩却是其中最尴尬的一位，不抵制确实不行了。作为华裔科学家，他一生都奉献给了美国。
然而，儿子的资源被薅，去年实验室资金又被冻结没收。没收的原因，是他没管好学生，有学生支持巴勒斯坦。在这种情况下，AI又来抢学术成果，陶哲轩自然难以接受。
由于陶哲轩的特殊地位，在他抵制后，西方媒体的标题一个比一个吓人，比如“陶哲轩向OpenAI宣战”“人类数学家联合抵制AI”“数学的最后堡垒失守”等等。

首先，发生了什么。并非OpenAI突然发明了什么神乎其神的技术，或意识觉醒之类的烂梗。
OpenAI做的事其实非常简单——用超强算力的大模型批量做数学题。这和曾经用计算器、小霸王学习机做题是一样的，哪里不会点哪里。只不过当下的模型，从帮小学生做算术题，变成了能证明前沿数学猜想。
对比数据，便知大模型做题为何如此之强。OpenAI的内部模型训练动用了超过10万张英伟达卡，而一个普通小计算器的核心只是一块指甲盖大小的芯片。
以OpenAI解纳维-斯托克斯方程为例，当时调用了约1万个AI代理同时运行，智能体之间传递了约270万条消息，消耗词元1300亿。
可以粗略认为，有上万个同学在不停地哪里不会点哪里，聚沙成塔，积少成多。这不是无数个零，而是无数个一。且这群同学不需要睡觉、不会分心、也不会遗忘。通过无数次穷举，现代数学中的证明被洞穿，只剩时间问题。
注意，这对普通人来说，是绝对利大于弊的一件事。得益于AI的辅助，普通人可以更好地理解和应用高等数学。
最典型的例子，就是英国的利亚姆，他没有任何的数学教学背景，但仍然在大模型的辅助下，推进了一个困扰数学界60年的经典难题——埃尔德什第1196号问题。

问题来了：既然这是对人类利大于弊的好事，为什么这群西方数学家要集体抵制？
抵制分为表层和深层两个原因。
表层原因，也是他们说得最多的：数学的答案并不重要，数学证明的过程才最重要。因为数学研究的灵魂不是答案，而是人类理解。
他们认为，OpenAI这700多个证明写得又密又怪，连该领域最顶尖的数学家都得靠AI帮忙才能读懂。他们攻击OpenAI抛出一堆黑箱证明，哪怕结论正确，人类看不懂、学不会、接不住，对数学共同体而言就没有价值。
这话说对也对，说不对也特别扯淡。这就像比赛时有人突然说，友谊第一，比赛第二，享受过程最重要——这是胜利者对失败者的心理安慰。
而且，最核心的一点在于，数学本身就是全人类的财富。大模型给出证明，反倒帮助人类提升效率。数学家认为过程可以享受，大可以继续享受；但对普通人来说，这是马上可以应用的果实。
然后是里层。他们维护的不是数学，而是数学系。这两者区别太大了。

用大白话说，他们要的是占着茅坑不拉屎的权力。
一个23岁没有数学经验的年轻人，居然可以通过工具辅助破解数学难题，这怎么行？声明中有一句话非常直白地展示了这些数学家的心态：数学家对进步有着特定的愿景，这种愿景植根于历史与学科自身的考量。
翻译过来就是：数学这个学科怎么才算进步，什么方向算进步，应由我们来定义。就算普通人有成果，也必须在我的权力框架内有成果，才算成果。
所以，这场抵制不是人类对抗机器的正义之举，而是西方一群既有学术权威，面对端他们饭碗的商业算力怪兽，进行的抱团抵制罢了。
注意，我们并没有说数学协会没实力、没贡献。相反，陶哲轩等西方数学家在学术上的成绩都非常耀眼。但有学术成绩，不代表不会抱团搞学术圈子。
以欧洲数学家克罗内克为例，他是当时欧洲最杰出的数学家之一，柏林大学教授。他有一个学生叫康托尔，创立了集合论，是现代数学的基石之一。
但克罗内克因嫉妒且恐惧康托尔抢夺自己的地位，疯狂反对集合论，并动用一切手段和学术地位，让所有大学拒绝康托尔，最终把自己的学生逼进了精神病院。
所以说，有人的地方就有江湖。这句话放在数学界同样适用。

说到这里，也产生了一个问题：AI这么强大，真的会像数学家和媒体所说，毁了数学吗？
不会。这个剧本，历史上已看过无数次。
1825年，不列颠议会下院曾讨论修建曼彻斯特到利物浦的城际铁路。当时反对声铺天盖地。造马车的、造马具的、车主、车夫、小酒店老板、驯马师、马贩子等纷纷反对，甚至连牛场农场主都站出来说，修完铁路后奶牛都不下奶了。
近现代就更多了。电报、电话、广播、计算机、搜索引擎等工具，每一次新技术出现，都会有一个行业的精英站出来抵制，表示这东西不行，破坏了该领域的灵魂。
最像这次事件的，当数2016年的AlphaGo。
2016年3月，韩国棋手李世石以1比4输给人工智能AlphaGo。当天的标题与当下毫无区别：“围棋已死”“人类最后的智慧堡垒陷落”“AI将会觉醒”等等。整个围棋界的反弹情绪，完全不亚于当下的数学界。
由于AlphaGo的下法与人类风格完全不同，有些甚至超出人类棋手理解，只有计算，没有个人风格和情绪。于是，老一代棋手痛批AlphaGo下的不是围棋，侮辱了围棋艺术。很多人断言，围棋从此完了。
但十年过去，AI没觉醒，围棋该办比赛办比赛，该有人下棋还有人下棋。而且，得益于AI帮助，围棋水平出现长足进步。后来学棋的棋手们，没有先去理解AI为什么下那步棋，而是先模仿、先使用，在实战中慢慢消化。

传统围棋布局理论被彻底颠覆，催生了一大批前所未见的新定式、新下法。年轻棋手靠着对AI的熟悉，整体水平比十年前整整抬了一个档次。
当下的围棋普通选手，穿越回当年，完全就是无敌的。尤其是韩国国家队，70%到80%的训练靠AI。卞相壹与AI走法的匹配度高达35%以上，远超其他职业选手。
这帮韩国人根本不纠结AI下的棋有没有灵魂。他们只干一件事：把AI当陪练，极力模仿AI。
除AI外，当下大量对战游戏——Dota、英雄联盟、王者荣耀、星际争霸、CSGO等电子竞技游戏，人类选手都在模仿AI。这没有什么好与坏。
数学也一样，AI不会毁灭数学。但一定会毁掉靠信息差和评审权吃饭、不再认真做学术创新的人。