PDF が AI との対話インターフェースになるとき

始まりはたいてい、7 ページ目でふと立ち止まる瞬間です。何ヶ月もかけて磨き上げてきた論文原稿を通読し、馴染み深い論理展開を目で追っていたあなたは、ある部分型関係の式で視線を止めます。記号は見慣れたもので、数式も整然と組まれているのに、二つの型のあいだの向きだけがひっそりと逆転しているのです。さらに二段落ほど読み進めると、本文中のインライン記法もその逆転を引き継いでおり、横に目をやれば、図のキャプションまで同じ書き方を踏襲しています。問題点が紙面の上で一本の線としてつながり、鮮明に浮かび上がります。査読者がどこに疑問を呈するかは一目瞭然であり、このページのどこから手をつけるべきかもはっきりと分かります。

ところが、いざ修正しようと手を伸ばした瞬間、そのページは目の前から消えてしまいます。

レンダリングされた PDF ページの上で生まれた直感に応えるために、従来の学術執筆ツールはいつも、PDF ページから離れ、ドル記号やバックスラッシュが画面いっぱいに並ぶ .tex ソースファイルへと引き返すよう求めてきます。何十年ものあいだ、「組版された紙面で考え、ソースコードの中で作業する」という分断は、精緻な組版を得るためには避けられない代償だと当然視されてきました。今日の AI エージェントが複数ファイルにまたがるプロジェクトを巧みに扱えるようになってもなお、主流の LaTeX ツールの操作体系は、ソースコード編集を中心とする経路依存から抜け出せていません。せっかく賢くなった AI アシスタントをコードペインの中に押し込め、生のマークアップ言語に主作業領域を居座らせたままにしているのです。そして組版済みの論文原稿はといえば、パイプラインの末端に置き去りにされ、単なる付属のプレビュー窓として扱われています。

私が Papilot をつくったのは、まさにこの分断とねじれに耐えられなかったからです。私は、著者がいま読んでいるそのページの上で直接、AI と原稿の修正について語り合えるようにしたいと考えました。著者が物語を紡ぎ、AI に修正の意図を伝え、最終的に学術的な表現として成り立っているかを見極めるとき、向き合っているのは常に組版されたページです。だからこそ Papilot は、主作業領域をまるごと PDF 原稿そのものに返し、常駐のソースコードエディタには画面上の場所を残しません。ディスク上では、プロジェクトはこれまで通りローカルの .tex や .bib などのファイルで構成され、Git で管理されます。直接コードを見たり手で書き換えたりしたければ、いつでも使い慣れた外部エディタで開けばよいのです。けれど、人間と AI の対話は、ここから同じ一枚の原稿の上へと戻ります。

なぜソースコード中心の AI 協業は時代遅れなのか

画面分割型のインターフェースが長く続いてきたのは、決して偶然ではありません。その背後には、「コードを書き換える場所こそが本当の作業台だ」という惰性の思い込みが潜んでいます。たとえば Overleaf では、画面の左側に編集ペイン、右側に PDF ビューアが並びます。ユーザーはコードエディタとビジュアルエディタを切り替え、ペインの幅を調整したり折りたたんだりし、再コンパイルして結果を更新しながら、ソースコードと紙面のあいだを行き来します。たとえ一部のパネルを隠したりビジュアルモードを有効にしたりしても、著者が手を入れる操作パネルと最終的な組版紙面とは切り離されたままであり、ソースコード編集が舞台の中央を占め続けています。

この分割構造の中にどれほど強力な AI モデルを組み込んだところで、著者の効率は上がりません。まもなく幕を閉じようとしている OpenAI Prism プロジェクトが良い例です。そのエディタ内蔵アシスタントは、「保持」や「破棄」を選べる LaTeX コード断片を生成し、ソース内のインラインエラーを示し、プロジェクトファイルを書き換えて再コンパイルを走らせ、独立した PDF プレビュー窓に結果を表示することができます。しかし、この一連の流れにおいても、対話は相変わらずソースコードを中心に回っています。著者の抱く疑問は PDF から生まれるのに、AI が返す修正案はまずコードとして提示されるのです。その効果を確かめるには、コンパイル後の原稿へ戻り、変更箇所に対応する場所を探し出し、修正前の内容と一つひとつ照らし合わせなければなりません。

まさにこの場所探しと照合の往復こそが、思考の連続性を断ち切ってしまうのです。7 ページ目の、向きが逆転したあの部分型関係に戻りましょう。ソースコード優先の画面でアシスタントに修正を依頼すると、目の前に現れるのは赤と緑が入り乱れるソースの diff です。判断式に含まれる \Gamma や \vdash、推論規則を組む \inferrule、さらにはプロジェクト独自の部分型判断マクロまでが変更箇所に顔を出すかもしれません。もちろん再コンパイルすれば修正後の PDF は見られますが、新しく生成された原稿は、前の版とどこが変わったのかを直接教えてはくれません。結局、該当する数式を自分で探し出し、前の版と一箇所ずつ突き合わせる必要があります。部分型関係の向きは正しく直っているか、本文や図のキャプションもあわせて更新されているか。ソースの diff が示すのはコマンドの増減ですが、著者が本当に確認すべきなのは、その増減が原稿の上に残した変化なのです。

組版されたページが共通の文脈になるとき

