Vitalik 反驳 AI 黑客将导致网络安全崩溃的观点，强调 AI 可验证程序安全性

以太坊（Ethereum）联合创始人 Vitalik Buterin 发文反驳关于 AI 黑客将摧毁网络安全的观点。他认为网络安全本质上利于防御，且 AI 有能力将“程序安全性”作为数学定理进行验证，即使程序逻辑复杂。他指出，虽然安全定义包含多种攻击场景，但其定义远比代码实现更容易被验证。