近日，2026年菲尔兹奖得主、芝加哥大学教授邓煜在接受采访时分享了他使用人工智能辅助工具GPT在数学研究中的经验。邓煜表示，AI工具已经使许多研究环节变得更加便捷，他会让AI为一些基本确定为真的简单结论提供证明，然后再进行检查。此外，AI还能补充他所不知道的知识，比如在组合计数问题中对应的已有结构或标准结论。

在邓煜近期的一项工作中，他遇到了一个主要命题的特殊情形，连续几天未能解决。GPT提供了一个简单的证明，迅速处理了这个特例。尽管这个证明无法推广到一般情形，并未写入最终论文，但它提供了有价值的思路。邓煜认为，即使AI不能直接完成最终证明，也可能帮助研究者迅速探索局部路线。

邓煜还强调，对于刚进入科研的学生而言，在使用AI时仍需保持判断力，不能因为AI给出了一段看似完整的论证就跳过独立判断和严格核验这些必要的步骤。他期待未来出现一种更成熟的协作方式，即人类研究者负责总体框架和核心思路，而AI帮助完成部分技术性推导。