부테린은 인공지능이 복잡한 수학적 정리를 증명할 수 있다면, 고도로 복잡한 시스템에 대해서도 프로그램의 보안성을 수학적으로 증명할 수 있을 것이라고 생각합니다. 그는 '보안성'을 정의하는 복잡성을 인정하면서도, 현대 인공지능이 전체 프로그램을 검증하여 코드를 더욱 탄력적으로 만들 수 있다고 믿습니다. 그는 이더리움이 이 방향으로 나아갈 것이라고 말했는데, 이는 안전한 소프트웨어가 확장 가능하고 프라이빗한 블록체인의 미래에 필수적이기 때문입니다.