Salah satu perumpamaan menyenangkan dari AI yang menghasilkan banyak matematika/kode dan menghasilkan bukti kebenaran menggunakan verifikasi formal adalah bahwa ini seperti kita bergerak ke era perasaan NP di mana pernyataannya adalah matematika/kode dan saksi adalah bukti ini

Tentu saja itu tidak sempurna karena kita masih bisa (saya kira) memverifikasi kodenya sendiri