降维打击，数学博士熬秃头，AI数学家：上午出题，下午4点交证明

60年悬案80分钟破解：业余玩家用ChatGPT“降维打击”数学博士

数学界迎来一场前所未有的“降维打击”。一个23岁的业余数学爱好者利亚姆·普莱斯，从未接受过高等数学训练，却在2026年初通过向GPT-5.4 Pro输入一个关于“原始集”下界的埃尔德什问题，只用了约80分钟的“扩展推理”，就获得了一份粗糙但充满新意的证明草稿。这个问题已困扰顶尖数学家长达60年，而AI给出的思路竟是专业数学家们从未想过的路径。随后，剑桥大学本科生凯文·巴雷托与普莱斯搭档，设计了一套工作流：将问题喂给AI，要求写出LaTeX格式的证明草稿，再传给Harmonic公司的AI系统Aristotle自动形式化为Lean证明。最终，第一个被公推为由AI原创解决的埃尔德什问题#728诞生了。菲尔兹奖得主陶哲轩评论道，“所有研究者从第一步就走错了方向，陷入思维定式，而AI恰好绕开了这个障碍。”

被遗忘的论文与走红的大学生：中国本科生汤泉宇如何成为AI数学浪潮中的关键人物

在这场由AI掀起的变革风暴中，一位中国本科生大放光彩。来自西安交通大学的大四学生汤泉宇，在埃尔德什问题论坛上异常活跃。他通过文献梳理，发现了一篇2001年被几乎遗忘的论文，该论文举出了反例推翻了埃尔德什问题#613的核心猜想，但此前无人知晓。正是汤泉宇的“考古”贡献，让这个被埋没的成果重新进入数学共同体视野，进而可用现代AI工具加以验证。陶哲轩亲自将这篇论文上传到ChatGPT Pro进行形式化。在多个埃尔德什问题的论坛页面上，“另外感谢”一栏明确列出了汤泉宇的名字。2026年初，汤泉宇与合作者连续发表了多篇由AI辅助的数学论文，其中一篇解决了问题#650，论文指出AI不仅填补了漏洞，还自行提出了改进版的构造。

陶哲轩的预言：数学博士的“悲伤五阶段”与未来数学家的新角色

面对AI在数学领域的强势表现，陶哲轩在《自然》杂志采访中坦言，数学家们正在经历“悲伤的五个阶段”——否认、愤怒、谈判、抑郁、接受。他认为，“一个仅仅擅长解题的人正在迅速失去价值。”未来数学家不一定要成为最快的解题者，但一定要成为最好的“指挥家”和“消化者”：学会同AI对话、下达有效指令，从海量AI生成结果中提取真正洞见。AI最大的弱点是会犯无法验证的错误，但在数学领域里，人可以自行检查输出结果。陶哲轩乐观且审慎地表示，“我们刚刚发现一些例子，表明AI开始解决人们关心的真正问题。AI仍然有很多弱点，但它越来越难被否认了。”

人机协作的终极形态：从“提出新题”到“下午4点交证明”

整个故事的核心并非“AI取代数学家”，而是“数学家如何与AI协作”。巴雷托与普莱斯的工作流极具代表性：上午将难题输入AI，下午4点就能收到经Lean验证的完整证明文件。AI能在一小时内生成专业路径，人类数学家则负责检查漏洞、融合创意、撰写论文。在最近一篇包含陶哲轩、巴雷托、普莱斯、汤泉宇等八位作者的重量级论文arXiv:2605.00301中，他们使用GPT-5.4 Pro一次性解决了多个埃尔德什问题。整个过程如同“上午出题，下午交卷”——AI成为数学家的超级助手，而人类则从繁琐的证明推算中解放出来，聚焦于提出问题与定义方向。正如埃尔德什所言，“数学的生命轮回永不停息”，而AI的出现让这个轮回加速运转。