Vitalik Buterin 在 X 上回了怼一股风声。有人说 AI 黑客迟早把网络安全打穿，他不认同。他的理由：网络安全天生站在防守这边，只要人把活儿做细。AI 既然能证明纳维-斯托克斯方程和费马大定理，那把「这段程序是安全的」当成数学定理去证，再复杂的代码也不在话下。他还提了句，自己约九成净资产仍放在加密资产里。他主张开发者用 AI 做形式化验证，把整段系统证严实，而不是只盯着少数模块。