Eksekusi yang dapat diverifikasi bisa menjadi fitur utama dari AI generasi berikutnya.