数学天才陶哲轩：GPT-4无法攻克一个未办理的数学题目，但对工作有资助

新智元报道

编辑：桃子

【新智元导读】数学天才陶哲轩的研究也用上了AI工具GPT-4。有了GPT-4，你想做的，只需复制、粘贴、一键完成！

当红炸子鸡ChatGPT，也成为数学天才陶哲轩的研究工具了。

克日，他在网上称自己发现了一些ChatGPT的小用例。

起首，它很善于分析代码格式的文档（在这种环境下是#arXiv搜刮的API），然后返回一个准确格式的代码查询（厥后它还提供了一些工作的python代码，以我要求的方式调用这个API，只管我不得不手动安装一个包来使它运行）。其次，我让它想出一些，智慧的弟子在本科线性代数课上大概会问的题目（为此我提供了一些样本标题），它给出了一些很好的例子，让我对课程大概方向，以及埋伏的作业题目有所开导。

总之，我发现ChatGPT等AI工具固然不能帮我攻克一个未办理的数学题目，但对其他工作干系的题目很有效，只管过后经常须要举行一些手动调解。

GPT-4和GPT-3.5差异不大

GPT-4是怎样善于分析代码格式的文档？

陶哲轩让GPT-4对全部的arXiv文章举行搜刮查询，这些文章的元数据是一个给定的关键词（比如，「Collatz」），而且是在肯定的日期范围内提交的（比如，在2011-2016之间）。根据下面的文档，如许的查询的格式是什么？

对此，GPT-4不但给出了代码，还列出了查询的分类。

网友问，作为一个阅读工具，给定一篇论文，让它提出审稿人或演讲者大概会问哪些题目？在这一方面GPT-4做得怎样？

对此，陶哲轩拿去测评了一番，大赞「确实不错」。

「这里是近来一篇论文的前几页。你能提出一些听众在听关于这篇论文的讲座时大概提出的题目吗？」

ChatGPT回复「固然，这里有一些数学家在听了关于这篇论文的讲座后大概会问的题目」。然后，巴拉巴拉列出了7个题目。

仔细网友发现陶哲轩发帖的截图是GPT-4。

便问道，「你以为从前的ChatGPT和基于GPT-4模子的新助手之间有什么区别？」

陶哲轩称，「到如今为止，GPT-4的回复稍微有效一些，而且符合我的要求，但我没有看到质量上的巨大差异。」

ChatGPT参加工作流

ChatGPT的诞生，很多人都在惊呼自己的工作要被AI替换了。

就连天才数学家陶哲轩也上手ChatGPT了。

3月5日，陶哲轩在网上称自己决定实行以差异的方式将AI工具纳入我的工作流程。此中就包罗GPT-4、DeepL等工具。

在此期间，ChatGPT埋伏功能都被他发掘了出来，比如探求公式、分析代码格式的文档、改写论文语句等等。

比如，ChatGPT偶然可以在数学中做一个半成品的语义检索，也就是用它来天生一些提示。

比如，陶哲轩让ChatGPT从形貌中辨认库默尔定理，它没能给出准确答案，但根据它给出的近似答案（Legendre 公式）。

对此，陶哲轩称，人工智能在数学中的作用是提供一个开端的近似答案，然后可以联合传统搜刮引擎轻松找到准确答案。

陶哲轩还发现了ChatGPT在处置惩罚数学题目时的亮点，可以大概辨认差异语言的数学概念音译版。

别的，可以要求ChatGPT转换从MathSciNet得到的一堆参考文献，并在LaTeX书目环境下将其格式化为\bibitems。

然而ChatGPT 就没有犯错的时间吗？

在一个关于「素数是否无穷多」的证实题目中，陶哲轩发现ChatGPT给出的答案并不是完全准确的。

从另一面看，他发现ChatGPT给出的论证思绪是可以被固定下来的，而且这个思绪他之前都从未见过。

发掘GPT-4的用例，网友们也是花了不少功夫。

让GPT-4评审论文不但公道，而且还能击中要点。

「作为一个学者，我不知道怎样对待这个题目：我把我的一篇旧论文放到GPT-4中（分成两部门），要求一个经济社会学家举行严肃但公平的偕行评审。」

它创造了一个完全公道的偕行评审，踩中了我的评审员提出的很多要点。

对很多人来讲，想要做什么，直接问GPT-4，「复制、粘贴、一键完成！」

就比如用GPT-4做一个复杂的游戏。

网友把GPT-4、Replit、MidJourney、Claude组建成一个人工智能助手团队，重新开始创建了一个3D太空跑酷游戏。

然鹅，自己竟对Javascript或3D游戏编程一无所知。

参考资料：

https://mathstodon.xyz/@tao