Vitalik đúng khi cho rằng AI kết hợp với xác minh hình thức có thể trở thành một trong những mẫu phát triển phần mềm quan trọng nhất. An ninh trong ngành blockchain có thể được cải thiện đáng kể. Nhưng không, vấn đề không đơn giản như “AI viết mã, các chứng minh xác minh nó, do đó Ethereum trở nên không có lỗi.” Một phiên bản thực tế hơn như sau: AI giúp việc kỹ thuật đảm bảo độ tin cậy cao trở nên rẻ hơn và có khả năng mở rộng hơn. Các nhóm vẫn cần xác định những điều gì phải đúng, mô hình hóa hệ thống chính xác, duy trì các chứng minh và thiết kế các hệ thống thực sự có thể xác minh được.
