Der Ethereum-Mitbegründer Vitalik Buterin hat vorgeschlagen, dass KI-gestützte formale Verifikation die ultimative Weiterentwicklung in der Softwareentwicklung darstellen könnte. Bei diesem Ansatz würde künstliche Intelligenz Code generieren, während formale Beweise dessen Korrektheit sicherstellen, was Systeme wie Ethereum potenziell vollständig fehlerfrei machen könnte. Buterin schlägt vor, dass diese Kombination die Sicherheit und Zuverlässigkeit von Blockchain- und anderen kritischen Softwaresystemen erheblich verbessern könnte.