विटालिक सही है कि AI + औपचारिक सत्यापन एक सबसे महत्वपूर्ण सॉफ्टवेयर-विकास पैटर्न बन सकता है। ब्लॉकचेन उद्योग में सुरक्षा को काफी बेहतर बनाया जा सकता है। लेकिन नहीं, यह इतना सरल नहीं है कि “AI कोड लिखता है, साबिती इसे सत्यापित करती है, इसलिए ईथेरियम बग-मुक्त हो जाता है।” एक अधिक वास्तविक संस्करण इस प्रकार है। AI उच्च-आश्वासन इंजीनियरिंग को सस्ता और अधिक स्केलेबल बनाता है। टीमों को अभी भी यह तय करना होगा कि क्या सच होना चाहिए, प्रणाली को सही ढंग से मॉडल करना होगा, साबिती को बनाए रखना होगा, और ऐसी प्रणालियाँ डिज़ाइन करनी होंगी जो वास्तव में सत्यापनयोग्य हों।
