ビタリックは今週、確かな指摘をした：誰もがAIがサイバーセキュリティを破壊するとパニックになっているが、実際には防御側が優位にある。 彼の主張とは？AIを形式的検証と組み合わせれば、バグとの駆け引きではなく、コードの安全性を数学的に証明できるということだ。Ethereumはすでに、プロトコルを初日から耐性のあるものにするためにこのアプローチを採用している。