Loading...

陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑

智源社区1年前 (2023)发布 智源社区
324 0 0

陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑


  新智元报道  

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

数学大神陶哲轩发帖称,自己的写论文神器终于升级了!
此前,他经常使用的工具是TeXnicCenter+MiKTeX,并且已经保持了这个习惯将近十年。
陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑
现在,根据读者的建议,他升级了一波工具,现在用的是VSCode+TeX Live+LaTeX workshop+GitHub Copilot。

VSCode初印象

陶哲轩表示,每隔五到十年,自己都会试图将TeXLaTeX编辑器切换到更现代的编辑器。
这个过程重复了好几次,甚至从90年代中期就开始了。那时,他还在读研究生,刚开始用UNIX shell中的vi来写Tex。
现在,陶哲轩在这里记录下了自己使用这些工具的第一印象,并表示对于很多VSCode用户看来,可能会显得很小白。
陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑
首先,安装过程没有任何问题,唯一不太顺利的就是因为网速太慢,下载TexLive花了四个小时。
目前为止,他主要使用的是用户定义的代码片段功能(code snippets feature)。
通过输入触发词(比如「cor」),然后按Tab键,就能创建整个推论环境(corollary environment),非常节省时间。
陶哲轩表示,奇怪的是,20年前就曾有一个短暂的时期见过类似功能。那时他使用微软的Word作为LaTex编辑器,纯粹是为了使用Visual Basic宏。
不过,由于缺乏其他对LaTeX友好的功能,他不久后就放弃了使用Word。
至于AI驱动的GitHubCopilot,目前为止陶哲轩主要是用它的建议来填写代码段。
在给出他需要的代码片段示例后,只要单击一下Tab键,GitHubCopilot就会给出更多建议。
陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑
陶哲轩表示,自己最近的论文就是用这套新工具写的,很快就会放到arXiv预印本网站上,敬请大家期待。

陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑

Copilot把用户的意图看得明明白白(来源:知友Jeff Tian)

一大波经验交流

在留言区,网友们纷纷就这些工具的性能展开了讨论。
「看起来很丝滑。我用的是Sublime Text,它具有类似的功能,不过帖子里介绍的layout(以及使用Copilot创建新代码段)似乎非常有用。」
陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑
有人表示,自己已经使用类似的设置(只是没有Copilot)几年了,这种工作流比以前的TexLive/Atom设置有了很大的改进。
陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑
有网友表示,自己也正在尝试VSCode,来自一个相当简陋的vim设置(实际上就是vi),因为它不仅需要在Linux和Windows上兼容/可移植,还需要在不同的UNIX上做到这一点。
由于这个需求很快就会消失,并且VSCode可以整齐地编写脚本,所以它看起来确实是一个不错的替代方案。
另外,她还用了开发容器功能,在独立于LaTex设置的不同机器上实现了可重现和一致性的构建。
陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑
有人表示,从上世纪开始,自己最喜欢的编辑LaTex的方式,就是带有auctex软件包的emacs。
在和他人协作时,他有时会被迫使用Overleaf,但它比起带有auctex的emacs,仍然差远了。
陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑
关于网友们的留言,陶哲轩表示,因为自己也没用过这些编辑器,所以希望大家来一起比较下它们的优劣之处。
很多年前,自己确实用过一些WYSIWYG(所见即所得)的LaTex编辑器,但它们并不方便和直接编辑LaTeX的合著者一起使用,或者并不适应各种不同期刊的内部风格。
陶哲轩表示,自己发现VSCode设置的一个好处是,除了满足自己对编辑器中集成AI技术会是什么效果的好奇心,它还鼓励了自己改变了几十年的编码工作流——从在「在基本编辑器中编写代码,然后从命令行编译」,更新为类似于现代IDE的东西。
为什么数学大神的编码方式如此复古呢?他对此给出了这样的解释:「我很少写代码,所以让这个工作流更现代化从来都不是我的优先事项。」
陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑

网友安利,大神尝鲜


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

陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑

陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑

陶哲轩新论文秘密武器曝光:用AI写LaTeX巨丝滑
© 版权声明

相关文章

暂无评论

暂无评论...