精选理由
菲尔兹奖得主邓煜亲述：GPT帮他解决了卡了几天的数学特例，但独立思考依然是关键。
菲尔兹奖得主、芝加哥大学教授邓煜透露，他在数学研究中常用GPT辅助，曾解决一个连续几天未能突破的数学特例。邓煜表示AI已让研究环节方便不少，会让AI给出基本确定结论的证明后再检查。在近期一项工作中，GPT针对一个特殊情形给出了简单证明，虽因无法推广未写入论文，但提供了有价值思路。邓煜期待未来人类负责框架、AI完成技术推导，但强调学生不能跳过独立判断和严格核验。
原文 · IT之家
菲尔兹奖得主邓煜谈 AI：已能帮助数学证明，但不能替代独立思考
7 月 24 日，2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露， 他在数学研究中会使用 AI 辅助工具， GPT 曾帮助解决一个连续几天未能突破的数学特例。 邓煜表示，他使用 AI 的感受是“已经让很多研究环节方便了不少”。对于一些基本确定为真的简单结论，他会让 AI 给出证明后再进行检查；AI 有时也能补充他不知道的知识，例如某个组合计数问题所对应的已有结构或标准结论。 邓煜透露，在近期一项工作中，有一个主要命题的特殊情形，他连续几天没有解决，GPT 给出了一个非常简单的证明，很快处理了那个特例。虽然该证明无法推广到一般情形，未写入最终论文，但提供了有价值的思路。 邓煜表示， AI 即使不能直接完成最终证明，也可能帮助研究者迅速探索局部路线 。他期待未来出现一种更成熟的协作方式：人类研究者负责总体框架和核心思路，AI 帮助完成部分技术性推导。但他也强调，对刚进入科研的学生而言，使用时仍要保持判断力，“ 不能因为 AI 给出了一段看似完整的论证，就跳过独立判断和严格核验这些必要的步骤” 。