Mungkin saya seharusnya memberi ini judul yang lebih clickbaity, seperti: Kami memecahkan halusinasi AI!* * dalam konteks sempit ML ilmiah** ** menggunakan banyak verifikasi formal, pembuktian teorema otomatis, dan teori kategori terapan