菲尔兹奖得主邓煜谈 AI：已能帮助数学证明，但不能替代独立思考

2026年菲尔兹奖得主、芝加哥大学教授邓煜近日表示，已在数学研究中应用AI辅助工具。他使用GPT解决了一个连续数日未突破的数学特例，并指出AI使研究环节更便捷。邓煜通常让AI为基本确定的结论提供证明，再行核验；AI也能补充其未知的已有结构或标准结论。在近期工作中，GPT为一个主要命题的特殊情形给出了简单证明，虽因无法推广而未写入论文，但提供了有价值思路。他认为，即使AI无法完成最终证明，也能帮助研究者快速探索局部路径。他期待未来形成人类负责框架与核心思路、AI完成技术推导的协作模式。但邓煜强调，学生使用AI时需保持判断力，不能因AI给出看似完整的论证就跳过独立判断与严格核验。