陶哲轩:ChatGPT已加入我的数学工作流

Pine 梦晨 发自 凹非寺

量子位 | 公众号 QbitAI

ChatGPT,已经成为天才数学家陶哲轩的研究助手了!

不止ChatGPT,他还直接在网上宣布:

多种AI工具都会纳入自己的工作流。

最近这些日子,陶哲轩对AI可是青眼有加,甚至在网上只谈论一个话题:AI,特别是大语言模型在数学研究中的应用。

期间,各种ChatGPT的“隐藏功能”都被陶哲轩挖了出来:

大到寻找公式、辅助证明定理;小到改写论文语句、查询小语种数学名词的发音。

而为何突然对AI协助工作这么关注?陶哲轩用自己的老本行数学对AI做了个类比:

传统的计算机软件就像是数学中的标准函数,比较死板;

AI工具更像是数学中的概率函数,会更加灵活。

对这个类比,中科院计算所研究员包云岗直接称赞很形象

也有网友表示:

AI生成的内容有时候真的会有“神来之笔”,帮助人们更好地工作。

不过也有网友对陶哲轩用ChatGPT协助搞数学研究接受无能,毕竟之前很长一段时间大众对ChatGPT的吐槽都集中在数学能力上。

于是,在陶宣称ChatGPT在数学中可以完成一些半成品工作时,有人直接在评论区发问:

你是认真的吗?我可是(你的)超级粉丝。

那话说回来,一个“数学菜鸡”ChatGPT在一个大数学家手里究竟能有什么用处?

一起来看~

ChatGPT对搞学术的来说“刚刚好”

总的来讲,陶哲轩大概的意思就是:

ChatGPT数学能力虽然不咋滴,但对做学术研究的人来说是个

(责任编辑:AK007)