ヴィタリック：AIによるコード検証とエラーチェックは有望だ

Xプラットフォームへの投稿で、ヴィタリックは「私を興奮させるAIアプリケーションの1つは、AIによるコードの形式的検証とエラー発見です。現在、イーサリアムにとって最大の技術的リスクはコードのエラーであろう。"ゲームを大きく変えることができるものは何でも素晴らしいだろう。