Di antara banyak proyek AI yang masih terjebak dalam "menggambar kue", satu proyek memberikan saya perasaan yang benar-benar berbeda.
Itu bukan hanya sekadar berteriak slogan, tetapi benar-benar memindahkan bata ke lokasi konstruksi.
Logika proyek ini sangat langsung:
Jika konten, keputusan, dan strategi yang dihasilkan AI tidak dapat diverifikasi, maka jangan bicarakan aplikasi keuangan, pemerintahan, dan identitas.
Untuk itu, ia mengusulkan pemikiran "pernyataan yang dapat diverifikasi minimal" dan menggabungkannya dengan verifikasi multi-node.
Lihat Asli