فيتاليك على حق أن دمج الذكاء الاصطناعي مع التحقق الرسمي يمكن أن يصبح أحد أنماط تطوير البرمجيات الأكثر أهمية. يمكن تحسين الأمان في صناعة البلوكشين بشكل كبير. لكن لا، الأمر ليس بهذه البساطة كما يُقال: "الذكاء الاصطناعي يكتب الكود، والبراهين تتحقق منه، وبالتالي يصبح إيثريوم خالياً من الأخطاء." النسخة الأكثر واقعية هي كالتالي: الذكاء الاصطناعي يجعل الهندسة عالية الضمان أرخص وأكثر قابلية للتوسع. لا تزال الفرق بحاجة إلى تحديد ما يجب أن يكون صحيحاً، ونمذجة النظام بدقة، والحفاظ على البراهين، وتصميم أنظمة يمكن التحقق منها فعلاً.