"Dalam paradigma pemrograman baru ini, fitur baru yang paling prediktif untuk dilihat adalah verifikasi. Jika tugas/pekerjaan dapat diverifikasi, maka dapat dioptimalkan secara langsung atau melalui pembelajaran penguatan, dan jaring saraf dapat dilatih untuk bekerja dengan sangat baik."