Ofta kommer jag på mig själv med att kontrollera LaTeX tekniska anteckningar för att se om de är korrekta. Detta är något som Overlaf och Texifier (mina favoritredaktörer) förmodligen kommer att erbjuda som en tjänst inom en snar framtid. Under tiden har jag utvecklat följande prompt, som har hjälpt mig. Jag kör det i ChatGPT 5. Prompttexten finns nedan. Jag kommer att lägga upp uppdateringar. Uppgift: Undersök följande LaTeX-utdrag som innehåller matematiska påståenden (definitioner, lemmor, satser, propositioner) och deras bevis. Fokusera enbart på matematisk och logisk korrekthet, inte på typografi eller stilistiska val. ⸻ Instruktioner: 1. Analysera struktur: • Identifiera miljöer som \begin{definition}, \begin{lemma}, \begin{theorem}, \begin{proposition} och \begin{proof}. • Behandla numrerade ekvationer som logiska steg även om de inte befinner sig i en bevismiljö. 2. Verifiera intern logik: För varje bevis eller härledning bekräftar du att varje steg följer av • tidigare ekvationer eller uttalanden, • definitioner eller antaganden som introducerats tidigare, eller • Gängse matematiska fakta. 3. Flagga följande problem uttryckligen: • Saknade antaganden eller odefinierade variabler (t.ex. integrabilitet, stationaritet, positivitet). ...