7月24日,2026年菲尔兹奖得主、芝加哥大学数学教授邓煜在接受专访时,分享了一个颇具启发性的观点:当前数学研究领域,已经开始借助人工智能作为得力助手。他特别提到,GPT曾帮助他解决一个连续数日未能攻克的数学特例——若放在几年前,这样的协作几乎难以想象。

邓煜坦言,他对AI的使用感受非常直观:“已经让许多研究环节便捷了不少。”例如,对于一些基本可以确认正确但较为简单的结论,他会让AI先行提供一份证明,再由自己逐一复核;AI有时还能补充他知识体系中的盲区——比如某个组合计数问题背后对应的已有框架或标准结论,AI可以迅速检索出来。
更具体的案例是,在近期的一项工作中,某个主要命题的特殊情形让他连续几天找不到突破口。结果GPT给出一个极其简洁的证明,很快解决了那个特例。尽管这个证明无法推广到一般情形,最终也未被写入论文,但它提供的思路方向,确实具有重要价值。
邓煜的判断是:即便AI无法直接完成最终证明,也能帮助研究者快速探索局部路径。他期待未来能出现一种更成熟的协作模式——人类研究者负责整体架构与核心思路,AI则承担部分技术性推导。不过,他也特别提醒:对于刚进入科研阶段的学生,使用AI时务必保持判断力。“不能因为AI给出了一段看似完整的论证,就跳过独立思考和严格核验这些必要步骤。”这番话切中要害,值得所有研究者深思。
