【邓煜谈AI参与数学研究】邓煜谈AI在数学研究中的作用 当地时间7月23日早晨，2026年国际数学家大会（International Congress of Mathematicians, ICM）在美国费城开幕。国际数学联盟在开幕式上正式公布第二十一届菲尔兹奖（Fields Medal）得主名单。北京大学2007级本科校友王虹、邓煜双双获奖，这是中国籍数学家首次获得菲尔兹奖。

7月23日下午，北京大学官方发布对邓煜专访的长文。专访中，对于“您会使用AI或计算机工具辅助自己的学习、写作或研究吗？对于未来AI参与数学研究，尤其是纯数学和数学物理中的证明发现，您持怎样的态度？”相关问题，邓煜进行了回答：

我会使用AI，而且总体感受是，它已经让很多研究环节方便了不少。对于一些我基本确定为真的简单结论，如果自己完整推导还需要一些时间，我会让AI给出证明，再进行检查。有时它也能补充我不知道的知识，例如某个组合计数问题所对应的已有结构或标准结论。

对于有一定难度的引理，我也会询问AI是否有思路。我们最近的一项工作中，有一个主要命题的特殊情形，我连续几天没有解决，GPT给出了一个非常简单的证明，很快处理了那个特例。后来我们发现这种证明无法推广，因此没有把它写入最终文章，但它至少提供了一个有价值的思路。这说明AI即使不能直接完成最终证明，也可能帮助研究者迅速探索局部路线。

我期待未来出现一种更成熟的协作方式：人类研究者负责提出总体框架和核心思路，AI则帮助完成一部分具体、技术性的推导，填充框架，并给出可供检验的方案。现在它更多是让工作便利，将来可能真正加速数学研究。

不过，对刚进入科研的学生而言，使用时仍要保持判断力。我的做法通常是先自己思考，做一些不完全严格的推导，先判断想法是否大致合理；确认方向有希望后，再询问AI具体需要什么技术、某一步怎样实现，然后在来回反馈中逐步完善。不同人可以有不同用法，但不能因为AI给出了一段看似完整的论证，就跳过独立判断和严格核验这些必要的步骤。邓煜谈是否回国发展 专访北大校友邓煜