數(shù)學大神陶哲軒發(fā)帖稱，自己的寫論文神器終于升級了！

此前，他經(jīng)常使用的工具是TeXnicCenter+MiKTeX，并且已經(jīng)保持了這個習慣將近十年。

現(xiàn)在，根據(jù)讀者的建議，他升級了一波工具，現(xiàn)在用的是VSCode+TeX Live+LaTeX workshop+GitHub Copilot。

VSCode初印象

陶哲軒表示，每隔五到十年，自己都會試圖將TeXLaTeX編輯器切換到更現(xiàn)代的編輯器。

這個過程重復了好幾次，甚至從90年代中期就開始了。那時，他還在讀研究生，剛開始用UNIX shell中的vi來寫Tex。

現(xiàn)在，陶哲軒在這里記錄下了自己使用這些工具的第一印象，并表示對于很多VSCode用戶看來，可能會顯得很小白。

首先，安裝過程沒有任何問題，唯一不太順利的就是因為網(wǎng)速太慢，下載TexLive花了四個小時。

目前為止，他主要使用的是用戶定義的代碼片段功能（code snippets feature）。

通過輸入觸發(fā)詞（比如「cor」），然后按Tab鍵，就能創(chuàng)建整個推論環(huán)境（corollary environment），非常節(jié)省時間。

陶哲軒表示，奇怪的是，20年前就曾有一個短暫的時期見過類似功能。那時他使用微軟的Word作為LaTex編輯器，純粹是為了使用Visual Basic宏。

不過，由于缺乏其他對LaTeX友好的功能，他不久后就放棄了使用Word。

至于AI驅(qū)動的GitHubCopilot，目前為止陶哲軒主要是用它的建議來填寫代碼段。

在給出他需要的代碼片段示例后，只要單擊一下Tab鍵，GitHubCopilot就會給出更多建議。

陶哲軒表示，自己最近的論文就是用這套新工具寫的，很快就會放到arXiv預印本網(wǎng)站上，敬請大家期待。

Copilot把用戶的意圖看得明明白白（來源：知友Jeff Tian）

一大波經(jīng)驗交流

在留言區(qū)，網(wǎng)友們紛紛就這些工具的性能展開了討論。

「看起來很絲滑。我用的是Sublime Text，它具有類似的功能，不過帖子里介紹的layout（以及使用Copilot創(chuàng)建新代碼段）似乎非常有用?！?/span>

有人表示，自己已經(jīng)使用類似的設置（只是沒有Copilot）幾年了，這種工作流比以前的TexLive/Atom設置有了很大的改進。

有網(wǎng)友表示，自己也正在嘗試VSCode，來自一個相當簡陋的vim設置（實際上就是vi），因為它不僅需要在Linux和Windows上兼容/可移植，還需要在不同的UNIX上做到這一點。

由于這個需求很快就會消失，并且VSCode可以整齊地編寫腳本，所以它看起來確實是一個不錯的替代方案。

另外，她還用了開發(fā)容器功能，在獨立于LaTex設置的不同機器上實現(xiàn)了可重現(xiàn)和一致性的構(gòu)建。

有人表示，從上世紀開始，自己最喜歡的編輯LaTex的方式，就是帶有auctex軟件包的emacs。

在和他人協(xié)作時，他有時會被迫使用Overleaf，但它比起帶有auctex的emacs，仍然差遠了。

關(guān)于網(wǎng)友們的留言，陶哲軒表示，因為自己也沒用過這些編輯器，所以希望大家來一起比較下它們的優(yōu)劣之處。

很多年前，自己確實用過一些WYSIWYG（所見即所得）的LaTex編輯器，但它們并不方便和直接編輯LaTeX的合著者一起使用，或者并不適應各種不同期刊的內(nèi)部風格。

陶哲軒表示，自己發(fā)現(xiàn)VSCode設置的一個好處是，除了滿足自己對編輯器中集成AI技術(shù)會是什么效果的好奇心，它還鼓勵了自己改變了幾十年的編碼工作流——從在「在基本編輯器中編寫代碼，然后從命令行編譯」，更新為類似于現(xiàn)代IDE的東西。

為什么數(shù)學大神的編碼方式如此復古呢？他對此給出了這樣的解釋：「我很少寫代碼，所以讓這個工作流更現(xiàn)代化從來都不是我的優(yōu)先事項?！?/span>

網(wǎng)友安利，大神嘗鮮

所以，保持同一個工作流幾十年不變的陶哲軒，是怎么想到做出改變的呢？

這要從上周六他發(fā)布的一篇帖子說起。 

作為實驗，他要求GPT-4寫一段Python代碼，為每個自然數(shù)n計算1,...,n的最長子序列的長度??(??) ，其中歐拉全能函數(shù)?不遞減。

GPT-4立刻生成了一段極其巧妙的代碼，在此基礎(chǔ)上，陶哲軒最終手動生成了自己想要的代碼，節(jié)省了半小時的工作量。

因為他不常使用代碼工具，有網(wǎng)友提出了這樣的建議：要不要試試GitHubCopilot + VSCode？它們很有用，幾乎讓我不必查找標準的表層句法結(jié)構(gòu)了。

陶哲軒表示感謝，如果自己需要定期大量寫代碼，就一定會采用的。不過目前只是每月一次偶爾需要這樣的計算，為特定任務找到最快的解決方案而已。

他表示，自己每天都在用的LaTex，已經(jīng)找到了最舒服的工作流。當然，他也不排除將AI工具集成到LaTeX編輯器中的可能，因為目前他還是通過ChatGPT或者谷歌來解決LaTeX問題的。

網(wǎng)友堅持安利道：「是的是的，我經(jīng)常在VSCode中編輯、編譯LaTeX文檔（用LaTeX workshop+ TeX live）。所以，Copilot在VSCode中也很有幫助。（只用一個Tab，就能得到許多重復的語法/公式了）」

大神終于被說動了，表示安裝TeX需要一段時間，不過看起來確實像編寫LaTeX的一個功能豐富的環(huán)境，自己一定會嘗試一下。

于是，我們就看到了今天的這篇新帖子。這位數(shù)學大神終于改變了自己堅持幾十年不變的工作流。