Ofte tar jeg meg selv i å sjekke LaTeX tekniske notater for korrekthet. Dette er noe Overlaf og Texifier (mine foretrukne redaktører) sannsynligvis vil tilby som en tjeneste i nær fremtid. I mellomtiden har jeg utviklet følgende ledetekst, som har hjulpet meg. Jeg kjører den i ChatGPT 5. Ledeteksten er nedenfor. Jeg vil legge ut oppdateringer. Oppgave: Undersøk følgende LaTeX-utdrag som inneholder matematiske utsagn (definisjoner, lemmaer, teoremer, utsagn) og deres bevis. Fokuser utelukkende på matematisk og logisk korrekthet, ikke på typografi eller stilistiske valg. ⸻ Instruks: 1. Analyser struktur: • Oppdag miljøer som \begin{definition}, \begin{lemma}, \begin{theorem}, \begin{proposition} og \begin{proof}. • Behandle nummererte ligninger som logiske trinn selv om de ikke er i et bevismiljø. 2. Bekreft intern logikk: For hvert bevis eller utledning, bekreft at hvert trinn følger av • tidligere ligninger eller utsagn, • definisjoner eller forutsetninger introdusert tidligere, eller • standard matematiske fakta. 3. Flagg følgende problemer eksplisitt: • Manglende forutsetninger eller udefinerte variabler (f.eks. integrerbarhet, stasjonaritet, positivitet). ...