ویتالیک ٹھیک ہیں کہ AI اور فارمل ویریفیکیشن مل کر سافٹ ویئر ترقی کے سب سے اہم نمونوں میں سے ایک بن سکتے ہیں۔ بلاک چین صنعت میں حفاظت کو کافی حد تک بہتر بنایا جا سکتا ہے۔ لیکن نہیں، یہ اتنی آسان بات نہیں کہ "AI کوڈ لکھتا ہے، ثبوت اس کی تصدیق کرتے ہیں، اس لیے ethereum بگ پروف بن جاتا ہے۔" زیادہ واقعی نسخہ یہ ہے۔ AI اعلیٰ یقینی انجینئرنگ کو سستا اور زیادہ قابلِ توسیع بناتا ہے۔ ٹیمیں اب بھی یہ فیصلہ کرنے کی ضرورت رکھتی ہیں کہ کیا سچ ہونا چاہیے، نظام کو درست طریقے سے ماڈل کرنا چاہیے، ثبوت کو برقرار رکھنا چاہیے، اور ایسے نظام ڈیزائن کرنا چاہیے جو حقیقت میں تصدیق کے قابل ہوں۔