Evolton
問題の画像から、組版の整った解答PDFを作成します。収録済みの4,313問から、分野と難度を指定してオーダーメイドの問題集を組むこともできます。
LaTeXで文書を書くためのエディタです。搭載するAIが、プロジェクトとビルド結果を読んだうえで、執筆から修正、再ビルドまでを一続きで進めます。
LaTeXは、数式と参考文献を含む文書を組むための言語として、いまも研究の現場で使われ続けています。出力の美しさに疑いの余地はありません。一方で、書き手が実際に時間を取られているのは、たいてい文章を考えている時間ではなく、通らないビルドと向き合っている時間です。
TeX64は、その時間をソフトウェアの側に移すために作っています。編集とビルドは手元のマシンで動き、プロジェクトのファイルはローカルに置かれたままです。そのうえでAIが、分割された各ファイル、読み込んでいるパッケージ、参考文献、そして直前のビルドログを読み、その文書の中ですでに成立している約束事を踏まえて続きを書きます。
エラーが出れば、原因を特定して修正し、もう一度ビルドします。一つの指示に対して、文書が通る状態になるまでを一続きの作業として実行します。
生成された編集は、必ず差分として提示されます。適用されるのは利用者が承認したあとで、確認しないまま原稿が書き換わることはありません。何を主張するか、どの証明を採るかという判断は書き手に残したまま、組版の都合に付き合う手数だけを引き受ける。それがTeX64の設計方針です。
tex64.com を開く