Vitalik反驳AI黑客将让网络安全崩溃的观点，强调AI能验证整个程序安全性

[ETH] Vitalik 认为，如果 AI 能证明纳维-斯托克斯方程和费马大定理，那么它也能把“这个程序是安全的”作为数学定理来证明，哪怕程序很复杂。“安全”的定义本身很复杂，包含多种攻击场景（伪造、重放、服务器被攻破、密钥泄露、侧信道等），但定义远比实现代码的攻击面小，也更容易被验证。过去只验证“自认为安全