2026年10月，在新加坡举行的OKX NOW大会上，以太坊联合创始人维塔利克·布特林表示：任何存在漏洞的系统迟早都会被人工智能攻破。GPT-7、Claude 7和DeepSeek 7都能找到它，现有的攻击和入侵案例已经证明了这一点。
据他所说，人工智能同时增强了攻击者和防御者的能力。它帮助以太坊发现协议中的漏洞、复现漏洞，并通过形式化验证引入复杂的密码学。过去属于可选项的审计和测试，如今正变成强制性要求。
对加密货币持有者而言，这意味着信任逻辑本身的转变。如果说过去还可以依赖项目的声誉或随机抽查，那么现在漏洞将被自动且迅速地发现。那些没有数学证明其安全性的项目，可能在漏洞被发现后的短短几天内就失去投资者的资金。
这里隐藏的激励显而易见：不投资于形式化验证的开发者今天省了钱，但明天要付出声誉和资本外流的代价。而那些引入严格标准的人，则能在用户眼中获得竞争优势——对这些用户来说，储蓄的保全比开发速度更重要。
想象一下银行保险柜：过去只要有坚固的锁和警报器就够了，而现在结构中的任何微小裂纹都会被智能扫描仪发现。在区块链世界里，这样的扫描仪就是人工智能，而形式化验证已不再是奢侈品，而是基石。
因此，向强制性安全的转变不仅改变了技术层面，也改变了持有数字资产的心理：投资者开始更看重可证明的稳健性，而非潜在的收益率。
