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

Pine 梦晨 发自 凹非寺
量子位 | 公众号 QbitAI

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

不止ChatGPT，他还直接在网上宣布：

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

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

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

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

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

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

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

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

也有网友表示：

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

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

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

你是认真的吗？我可是（你的）超级粉丝。

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

一起来看～

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

总的来讲，陶哲轩大概的意思就是：

ChatGPT数学能力虽然不咋滴，但对做学术研究的人来说是个发散思维的好工具。

（对普通人来说有点不太专业，但对搞数学的学术人员来说刚刚好）

那这个刚刚好的尺度ChatGPT是如何拿捏的？

陶哲轩直接给出了他用ChatGPT求解数学题的几个示例：

刚开始，他直接把同事询问的问题逐字逐句抛给了ChatGPT。

ChatGPT也有模有样地回答了起来，期间还提到了一个高度相关的术语：对数矩生成函数，甚至在给出的答案中还讨论了一个具体的例子。

这术语，这举例…乍一看，甚至骗过了陶哲轩的“法眼”，不过在检查一遍之后，陶发现：

答案是错的！

Emmmmm，按理说一般人的逻辑到这里就该结束了——得出结论：ChatGPT的数学能力不太行。

但陶哲轩还没有止步，他仔细分析了ChatGPT给出的解答过程，发现并不是完全错误的，还是有可取之处。

比如说，ChatGPT在解答过程中用的是lmgf公式，而在克拉默定理给出的标准答案中用到的是lmgf公式的Legendre变换。

虽然不是正确的解题思路，但也很接近正确答案了。

（有点意思）紧接着他又用儿子帮忙做的ChatGPT手机短信版再试了一个数学问题：

我该如何证明有无穷多个素数？

虽然给出的证明的是意料中的不完全正确，但陶发现ChatGPT给出的论证思路是可以被固定下来的，并且这个思路他之前还从未见过。

这一通试用下来，直接打开了陶哲轩的思路。

既然ChatGPT在具体数学问题上给出的答案是不完全正确的，那不如索性发挥发挥它生成答案部分正确的特性：

在处理数学问题时，可以让ChatGPT这类大语言模型做一些半成品的语义搜索工作。

也就是说，ChatGPT不用提供确切的答案，只用生成一些可能的提示（类似于帮你找灵感balabala）。

这样一来，依据ChatGPT生成的提示+传统搜索引擎搜索，就能很轻松找到答案了。

随后，陶哲轩还具体上手演示了一把。

首先要有技巧地抛出一个问题，假设陶想找库默尔定理但记不起来这个定理的名字，他是这样来问的：

我正在找一个关于（balabala）的公式，它是一个经典的理论但我想不起名字，你能给我解答吗？

最终ChatGPT给出的答案是Legendre公式（一个相关的结果），然后根据这个答案用传统的搜索引擎就可以轻松找到库默尔定理。

话说回来，既然都只是用作数学研究中的一个工具，为啥在陶哲轩眼中AI会更合适，而传统搜索引擎就不太行呢？

AI“思维逻辑”更发散

陶直接从传统计算机软件和AI工具的内部运行逻辑分析了一通。

先来说传统的计算机软件，它的运行逻辑类似于函数