Skip to main content

菲尔兹奖得主邓煜谈人工智能：已能帮助数学证明，但不能替代独立思考2026年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露，他在数学研究中会使用AI辅助工具，GPT曾帮助解决一个连续几天未能突破的数学特例

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

    2026年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露，他在数学研究中会使用AI辅助工具，GPT曾帮助解决一个连续几天未能突破的数学特例。邓煜表示，他使用AI的感受是“已经让很多研究环节方便了不少”。对于一些基本确定为真的简单结论，他会让AI给出证明后再进行检查；AI有时也能补充他不知道的知识，例如某个组合计数问题所对应的已有结构或标准结论。

    邓煜称，AI即使不能直接完成最终证明，也可能帮助研究者迅速探索局部路线。但他也强调，对刚进入科研的学生而言，“不能因为AI给出了一段看似完整的论证，就跳过独立判断和严格核验这些必要的步骤”。

    —— 凤凰网科技