技术与协议Decrypt03:01
以太坊创始人Vitalik Buterin表示AI不会毁灭加密安全
Ethereum Founder Vitalik Buterin Says AI Won’t Doom Crypto Security
Vitalik押注AI转攻为守，可整个系统数学验证才是真门槛
判断
Vitalik 把 AI 说成安全团队的下一把工具，这直接改变以太坊项目安全预算的去向：钱从人工代码审查挪向 AI 辅助的形式化验证，前提是有人肯复核这些证明。
依据
以太坊联合创始人 Vitalik Buterin 在 9月17日 表示，AI 驱动的黑客攻击不会让网络安全走入绝境，同一套能力可以反过来帮开发者做数学验证。机制是形式化验证（formal verification，把程序该做什么写成数学命题，再逐步证明代码确实满足它）：过去它只能覆盖小范围代码，因为写证明比写代码贵得多；若 AI 能自动产出大部分证明，攻击方用 AI 找漏洞的那点速度优势就被同一种能力抵消。代价落在人身上——证明生成得越快，能读懂并复核它的审计员越稀缺，把这步外包给同一个模型等于没验证。
没写清 材料没有给出任何一次用 AI 完成整系统形式化验证的实例、耗时或费用，所以无法判断这套说法眼下能不能落地。
下一步 看以太坊基金会或 Vitalik 本人接下来是否公开一个由 AI 生成、可被第三方复核的形式化证明仓库或相关 EIP。