新智元报道  

编辑：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的最长子序列的长度𝑀(𝑛) ，其中欧拉全能函数ϕ不递减。
GPT-4立刻生成了一段极其巧妙的代码，在此基础上，陶哲轩最终手动生成了自己想要的代码，节省了半小时的工作量。
因为他不常使用代码工具，有网友提出了这样的建议：要不要试试GitHubCopilot + VSCode？它们很有用，几乎让我不必查找标准的表层句法结构了。
陶哲轩表示感谢，如果自己需要定期大量写代码，就一定会采用的。不过目前只是每月一次偶尔需要这样的计算，为特定任务找到最快的解决方案而已。
他表示，自己每天都在用的LaTex，已经找到了最舒服的工作流。当然，他也不排除将AI工具集成到LaTeX编辑器中的可能，因为目前他还是通过ChatGPT或者谷歌来解决LaTeX问题的。
网友坚持安利道：「是的是的，我经常在VSCode中编辑、编译LaTeX文档（用LaTeX workshop+ TeX live）。所以，Copilot在VSCode中也很有帮助。（只用一个Tab，就能得到许多重复的语法/公式了）」
大神终于被说动了，表示安装TeX需要一段时间，不过看起来确实像编写LaTeX的一个功能丰富的环境，自己一定会尝试一下。
于是，我们就看到了今天的这篇新帖子。这位数学大神终于改变了自己坚持几十年不变的工作流。
参考资料：
https://mathstodon.xyz/@tao/111002007618655272