“数学天才”陶哲轩也爱上 GPT-4：节省了大量繁琐工作

由 ChatGPT 掀起的 AI 热潮，在经过 GPT-4的震撼发布后，又被推至新的巅峰——不仅引起业界无数人的关注，如今还“出圈”成为了数学天才陶哲轩喜爱的 AI 工具之一。

本周，陶哲轩在开源社交平台 Mastodon 上发文:“今天，我可以明确地说:GPT-4确实为我节省了大量繁琐的工作。”

将 AI 工具纳入工作流程

事实上，早在一个多月前陶哲轩就开始摸索 ChatGPT 的各种用法了，但当时他对这类 AI 工具的评价还比较保守:“虽不能直接帮我攻克未解决的数学问题，但处理一些相关工作时还挺有用。”

陶哲轩最早决定将 AI 工具纳入其日常工作中，是在3月5日:“我决定有意识地尝试不同方式，将 AI 工具（如 DeepL、ChatGPT 等）纳入我的工作流程。”

以 DeepL 为例，陶哲轩曾将推荐信中的一些段落上传至 DeepL 以作优化，最终他同意并采纳了 DeepL 近一半的建议，另一半则因不符合他的个人风格而被忽视。基于此，陶哲轩指出:“我认为盲目地用 DeepL 生成的方案替换原始段落并不是一种改进，但将其用来生成优化建议颇有成效。”

至于在使用 ChatGPT 的过程中，陶哲轩更是陆续挖掘出了许多“隐藏功能”:

? 在描述各种语言中专有名词的推荐发音方面表现良好（明显优于传统搜索引擎），还不需要语音知识。

?可将从 MathSciNet 获得的参考文献格式，转换为 LaTeX 参考书目环境中的 \bibitems，且后续会自动进行转换。

?很擅长解析代码格式的文档，然后返回一个正确格式的代码查询。

?要求 ChatGPT 例举一些优秀学生可能会在本科线性代数课上提出的问题，它能给出一些很好的例子。“这激发了我对课程方向的更多想法，以及有关作业的一些潜在问题。”

因此，将 AI 工具融入工作中近半个月后，陶哲轩在3月19日总结道:“总的来说，我发现这些 AI 工具虽然不能直接帮我完成核心任务，但对各种相关工作而言还是很有用的（尽管通常还会进行一些手动调整）。”

期待将 AI 集成到各种软件工具中

值得一提的是，本月初陶哲轩还意外发现了使用 AI 工具的另一个功能，即某种程度上遵循了坎宁安定律（指人们纠正错误答案要比回答问题更快）:

很多次我要求 GPT 为某些任务提供一些文本，但对其输出不满意，于是便刺激我写了一些更符合我喜好的内容。可能我只会从 GPT 生成的文本中借用一两句话，但如果没有最初的文本作为提示，我应该不会受到启发并激励自己写出新版本。

同样，我最近需要联系某个非数学领域的专家，于是我首先问了附近地区的一位同事，他一开始没想到任何建议。然后我就问了 GPT，它提供了几个名字，其中有一个看起来特别合适。然而当我把这个名字告诉我同事时，他立即觉得这不是一个合适的人选，并迅速提出了其他四五个相当合适的名字。

到了本周，让陶哲轩进一步“爱”上 GPT-4的契机，在于他最近要忙的工作:“作为 ICM 结构委员会主席，我需要收集上一届 ICM 上发言人（约200名）的各种统计数据。”

据陶哲轩介绍，这些原始数据不是以电子表格形式、而是以网页和 PDF 格式的一些表格形式提供给他的。过去，陶哲轩一直都是“认命”地先把数据手动输入电子表格，然后查找各种表格函数，找出如何准确计算出所需数据的方法:“这是一项乏味的任务。”

但如今已将 AI 工具纳入工作流程的陶哲轩，机智地将这个工作丢给了 GPT-4来处理:“这两项任务用 GPT-4几分钟内就能轻松完成，过程甚至还有些令人愉快（唯一乏味的地方是在原始数据、GPT-4和电子表格之间进行剪切和粘贴）。”

使用 GPT-4所带来的效率提升，令陶哲轩感慨道:“我现在期待着将 AI 集成到我使用的各种软件工具中，这样就连剪切和粘贴的步骤都可以省略了。（如果能够自动解决90% 的 LaTeX 编译问题就太棒了……）”

网友:“这种事情他没有助手吗?”

令陶哲轩也折服的GPT-4，今日在 HackerNews 上也引起了不少讨论。

部分网友对陶哲轩的评价深有同感:“我昨天自己第一次使用 GPT-3。本来我想要一些代码来列出我可用的 DynamoDB 表，但总出现错误，于是我问 ChatGPT 要修复该错误，它立刻告诉我如何更新我的设置 .xml 文件。当然，不问我也知道如何做，但这可能需要半小时，而使用 ChatGPT 大约需要5分钟。”

但也有许多网友对陶哲轩用GPT-4处理的工作感到意外:“他是目前全球顶尖的数学家之一，还要花时间整理会议统计数据吗?这种事情他没有助手吗?”

参考链接:

https://mathstodon.xyz/@tao/110172426733603359

https://news.ycombinator.com/item?id=35538945