布特林認為，如果人工智能能夠證明覆雜的數學定理，那麼它也能從數學上證明程序的安全性，即便是對於高度複雜的系統也是如此。他承認定義“安全性”的複雜性，但相信現代人工智能能夠驗證整個程序，從而使代碼更具韌性。 他表示，以太坊將朝着這一方向發展，因為安全的軟件對於可擴展且私密的區塊鏈的未來至關重要。