菲尔兹奖得主邓煜谈人工智能：已能帮助数学证明，但不能替代独立思考
2026年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露，他在数学研究中会使用AI辅助工具，GPT曾帮助解决一个连续几天未能突破的数学特例。邓煜表示，他使用AI的感受是“已经让很多研究环节方便了 2026-7-24 12:40:14 Author: blog.upx8.com(查看原文) 阅读量:3 收藏

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

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

—— 凤凰网科技


文章来源: https://blog.upx8.com/%E8%8F%B2%E5%B0%94%E5%85%B9%E5%A5%96%E5%BE%97%E4%B8%BB%E9%82%93%E7%85%9C%E8%B0%88%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD-%E5%B7%B2%E8%83%BD%E5%B8%AE%E5%8A%A9%E6%95%B0%E5%AD%A6%E8%AF%81%E6%98%8E-%E4%BD%86%E4%B8%8D%E8%83%BD%E6%9B%BF%E4%BB%A3%E7%8B%AC%E7%AB%8B%E6%80%9D%E8%80%83
如有侵权请联系:admin#unsafe.sh