布特林认为，如果人工智能能够证明复杂的数学定理，那么它也能从数学上证明程序的安全性，即便是对于高度复杂的系统也是如此。他承认定义“安全性”的复杂性，但相信现代人工智能能够验证整个程序，从而使代码更具韧性。 他表示，以太坊将朝着这一方向发展，因为安全的软件对于可扩展且私密的区块链的未来至关重要。