游乐游手机版
首页/AI热点日报/热点详情

菲尔兹奖得主邓煜:AI已能辅助数学证明,但无法替代独立思考

类型:热点整理2026-07-24
菲尔兹奖得主邓煜指出,人工智能已能辅助数学证明,例如,人工智能模型曾帮他解决连续数日未能突破的数学特例。但他强调,人工智能不能替代独立思考,尤其对科研初学者,需保持判断力,不可跳过严格核验。

7月24日,2026年菲尔兹奖得主、芝加哥大学数学教授邓煜在接受专访时,分享了一个颇具启发性的观点:当前数学研究领域,已经开始借助人工智能作为得力助手。他特别提到,GPT曾帮助他解决一个连续数日未能攻克的数学特例——若放在几年前,这样的协作几乎难以想象。

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

邓煜坦言,他对AI的使用感受非常直观:“已经让许多研究环节便捷了不少。”例如,对于一些基本可以确认正确但较为简单的结论,他会让AI先行提供一份证明,再由自己逐一复核;AI有时还能补充他知识体系中的盲区——比如某个组合计数问题背后对应的已有框架或标准结论,AI可以迅速检索出来。

更具体的案例是,在近期的一项工作中,某个主要命题的特殊情形让他连续几天找不到突破口。结果GPT给出一个极其简洁的证明,很快解决了那个特例。尽管这个证明无法推广到一般情形,最终也未被写入论文,但它提供的思路方向,确实具有重要价值。

邓煜的判断是:即便AI无法直接完成最终证明,也能帮助研究者快速探索局部路径。他期待未来能出现一种更成熟的协作模式——人类研究者负责整体架构与核心思路,AI则承担部分技术性推导。不过,他也特别提醒:对于刚进入科研阶段的学生,使用AI时务必保持判断力。“不能因为AI给出了一段看似完整的论证,就跳过独立思考和严格核验这些必要步骤。”这番话切中要害,值得所有研究者深思。

来源:https://www.ithome.com/0/981/356.htm

相关热点

继续查看同栏目近期热点。

延伸阅读

补充最近整理过的热点入口。