Vitalik 本周提出了一个很有力的观点：大家都在担心 AI 会破坏网络安全，但实际上防御方更占上风。 他的论点是？当你将 AI 与形式化验证结合起来时，你可以用数学方法证明代码是安全的，而不是像打地鼠一样不断修补漏洞。Ethereum 已经在利用这一点，从第一天起就让协议更具韧性。