Đồng sáng lập Ethereum, Vitalik Buterin, đã đề xuất rằng việc xác minh chính thức được hỗ trợ bởi trí tuệ nhân tạo có thể đại diện cho sự tiến hóa tối thượng trong phát triển phần mềm. Trong phương pháp này, trí tuệ nhân tạo sẽ tạo ra mã nguồn trong khi các bằng chứng chính thức đảm bảo tính đúng đắn của nó, có khả năng làm cho các hệ thống như Ethereum hoàn toàn không có lỗi. Buterin cho rằng sự kết hợp này có thể nâng cao đáng kể tính bảo mật và độ tin cậy của blockchain cũng như các hệ thống phần mềm quan trọng khác.