Vitalik Buterin：AI 助开发者数学验证软件系统

Vitalik Buterin 认为 AI 非安全威胁，可转为防御工具，通过数学验证提升加密系统安全性。

据 Woofun AI 消息，以太坊联合创始人 Vitalik Buterin 表示，人工智能不会摧毁加密货币安全，反而能成为防御工具。他指出，AI 有望协助开发者以数学方式验证整个软件系统，将原本用于发现漏洞的技术转化为安全保障。这一观点回应了当前安全社区关于 AI 被用于利用代码漏洞的争议。