我經常發現自己在檢查 LaTeX 技術筆記的正確性。這是 Overlaf 和 Texifier（我選擇的編輯器）可能在不久的將來提供的服務。與此同時，我已經開發了以下提示，這對我有所幫助。我在 ChatGPT 5 中運行它。提示文本如下。我會發佈更新。 任務： 檢查以下包含數學陳述（定義、引理、定理、命題）及其證明的 LaTeX 摘錄。僅專注於數學和邏輯的正確性，而不是排版或風格選擇。 ⸻ 指示： 1. 解析結構： • 檢測環境，例如 \begin{definition}、\begin{lemma}、\begin{theorem}、\begin{proposition} 和 \begin{proof}。 • 將編號方程視為邏輯步驟，即使它們不在證明環境內。 2. 驗證內部邏輯： 對於每個證明或推導，確認每一步都來自於 • 之前的方程或陳述， • 之前引入的定義或假設，或 • 標準數學事實。 3. 明確標記以下問題： • 缺失的假設或未定義的變量（例如可積性、平穩性、正性）。 ...