王者荣耀，成了数学博士生的避难所差评XPIN

一局王者荣耀的时间是15分钟，而这段时间，AI恰好能解出一道博士水平的数学题。

梦溪是一名王者荣耀爱好者，最高段位是巅峰赛1955分，与此同时，他也是一名数学博士生。

最近他花了两周，把元流辅助的战力从9000多一口气打到了11000。

主要原因就是，AI的数学能力，让他“道心破碎”了。

其实他一直认为自己像个战神，巅峰赛手拿把掐，只是没打。因为他觉得，研究生宝贵的时间，应该花在挑战数学有趣的难题上。

直到一条新闻打乱了他的科研生活——5月20日，OpenAI宣布，他们的内部模型，第一次像数学家一样，独立推翻了一个人类研究近80 年的数学猜想，且使用的方法堪称绝妙。

这个猜想叫做“平面单位距离猜想”，由传奇数学家 Erdős 提出，内容用一句话概括为：平面上任意给定 n 个点，其中距离恰好为1 的点对数量，最多为 n^{1+o(1)} 。

不管你看不看得懂，用菲尔兹奖得主TimothyGowers的话说：如果你是一位数学家，可能真要震惊瘫坐在椅子上了（原话是，你可能需要确保自己坐稳了）。

梦溪告诉我们，他以前没时间打游戏，因为经常忙着研究数学，但现在感觉，没有意义了，不如上两把分。

在和差评君聊天时，梦溪正在酒店里，享受一场久违的旅行。在这之前，他一直保持着良好的习惯，不是上自习，就是搞科研。

他只是觉得，是时候出去走走了，先逃离上海吧，逃到一个没有数学的地方。

有些差友可能满脑子问号：作为全世界原子弹爆炸频率最高的地方，你们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 能力实际的跃迁时间也不会超过两年。