ブテリン氏は、AIが複雑な数学的定理を証明できるのであれば、高度に複雑なシステムであってもプログラムの安全性を数学的に証明できると述べています。彼は「安全性」の定義の複雑さを認めつつも、現代のAIがプログラム全体を検証し、コードの回復力を高めることができると信じています。彼は、安全なソフトウェアがスケーラブルでプライベートなブロックチェーンの未来にとって不可欠であるため、イーサリアムはこの方向へ進むと述べています。