私はしばしばLaTeXのテクニカルノートの正確さをチェックしていることに気づきます。これは、Overlaf と Texifier (私が選んだ編集者) が近い将来、おそらくサービスとして提供するものです。その間、私は次のプロンプトを開発しました。ChatGPT 5で実行します。プロンプトテキストは以下のとおりです。更新を投稿します。 タスク： 数学的ステートメント(定義、補題、定理、命題)とその証明を含む次のLaTeXの抜粋を調べます。タイポグラフィや文体の選択ではなく、数学的および論理的な正確さのみに焦点を当ててください。 ⸻ 指示： 1. 構造を解析します。 • \begin{definition}、\begin{lemma}、\begin{theorem}、\begin{proposition}、\begin{proof} などの環境を検出します。 • 番号付き方程式は、プルーフ環境内にない場合でも論理ステップとして扱います。 2. 内部ロジックを確認します。 証明または派生ごとに、すべてのステップが •以前の方程式またはステートメント、 • 以前に紹介した定義または仮定、または •標準的な数学的事実。 3. 次の問題に明示的にフラグを立てます。 • 仮定の欠落または未定義の変数 (可積分性、定常性、正性など)。 ...