ChatGPT,已经成为天才数学家陶哲轩的研究助手了!
不止ChatGPT,他还直接在网上宣布:
多种AI工具都会纳入自己的工作流。
![](http://www.openaimy.com/wp-content/uploads/2023/03/4a107152f3d9b8eae2940a407faedd63.png)
最近这些日子,陶哲轩对AI可是青眼有加,甚至在网上只谈论一个话题:AI,特别是大语言模型在数学研究中的应用。
![](http://www.openaimy.com/wp-content/uploads/2023/03/eb93d51fcc5e187de3781bd6cfb5016c.png)
期间,各种ChatGPT的“隐藏功能”都被陶哲轩挖了出来:
大到寻找公式、辅助证明定理;小到改写论文语句、查询小语种数学名词的发音。
而为何突然对AI协助工作这么关注?陶哲轩用自己的老本行数学对AI做了个类比:
传统的计算机软件就像是数学中的标准函数,比较死板;
AI工具更像是数学中的概率函数,会更加灵活。
对这个类比,中科院计算所研究员包云岗直接称赞很形象。
![](http://www.openaimy.com/wp-content/uploads/2023/03/91d270d756d471fa324358e101559d1d.png)
也有网友表示:
AI生成的内容有时候真的会有“神来之笔”,帮助人们更好地工作。
![](http://www.openaimy.com/wp-content/uploads/2023/03/f9496703e38899da0691b9260c7d7377.png)
不过也有网友对陶哲轩用ChatGPT协助搞数学研究接受无能,毕竟之前很长一段时间大众对ChatGPT的吐槽都集中在数学能力上。
于是,在陶宣称ChatGPT在数学中可以完成一些半成品工作时,有人直接在评论区发问:
你是认真的吗?我可是(你的)超级粉丝。
![](http://www.openaimy.com/wp-content/uploads/2023/03/584227db56bba03dc242f75f9e785521.png)
那话说回来,一个“数学菜鸡”ChatGPT在一个大数学家手里究竟能有什么用处?
一起来看~
![](http://www.openaimy.com/wp-content/uploads/2023/03/a83d7a98abb160051479d2dbdf0db2c2.png)
ChatGPT对搞学术的来说“刚刚好”
总的来讲,陶哲轩大概的意思就是:
ChatGPT数学能力虽然不咋滴,但对做学术研究的人来说是个发散思维的好工具。
(对普通人来说有点不太专业,但对搞数学的学术人员来说刚刚好)
那这个刚刚好的尺度ChatGPT是如何拿捏的?
陶哲轩直接给出了他用ChatGPT求解数学题的几个示例:
刚开始,他直接把同事询问的问题逐字逐句抛给了ChatGPT。
ChatGPT也有模有样地回答了起来,期间还提到了一个高度相关的术语:对数矩生成函数,甚至在给出的答案中还讨论了一个具体的例子。