666

Vitalik Buterin tentang prediksinya bahwa 'Kode tanpa bug akan menjadi mungkin pada tahun 2030-an' pada dasarnya adalah pernyataan terpusat tentang verifikasi formal, pemrograman yang dibantu kecerdasan buatan, dan tren evolusi paradigma rekayasa perangkat lunak. Pandangan ini bukanlah khayalan, tetapi dibangun di atas pengamatan mendalam terhadap lintasan perkembangan teknologi saat ini.