AI破解60年数学难题，中国本科生汤泉宇成“人机协同”新标杆

事件概述

2026年春，23岁业余爱好者利亚姆·普莱斯（Liam Price）在ChatGPT Pro的协助下，仅用80分钟就破解了悬而未决近60年的埃尔德什问题#728（原始集下界问题）。AI给出的证明思路完全绕开了专业数学家长期陷入的思维定式。菲尔兹奖得主陶哲轩（Terence Tao）评论称，此前所有研究者从第一步就走错了方向。这一成果被视为“首个由AI原创解决的埃尔德什问题”。

中国西安交通大学大四学生汤泉宇在这场变革中脱颖而出。他长期活跃于埃尔德什问题论坛，通过文献梳理重新发现了2001年被遗忘的埃尔德什问题#613的反例论文，使该成果借助AI工具重新进入数学共同体视野。汤泉宇还与陶哲轩、巴雷托等人合作，在arXiv预印本上发表了多篇AI辅助数学论文，一次性解决了多个埃尔德什问题（如#1196、#1217、#164等），其中GPT-5.4 Pro提出完整证明策略，Aristotle自动填补漏洞并完成Lean形式化验证。

核心信息

• AI破解过程：业余爱好者普莱斯将问题输入GPT-5.4 Pro，经约80分钟“扩展推理”得到粗糙草稿。剑桥大学本科生凯文·巴雷托（Kevin Barreto）与其搭档，设计工作流：GPT生成证明草稿→Aristotle自动形式化为Lean证明→人工检查。
• 汤泉宇的贡献：除考古发现外，他还在论坛多个问题下分享AI生成的试探性证明草稿，并在问题#650的论文（arXiv:2603.28636）中表明，GPT-5.4 Pro虽提出完整策略但有漏洞，Aristotle不仅修复漏洞还提出改进版构造，最终生成完整Lean形式化验证。
• 陶哲轩观点：接受《自然》杂志采访时，陶哲轩指出“AI最大的致命弱点是会犯无法验证的错误，但数学领域可以自行检查输出结果，因此AI最易取得突破”。他观察到数学家对AI的态度正逐渐度过“否认阶段”，而“一个仅仅擅长解题的人正在迅速失去价值”，未来数学家需成为“指挥家”和“消化者”，学会与AI对话、提取洞见。

值得关注

• 目前国内科研团队对AI数学新方向普遍态度冷淡，大多仍坚守主流安全方向；而年轻研究者因心态开放、兴趣纯粹更易抓住变革机遇。
• 埃尔德什问题论坛（erdosproblems.com）成为人机协同数学研究的核心舞台，约40%的埃尔德什问题已获解，AI正加速这一进程。
• 陶哲轩强调，AI的出现迫使学界重新思考“数学证明是什么？论文是什么？”，理解、创造和提问的能力将成为更稀缺的资源。