15分钟一局的王者荣耀，成了数学博士生的避难所

梦溪是一名王者荣耀爱好者，最高段位是巅峰赛1955分，与此同时，他也是一名数学博士生。 最近他花了两周，把元流辅助的战力从9000多一口气打到了11000。 主要原因就是，AI的数学能力，让他“道心破碎”了。 其实他一直认为自己像个战神，巅峰赛手拿把掐，只是没打。因为他觉得，研究生宝贵的时间，应该花在挑战数学有趣的难题上。 直到一条新闻打乱了他的科研生活——5月20日，OpenAI宣布，他们的内部模型，第一次像数学家一样，独立推翻了一个人类研究近 80 年的数学猜想，且使用的方法堪称绝妙。 这个猜想叫做“平面单位距离猜想”，由传奇数学家 Erdős 提出，内容用一句话概括为：平面上任意给定 n 个点，其中距离恰好为 1 的点对数量，最多为 n^{1+o(1)} 。 不管你看不看得懂，用菲尔兹奖得主Timothy Gowers的话说：如果你是一位数学家，可能真要震惊瘫坐在椅子上了（原话是，你可能需要确保自己坐稳了）。 梦溪告诉我们，他以前没时间打游戏，因为经常忙着研究数学，但现在感觉，没有意义了，不如上两把分。 01 只需要15个月吗？ 在和差评君聊天时，梦溪正在酒店里，享受一场久违的旅行。在这之前，他一直保持着良好的习惯，不是上自习，就是搞科研。 他只是觉得，是时候出去走走了，先逃离上海吧，逃到一个没有数学的地方。 有些差友可能满脑子问号：作为全世界原子弹爆炸频率最高的地方，你们AI圈吹牛也不是一次两次了。AI 能研究个毛的数学啊？ 但这次确实不太一样。 “平面单位距离问题”是离散几何领域的一个核心问题，描述为：在平面上给定 n 个点，最多能有多少对点之间的距离恰好等于 1？ 这题虽然比不上黎曼猜想，哥德巴赫猜想这样的明珠，但也算该领域教科书级别的经典难题，Erdős 本人还为它设了悬赏。 Erdős 本人给出过一种构造，能让点对数量达到 n^{1+o(1)}，这就是上面提到的被AI推翻的“猜想”。 AI 的思路非常惊艳，靠构造反例，成功推翻了这个猜想。 而且它的做法，是把这个看似几何的问题，迁移到了一个看似毫不相关的领域：代数数论，调用该领域的现有工具构造出了反例。 OpenAI：邪修秒杀题，有感觉吗？ 虽然梦溪对 AI 研究数学早有耳闻，但他没想到，这一天来的这么快。 用 AI 研究数学第一次进入他的视野，是去年DeepSeek爆火的时候。他用 DeepSeek做过一些题，某些方面还不如本科生。 同时，还有一群我们俗称的民间科学家，拿着 AI 生成的黎曼猜想证明给他投稿，其中有一份是《基于某二次元游戏的黎曼猜想证明》，当时他觉得最难的事情是绷住。 但仅仅到2026年初，梦溪和他的同学们就发现，AI 的数学能力发生了断崖式的跳变。之前做本科习题还会翻车的AI，硕博课程的习题已经能轻松拿下。 他和同学原本计划编一本代数教材的习题答案，后来发现喂给 AI 就能哐哐哐写完了，这还编啥？所以他已经在尝试借助 AI，完成这个习题答案编著工作。 他算了一下：从不如本科生到推翻数学猜想，AI也就用了15个月。 考虑到内部模型和公开版的代差，AI 能力实际的跃迁时间也不会超过两年。 一个人要走完这段路，至少得二三十年吧，再长就拿不到菲尔兹奖了。 按这个速度，三年以后会是什么样呢？梦溪说，真的不敢想。 03 数学科研：传统派VS维新派？ 历史总是惊人的相似，数学研究现在也可以分为两派，传统派和维新派。 一派是不相信 AI 能做出啥成果的，另一派已经把 AI 当成不可或缺的伙伴了。虽然现在，维新派已经有OpenAI替他们辩经了。 《返朴》曾采访过西交大的一名本科生汤泉宇，他很早就开始用AI做数学研究，在圈子里很有名，也很有争议。 传统派觉得他功底不扎实，这样是要吃大亏滴。结果，人家后来就去跟菲尔兹奖得主陶哲轩合作了。 但想成为维新派，也并非那么容易。梦溪说，他身边的圈子，已经充满焦虑了。 他的某个朋友，曾一心想留高校做教职，现在直接放弃了，打算赶紧把博士读完，争取拿个编制。 另一个博士生朋友，曾经有个思考了五六年的问题，在 AI 的辅助下，几天就攻克了。于是他陷入了惶恐：如果AI几天就能做到，那我这五六年算什么？ 而梦溪第一次感受到AI的魅力，是在研究生讨论班的时候。他其实有感觉，之前讨论时，导师对他的发言不是很满意。 直到有次打巅峰赛上头，走投无路了，就拿 AI 研究了下内容。那次讨论班，他明显感觉到导师很满意。从那之后他就明白，AI 太好用了。 现在，他也已经觉醒了Vibe mathing的能力，包括他身边所有同学。 于是，他自研了一套基于王者荣耀的Vibe mathing策略。 因为GPT模型生成一轮答案的用时大约是15分钟，恰好是一把巅峰赛的时间，于是他就会在 BP 阶段秒选出元流之子辅助，然后写提示词，在发送给GPT后投入战斗，战斗结束刚好就能收到来自GPT的证明，形成良性循环。 从此，他就对Vibe mathing（不是王者荣耀）上瘾了，甚至能研究到半夜三点。 我们再往下看，就会发现，这事儿也不只是一个人的问题。 梦溪说，如果一位数学博士想在高校体系里生存，就得出成果。 而要出成果，就只能做那些偏保守的，方法成熟的研究，这样，产出才有确定性。然而这种研究，恰恰也是AI最擅长的事情，相当于整合各种知识，或者像推翻“单位距离猜想”那样，迁移不同领域的知识，然后，堆工作量。 梦溪告诉我们，很多数学博士生为了毕业而发表的学术论文，本质就是把A领域的方法迁移到B领域。而从AI目前的势头看，批量生产这种“知识迁移”向成果，只是时间问题。 而这种“知识迁移”向成果在当前的学术评价体系下，也已经是相当大的创新了。OpenAI这次所取得的重大突破，就是一个”知识迁移“向的成果。 所以梦溪判断，再这样下去，大概只有5%的数学从业者，不会被AI替代。 "AI对数学最大的冲击，不是它有多强，是让大部分人认识到自己是平庸的。" “也算打脸了之前一些'学科鄙视链'的风气吧。之前嘛，学数学的看不起学工科的，学计算机的看不起生化环材的，现在，只能说反转了。人生化环材至少还得做实验呢，不会被AI取代。” 03 数学真会被消灭吗？ 说了这么多，传统派真的要大失败了吗？ 我们也询问了一位福大数学系的副教授，有意思的是，黄书棋老师的态度比梦溪冷静很多， 甚至可以说乐观。 黄老师的判断是，AI冲击的只是数学的局部，不会取代数学家，因为数学家有“审美”。 AI做数学的路径，简单来说是这样的：吃掉海量的历史文献和已有成果，在那些已经高度形式化的领域——比如代数、组合——进行训练，再通过一个叫Lean的形式化验证工具不断自我纠正。如今AI的突破，几乎就全集中在这类"标准化"的数学方向上。 刚才提到的单位距离猜想，其实就是个典型案例：AI把代数数论的现有工具跨领域迁移到离散几何上，完成了一次漂亮的知识重组。厉害吗？当然厉害。 但本质上，它用的每一个工具都是人类已经发明好的，它做的事情是把这些工具以一种没人想过的方式拼在了一起。 但黄老师认为，这并不是数学里最核心的那种创造。 他向我们举了个例子，数学家哥德尔和科恩在研究连续统假设时，并不是采用已知的数学工具，而是努力把“什么叫数学证明”这件事，变成了一个可以研究的数学问题。 正是在这个基础上，哥德尔和科恩才分别构造出了不同的数学宇宙，一个让连续统假设成立，一个让它不成立。 这种能力，对AI还是太超前了。 黄老师说，它一定缺少一种来自学科发展动机的判断，因为AI没有这种训练数据。它不会知道，为什么我们非要发明这个工具，而这个为什么，恰恰就来自数学家的审美。 这，就是人类数学家的安全区。 但残酷的地方在于，“审美”恰恰是数学里门槛最高的部分，这种能力不是靠努力就能培养的，很多数学家穷尽一生也未曾做到。 绝大多数数学从业者，他们的职业生涯都会在"安全区"之外。 因此，黄老师的判断和梦溪异曲同工。AI在不久的将来淘汰掉“科研民工”，已经是板上钉钉的事了。 那数学专业的毕业生们何去何从，甚至数学专业又何去何从？ 没人知道。一切都还在飞速向前。 04 结局：道心破碎之后 梦溪今年25岁，在转博之前，AI的数学能力在他面前还是智障。转博之后，AI突然就碾压了自己。 在他人生的前25年，从来没想过会有一种硅基的东西，在数学上的能力会远远超越自己。 他之前想在高校待一辈子，觉得跟数学打交道就够了。用他的话说，他之前喜欢打PVE。 但现在，PVE打不下去了，他开始投身PVP，因为他认为跟人打交道，在AI时代会越来越重要。 当然，他也从来没后悔过选择数学，就像排位时秒选元流之子，本质上，这都是一段经历。 他说如果没有这些经历，他对AI的认识就没有这么深刻，也不会有时间去思考自己的价值。当一切想清楚之后，他依然相信，明天会更好的。 本文来自微信公众号“差评X.PIN”，作者：差评君，36氪经授权发布。