AI 15个月走完人类30年的路，数学博士道心破碎开始打王者荣耀

一局王者荣耀的时间是15分钟，而这段时间，AI恰好能解出一道博士水平的数学题。 梦溪是一名王者荣耀爱好者，最高段位是巅峰赛1955分。与此同时，他也是一名数学博士生。最近他花了两周，把元流辅助的战力从9000多一口气打到了11000。主要原因就是，AI的数学能力让他“道心破碎”了。 其实他一直认为自己像个战神，巅峰赛手拿把掐，只是没打。因为他觉得，研究生宝贵的时间，应该花在挑战数学有趣的难题上。直到一条新闻打乱了他的科研生活。 5月20日，OpenAI宣布，他们的内部模型第一次像数学家一样，独立推翻了一个人类研究近80年的数学猜想，且使用的方法堪称绝妙。这个猜想叫做“平面单位距离猜想”，由传奇数学家Erdős提出，内容用一句话概括为：平面上任意给定n个点，其中距离恰好为1的点对数量，最多为n^{1+o(1)}。 不管你看不看得懂，用菲尔兹奖得主Timothy Gowers的话说：如果你是一位数学家，可能真要震惊瘫坐在椅子上了。原话是，你可能需要确保自己坐稳了。 梦溪告诉我们，他以前没时间打游戏，因为经常忙着研究数学，但现在感觉没有意义了，不如上两把分。 只需要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能力实际的跃迁时间也不会超过两年。一个人要走完这段路，至少得二三十年吧，再长就拿不到菲尔兹奖了。按这个速度，三年以后会是什么样呢？梦溪说，真的不敢想。 历史总是惊人的相似。数学研究现在也可以分为两派，传统派和维新派。一派是不相信AI能做出啥成果的，另一派已经把AI当成不可或缺的伙伴了。虽然现在，维新派已经有OpenAI替他们辩经了。 《返朴》曾采访过西交大的一名本科生汤泉宇，他很早就开始用AI做数学研究，在圈子里很有名，也很有争议。传统派觉得他功底不扎实，这样是要吃大亏滴。结果，人家后来就去跟菲尔兹奖得主陶哲轩合作了。 但想成为维新派，也并非那么容易。梦溪说，他身边的圈子已经充满焦虑了。他的某个朋友，曾一心想留高校做教职，现在直接放弃了，打算赶紧把博士读完，争取拿个编制。另一个博士生朋友，曾经有个思考了五六年的问题，在AI的辅助下，几天就攻克了。于是他陷入了惶恐：如果AI几天就能做到，那我这五六年算什么？ 而梦溪第一次感受到AI的魅力，是在研究生讨论班的时候。他其实有感觉，之前讨论时，导师对他的发言不是很满意。直到有次打巅峰赛上头，走投无路了，就拿AI研究了下内容。那次讨论班，他明显感觉到导师很满意。从那之后他就明白，AI太好用了。 现在，他也已经觉醒了Vibe mathing的能力，包括他身边所有同学。于是，他自研了一套基于王者荣耀的Vibe mathing策略。因为GPT模型生成一轮答案的用时大约是15分钟，恰好是一把巅峰赛的时间，所以他就会在BP阶段秒选出元流之子辅助，然后利用这15分钟，让AI帮他解题。