那个数学博士，打完一把王者，发现AI推翻了一个80年的猜想

AI推给我一篇文章，再一次验证了我的观点——

梦溪，25岁，数学博士。

他这辈子最骄傲的事有两件：一是能读懂Erdős的论文，二是王者巅峰赛打到1955分。

他一直以为自己会跟数学过一辈子。

直到那天，他打完一把排位，切出去刷手机——学术圈炸了。OpenAI的内部模型，把Erdős在1946年提出的平面单位距离猜想推翻了。80年，没人动过。Timothy Gowers（菲尔兹奖得主）的原话是：“你可能需要确保自己坐稳了。”

他坐得很稳。

他算了一笔账：AI从“不如本科生”到“推翻80年猜想”，只用了15个月。而他读完一个博士学位，需要5年 ⏳

他没哭，也没骂。

他只是默默打开了王者荣耀

队友骂他：“你一个博士，天天打游戏？”

他说：“你不懂，我在练节奏。”

他真的在练节奏

他发现GPT跑一轮数学证明，大概15分钟。打一把王者巅峰赛，也差不多15分钟。

于是他的工作流变成了：BP秒选元流辅助 → 发prompt → 打架 → 收证明

两边都不耽误，两边都能进入心流。他把这个节奏叫做Vibe Mathing

队友听不懂，只知道他辅助玩得很好

但真正让他想明白的，不是他自己，是福州大学的一个副教授

副教授说：AI做数学，靠的是吃文献、拼工具、跨领域搬运。这次推翻80年猜想，就是把代数数论的工具搬到离散几何，拼出来的。很厉害。但这不是创造 ❌

真正厉害的，是哥德尔和科恩那种人。他们不解决问题，他们研究“什么叫问题本身”。他们把“证明”变成了一个可以研究的数学问题，然后构造了两个不同的宇宙。一个宇宙里，连续统假设成立。另一个宇宙里，它不成立。两个都对

这种能力，AI没有训练数据，学不会。因为“我们为什么要发明这个工具”这件事，AI从来没被问过

副教授管这个叫：数学家的审美

他说AI能干95%的活。人类还剩的那5%，就是这东西。

梦溪听完，沉默了很久

他说了一句话：“AI对数学最大的冲击，不是它有多强，是让大部分人认识到自己是平庸的。”

那95%，就是他这样的人。

他没哭，也没骂。他只是想清楚了一件事：明天会更好，但不是刷题的明天，是跟人打交道的明天

他现在依然每天打王者，每天跑GPT，每天写证明 ✍️

只是不再想着“跟数学过一辈子”了。

他在跟数学过日子

日子嘛，总有办法过下去的