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

7月24日,有一位人士, 他是2026年菲尔兹奖得主, 同时还是芝加哥大学教授, 这位人士名为邓煜, 这个人, 他近日在接受一场采访的时候, 披露了一些情况, 他透露说, 他在从事数学研究这个行动当中, 会运用AI的辅助工具, 他还提到, GPT曾经对他发挥了一定作用, 帮助他解决了一个数学方面的特例, 这个特例, 是连续好多天, 他都未能实现突破的。

邓煜讲, 他运用 AI 的体会是“已然使好多研究环节便利了许多”。针对一些基本上判定为真的简易结论, 他会叫 AI 给出证明之后再去做检查；AI 偶尔也能够补充他所不清楚的知识, 诸如某个组合计数问题所对应的已有的结构或者标准结论。

邓煜透露, 在近期的一项工作里, 存在一个主要命题的特殊情形, 他接连几天都没能解决它, GPT给出了一个极其简单的证明, 还迅速处理了那个特例, 尽管该证明没办法推广到一般情形, 也未被写入最终论文, 不过提供有价值的思路。

邓煜讲道, AI就算没办法直接做完最终证明, 或许也能够协助研究者很快地探寻局部路线。他期盼未来会出现一种更完备的协作形式, 人类研究者承担总体框架以及核心思路, AI帮忙做完部分技术性推导。不过他也着重提出, 对于刚踏入科研领域的学生说来, 运用之际依旧得保持判断力, “不可以因为AI给出了一段看上去完整的论证, 就越过独立判断以及严格核验这些必需的步骤”。

相关标签： # 菲尔兹奖 # AI # 数学证明 # 独立思考 # 科技