Ethereum'un kurucu ortağı Vitalik Buterin, yapay zeka destekli formal doğrulamanın yazılım geliştirmede nihai evrimi temsil edebileceğini önerdi. Bu yaklaşımda, yapay zeka kod üretirken, formal kanıtlar kodun doğruluğunu garanti eder ve bu sayede Ethereum gibi sistemler tamamen hatasız hale gelebilir. Buterin, bu kombinasyonun blok zinciri ve diğer kritik yazılım sistemlerinin güvenliğini ve güvenilirliğini önemli ölçüde artırabileceğini öne sürüyor.