組版された PDF がもはや受動的な末端のプレビューではなく、あらゆる改訂の出発点であり到着点になったとき、人間と AI の関係は一変します。あなたとエージェントが同じ目に見える一枚の原稿に向き合えば、「探し回る」作業は「指し示す」行為へと変わります。

Papilot での修正は、二人の共同研究者が机を囲み、印刷された原稿を前に議論するのと同じくらい自然です。7 ページ目の数式を直接四角く囲み、誤った向きを引き継いでいる直後の文をハイライトして、短い注釈を書き添えます。部分型関係の向きが逆になっていることを指摘し、AI に修正と後続の導出の確認を頼むのです。ファイル群をまたいで対応する \begin{mathpar} を探し回る必要もなければ、細切れのコード断片をチャットサイドバーにコピー＆ペーストする必要もありません。紙面上の空間的な位置と前後の文脈そのものが、AI に手渡す最も明快なコンテキストになります。

注釈を送ると、接続された AI エージェントがローカルプロジェクト内の .tex ソースファイル上で作業を始めます。ファイルを特定し、数式と本文のマークアップを書き換え、バックグラウンドでコンパイラに新しい組版結果を生成させます。コンパイルが終わったとき、目の前に差し出されるのは味気ないコードパッチではなく、原稿のページ上に直接重ねられた修正前後の比較表示です。実際のフォントサイズ、行間、図表との位置関係の中で新旧二つの版を見比べ、その場で承認するか、却下するか、あるいはさらに磨き上げるよう追加のコメントを残すかを決められます。

PDF を対話のインターフェースにすることは、論文を由来不明のブラックボックスに変えてしまうことでは決してありませんし、ソースコードのない任意の PDF をリバースエンジニアリングすることでもありません。Papilot は常に本物のローカル LaTeX プロジェクトの上で動作し、ディスク上のプレーンテキストファイルが唯一の情報源（Single Source of Truth）であり続け、Git がプロジェクトの歩みをこれまで通り記録します。画面上での修正のレビューとバージョン履歴の管理は明確に切り分けられています。ページ上で「承認」をクリックするのは、あくまで確認の判断を記録する操作にすぎません。確認を終えた変更を実際に原稿へ反映したり、コミットを実行したり、リモートリポジトリへプッシュしたりする操作は、常にあなた自身が主導権を握る独立したステップとして保たれています。

すべての変更に責任を持つために

対話のインターフェースをソースコードから原稿へと戻すことには、もう一つ、より厳粛な意味があります。研究者としての署名責任です。AI が証明の推敲や章をまたいだ記法の統一、さらには冗長な段落の圧縮にますます長けてくるにつれ、気づきにくい新たなリスクが浮かび上がってきました。「もっともらしいハルシネーションと論理の誤り」です。エージェントは、組版としては極めて整然とした原稿を生成しながら、書き換えの過程でひっそりと定理の前提を緩めてしまったり、境界条件を落としてしまったり、ある実験曲線から言える結論を誇張してしまったりすることが十分にあり得ます。

もし著者がソースの diff の照合や表の区切り記号の位置合わせ、画面間の行き来に多くの精力を奪われてしまえば、学術的な推敲に注げる集中力は当然薄れてしまいます。Papilot がソースコード層の視覚的なノイズを取り除き、紙面の上で直接修正前後の変化を見比べられるようにするのは、あなたに代わって判断を下すためではなく、研究者の目をより鋭く保つためです。紙面上の明快さや見やすさは、決して科学的な正しさとイコールではありません。定理が今も成り立っているか、記法に一点の曖昧さもないか、すべての一文が同分野の研究者からの批判に耐えうるか。それらに答えられるのは、依然として著者自身だけです。煩雑なマークアップ言語が舞台裏へと退いたとき、人間に属する学術的判断こそがスポットライトの下へと押し出されるのです。

ローカルプロジェクトを設定する前にまずこの操作感を試してみたい方は、ブラウザから直接インタラクティブデモを開いてみてください。リアルタイムの AI 接続やローカルの LaTeX 環境をインストールすることなく、紙面上で注釈を付け、修正前後の比較を確認する一連の過程を体験できます。ご自身の論文プロジェクトに使い慣れたエージェントをつないで執筆を始める準備ができたら、ぜひ Papilot GitHub リポジトリから、MIT オープンソースライセンスで公開されているデスクトップクライアントと全ソースコードを入手してください。

あのページの原稿へ戻ろう

長いあいだ、機械と協業して文章を書くということは、人間が機械の中間言語を学び、その言語を通して自分の思考を点検しなければならないことを意味していました。私たちはディレクトリツリーやコードパッチ、分割されたウィンドウのあいだで文意をつなぎ合わせることに慣れ親しみ、美しく組版されたあの一枚の紙を、コンパイルが成功したあとにようやく垣間見ることのできるご褒美のように扱ってきました。

さあ、7 ページ目へ戻りましょう。向きが逆転していたあの部分型関係は余白で丸く囲まれ、改訂された数式が元の場所にしっかりと収まり、その下に続く導出は厳密で明快です。問題を見つけてから修正を終えるまで、あなたの視線が自身の論証から離れることは一度もありませんでした。原稿はついに、再びひとつの場所へと重なり合いました。あなたはここで読み、ここで AI と語り合い、そしてここで、紙面に刻まれた一字一句に責任を持つのです。