菲尔兹奖得主邓煜：AI 辅助数学研究，GPT 解决连续数日难题

2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日透露，他在数学研究中会使用 AI 辅助工具。邓煜表示，AI 已经让很多研究环节方便了不少，例如让 AI 给出简单结论的证明后再进行检查，或补充他不知道的已有结构或标准结论。

邓煜提到，在近期一项工作中，一个主要命题的特殊情形让他连续几天无法解决，GPT 给出了一个非常简单的证明，快速处理了那个特例。虽然该证明无法推广到一般情形，未写入最终论文，但提供了有价值的思路。

邓煜强调，AI 即使不能直接完成最终证明，也能帮助研究者迅速探索局部路线。他期待未来出现更成熟的协作方式：人类负责总体框架和核心思路，AI 帮助完成部分技术性推导。但他也提醒刚进入科研的学生，使用 AI 时仍需保持判断力，不能跳过独立判断和严格核验。