テレンス・タオ氏の新論文の秘密兵器が明らかに：AIを使ってLaTeXをスムーズに書く

数学の巨匠、テレンス・タオ氏は、論文執筆ツールがついにアップグレードされたと投稿しました。

以前は TeXnicCenter+MiKTeX を頻繁に使用しており、この習慣を 10 年近く続けています。

現在、読者の提案に基づいて、彼は一連のツールをアップグレードし、VSCode + TeX Live + LaTeX ワークショップ + GitHub Copilot を使用しています。

VSCodeの第一印象

Tao 氏は、5 年から 10 年ごとに、TeXLaTeX エディターをより新しいエディターに切り替えようとしていると述べました。

このプロセスは 1990 年代半ばから何度も繰り返されました。当時、彼はまだ大学院生で、UNIX シェルの vi を使って Tex を書き始めたばかりでした。

現在、Tao 氏はこれらのツールを使用した第一印象をここに記録しており、多くの VSCode ユーザーにとっては非常に素朴に見えるかもしれないと述べています。

まず、インストールプロセスに問題はありませんでした。唯一ス​​ムーズではなかったのは、インターネットの速度が遅すぎたため、TexLive のダウンロードに 4 時間かかったことです。

これまで、彼は主にユーザー定義のコード スニペット機能を使用してきました。

トリガーワード (「cor」など) を入力して Tab キーを押すと、完全な相関環境を作成でき、時間を大幅に節約できます。

タオ氏は、不思議なことに、20年前にも同様の機能が短期間観察されたことがあると語った。当時、彼は Visual Basic マクロを使用するためだけに、Microsoft Word を LaTex エディターとして使用していました。

しかし、他の LaTeX 対応機能が不足していたため、彼はすぐに Word の使用を断念しました。

AI 駆動型の GitHub Copilot に関しては、これまで Tao は主にコード スニペットの入力にその提案を使用してきました。

必要なコード スニペットの例を示した後、GitHub Copilot は Tab キーをクリックするだけでさらに多くの提案を表示します。

タオ氏は、最近の論文はこの新しいツールセットを使用して書かれており、まもなくarXivプレプリントウェブサイトに掲載される予定なので、皆さん楽しみにしていてほしいと語った。

Copilot はユーザーの意図を明確に理解します (出典: Jeff Tian)

経験交流の大きな波

コメント欄では、ネットユーザーたちがこれらのツールのパフォーマンスについて議論しました。

「本当に洗練されていますね。私は同様の機能を持つ Sublime Text を使用していますが、投稿で説明されているレイアウト (および Copilot を使用した新しいスニペットの作成) は本当に便利そうです。」

ある人は、数年間同様のセットアップ（Copilot なし）を使用していたが、このワークフローは以前の TexLive/Atom セットアップに比べて大幅に改善されたと述べました。

一部のネットユーザーは、Linux と Windows で互換性/移植性が必要であるだけでなく、さまざまな UNIX でも互換性/移植性が必要であるため、かなりシンプルな vim セットアップ (実際には vi のみ) から VSCode を試していると述べています。

この必要性はすぐになくなり、VSCode はきちんとスクリプト化できるため、良い代替手段のように見えます。

さらに、彼女は開発コンテナ機能を使用して、LaTeX の設定とは関係なく、さまざまなマシン上で再現可能で一貫性のあるビルドを実現しました。

前世紀以来、LaTex を編集するお気に入りの方法は、auctex ソフトウェア パッケージを使用した emacs であると言う人もいます。

他の人と共同作業を行う際、Overleaf を使わざるを得ないこともありますが、それでも auctex を使用した emacs に比べるとはるかに劣ります。

ネットユーザーのコメントについて、テレンス・タオ氏は、自分はこれらのエディターを使ったことがないので、みんなで長所と短所を比較してもらいたいと述べた。

何年も前、私は WYSIWYG (What You See Is What You Get) LaTeX エディタをいくつか使用していましたが、LaTeX を直接編集する共著者と一緒に使用するには不便だったり、さまざまなジャーナルの内部スタイルに適合していなかったりしました。

Tao 氏は、VSCode のセットアップで見つけた利点の 1 つは、AI テクノロジをエディターに統合するとどのような効果が得られるのかという好奇心が満たされたことに加え、数十年にわたるコーディング ワークフローを「基本的なエディターでコードを記述し、コマンド ラインからコンパイルする」というワークフローから、最新の IDE に似たものに変更するきっかけになったことだと述べています。

数学のマスターのコーディングスタイルはなぜこんなにレトロなのでしょうか?彼はこう説明しました。「私はめったにコードを書かないので、このワークフローを最新化することは私にとって優先事項ではありませんでした。」

ネットユーザーが推奨、マスターが試用

では、何十年も同じワークフローを維持してきたテレンス・タオは、どのようにして変更を加えるというアイデアを思いついたのでしょうか?

これはすべて彼が先週の土曜日に投稿した記事から始まった。

実験として、彼はGPT-4に、オイラー普遍関数ϕが減少しない各自然数nについて1,...,nの最長部分列の長さ𝑀(𝑛)を計算するPythonコードを書かせました。

GPT-4 は即座に非常に巧妙なコードを生成し、それに基づいて Tao は最終的に必要なコードを手動で生成し、30 分の作業を節約しました。

彼はコードツールをあまり使用しないため、一部のネットユーザーから次のような提案がありました。「GitHub Copilot + VSCode を試してみてはどうでしょうか?」これらは非常に便利で、標準的な表面的な構文構造を調べる手間がほとんど省けます。

タオ氏は感謝の意を表し、定期的に大量のコードを書く必要がある場合は必ず導入すると述べました。ただし、現在のところ、このような計算は、特定のタスクの最速のソリューションを見つけるために、月に 1 回程度しか必要ありません。

彼は毎日 LaTex を使用しており、最も快適なワークフローを見つけたと述べています。もちろん、彼は AI ツールを LaTeX エディターに統合する可能性を否定していません。現在、彼は ChatGPT または Google を使用して LaTeX の問題を解決しているからです。

ネットユーザーは次のように主張しました。「はい、はい、私はよく VSCode で LaTeX ドキュメントを編集してコンパイルします (LaTeX ワークショップ + TeX ライブを使用)。したがって、VSCode でも Copilot が非常に役立ちます。(タブを 1 つだけ使用して、多くの繰り返し構文/数式を取得できます)」

マスターは最終的に説得され、TeX のインストールには多少時間がかかるが、LaTeX を書くための機能が豊富な環境のように見えるので、ぜひ試してみると述べました。

それで、今日はこの新しい投稿を見ました。この数学の天才は、何十年も変わらなかったワークフローをついに変えました。