イーサリアムの共同創設者であるヴィタリック・ブテリンは、AI支援の形式的検証がソフトウェア開発の究極の進化を表す可能性があると提案しています。このアプローチでは、人工知能がコードを生成し、形式的証明がその正確性を保証することで、イーサリアムのようなシステムを完全にバグのないものにする可能性があります。ブテリンは、この組み合わせがブロックチェーンやその他の重要なソフトウェアシステムのセキュリティと信頼性を大幅に向上させると示唆しています。