Sebuah prediksi: orang akan bergerak ke arah memproduksi dokumen yang diverifikasi mesin. Sebuah dokumen akan disertakan dengan daftar periksa sehingga Anda dapat melihat bahwa dokumen tersebut memenuhi properti tertentu, seperti yang diverifikasi oleh LLM: (🧵)