编辑：Aeneas 好困

【新智元导读】就在上周，陶哲轩被网友安利了用AI工具写代码。今天，他表示自己几十年工作流已被颠覆！此外，还有一篇GitHub Copilot全程加持的新论文即将发表。

数学大神陶哲轩发帖称，自己的写论文神器终于升级了！

此前，他经常使用的工具是TeXnicCenter+MiKTeX，并且已经保持了这个习惯将近十年。

现在，根据读者的建议，他升级了一波工具，现在用的是VSCode+TeX Live+LaTeX workshop+GitHub Copilot。

VSCode初印象

陶哲轩表示，每隔五到十年，自己都会试图将TeXLaTeX编辑器切换到更现代的编辑器。

这个过程重复了好几次，甚至从90年代中期就开始了。那时，他还在读研究生，刚开始用UNIX shell中的vi来写Tex。

现在，陶哲轩在这里记录下了自己使用这些工具的第一印象，并表示对于很多VSCode用户看来，可能会显得很小白。

首先，安装过程没有任何问题，唯一不太顺利的就是因为网速太慢，下载TexLive花了四个小时。

目前为止，他主要使用的是用户定义的代码片段功能（code snippets feature）。

通过输入触发词（比如「cor」），然后按Tab键，就能创建整个推论环境（corollary environment），非常节省时间。

陶哲轩表示，奇怪的是，20年前就曾有一个短暂的时期见过类似功能。那时他使用微软的Word作为LaTex编辑器，纯粹是为了使用Visual Basic宏。

不过，由于缺乏其他对LaTeX友好的功能，他不久后就放弃了使用Word。

至于AI驱动的GitHubCopilot，目前为止陶哲轩主要是用它的建议来填写代码段。

在给出他需要的代码片段示例后，只要单击一下Tab键，GitHubCopilot就会给出更多建议。

陶哲轩表示，自己最近的论文就是用这套新工具写的，很快就会放到arXiv预印本网站上，敬请大家期待。

Copilot把用户的意图看得明明白白（来源：知友Jeff Tian）

一大波经验交流

在留言区，网友们纷纷就这些工具的性能展开了讨论。

「看起来很丝滑。我用的是Sublime Text，它具有类似的功能，不过帖子里介绍的layout（以及使用Copilot创建新代码段）似乎非常有用。」

有人表示，自己已经使用类似的设置（只是没有Copilot）几年了，这种工作流比以前的TexLive/Atom设置有了很大的改进。

有网友表示，自己也正在尝试VSCode，来自一个相当简陋的vim设置（实际上就是vi），因为它不仅需要在Linux和Windows上兼容/可移植，还需要在不同的UNIX上做到这一点。

由于这个需求很快就会消失，并且VSCode可以整齐地编写脚本，所以它看起来确实是一个不错的替代方案。

另外，她还用了开发容器功能，在独立于LaTex设置的不同机器上实现了可重现和一致性的构建。

有人表示，从上世纪开始，自己最喜欢的编辑LaTex的方式，就是带有auctex软件包的emacs。

在和他人协作时，他有时会被迫使用Overleaf，但它比起带有auctex的emacs，仍然差远了。

关于网友们的留言，陶哲轩表示，因为自己也没用过这些编辑器，所以希望大家来一起比较下它们的优劣之处。

很多年前，自己确实用过一些WYSIWYG（所见即所得）的LaTex编辑器，但它们并不方便和直接编辑LaTeX的合著者一起使用，或者并不适应各种不同期刊的内部风格。

陶哲轩表示，自己发现VSCode设置的一个好处是，除了满足自己对编辑器中集成AI技术会是什么效果的好奇心，它还鼓励了自己改变了几十年的编码工作流——从在「在基本编辑器中编写代码，然后从命令行编译」，更新为类似于现代IDE的东西。

为什么数学大神的编码方式如此复古呢？他对此给出了这样的解释：「我很少写代码，所以让这个工作流更现代化从来都不是我的优先事项。」

网友安利，大神尝鲜

所以，保持同一个工作流几十年不变的陶哲轩，是怎么想到做出改变的呢？

这要从上周六他发布的一篇帖子说起。

作为实验，他要求GPT-4写一段Python代码，为每个自然数n计算1,...,n的最长子序列的长度