新火種
2023-09-07 
陶哲軒新論文秘密武器曝光：用AI寫LaTeX巨絲滑
編輯：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的最長子序列的長度
相關推薦
- 免責聲明
- 本文所包含的觀點僅代表作者個人看法，不代表新火種的觀點。在新火種上獲取的所有信息均不應被視為投資建議。新火種對本文可能提及或鏈接的任何項目不表示認可。 交易和投資涉及高風險，讀者在采取與本文內容相關的任何行動之前，請務必進行充分的盡職調查。最終的決策應該基于您自己的獨立判斷。新火種不對因依賴本文觀點而產生的任何金錢損失負任何責任。
