Vitalik betul bahawa AI + pengesahan formal boleh menjadi salah satu corak pembangunan perisian yang paling penting. Keselamatan dalam industri blok rantai boleh ditingkatkan secara signifikan. Tetapi, tidak, ia tidak semudah “AI menulis kod, bukti mengesahkannya, oleh itu ethereum menjadi bebas ralat.” Versi yang lebih realistik ialah seperti ini. AI menjadikan rekabentuk berjaminan tinggi lebih murah dan lebih boleh dikembangkan. Pasukan masih perlu menentukan apa yang perlu benar, memodelkan sistem dengan betul, mengekalkan bukti-bukti, dan merekabentuk sistem yang sebenarnya boleh disahkan.
