Seringkali saya menemukan diri saya memeriksa catatan teknis LaTeX untuk kebenarannya. Ini adalah sesuatu yang mungkin akan ditawarkan Overlaf dan Texifier (editor pilihan saya) sebagai layanan dalam waktu dekat. Sementara itu, saya telah mengembangkan prompt berikut, yang telah membantu saya. Saya menjalankannya di ChatGPT 5. Teks prompt ada di bawah ini. Saya akan memposting pembaruan. Tugas: Periksa kutipan LaTeX berikut yang berisi pernyataan matematis (definisi, lema, teorema, proposisi) dan buktinya. Berfokuslah hanya pada kebenaran matematis dan logis, bukan pada tipografi atau pilihan gaya. ⸻ Peraturan: 1. Struktur penguraian: • Mendeteksi lingkungan seperti \begin{definition}, \begin{lemma}, \begin{theorem}, \begin{proposisi}, dan \begin{proof}. • Perlakukan persamaan bernomor sebagai langkah logis bahkan jika mereka tidak berada di dalam lingkungan bukti. 2. Verifikasi logika internal: Untuk setiap bukti atau derivasi, konfirmasikan bahwa setiap langkah mengikuti dari • persamaan atau pernyataan sebelumnya, • definisi atau asumsi yang diperkenalkan sebelumnya, atau • fakta matematika standar. 3. Tandai masalah berikut secara eksplisit: • Asumsi yang hilang atau variabel yang tidak terdefinisi (misalnya integrabilitas, stasioneritas, kepositifan). ...