
Vitalik benar bahwa AI + verifikasi formal bisa menjadi salah satu pola pengembangan perangkat lunak paling penting. Keamanan di industri blockchain dapat ditingkatkan secara signifikan. Namun, tidak semudah “AI menulis kode, bukti memverifikasinya, sehingga Ethereum menjadi bebas bug.” Versi yang lebih realistis adalah ini. AI membuat rekayasa berjaminan tinggi menjadi lebih murah dan lebih skalabel. Tim tetap perlu menentukan apa yang harus benar, memodelkan sistem dengan benar, memelihara bukti-bukti tersebut, dan merancang sistem yang benar-benar dapat diverifikasi.
