Vitalik：AI技术辅助的代码形式验证和漏洞发现很有意义

芝麻交易所gate官网 消息，2 月 19 日，以太坊联合创始人 Vitalik Buterin 于社交平台发文称，「我对一种应用人工智能的技术感到兴奋，那就是 AI 辅助的代码形式验证和漏洞发现。 目前以太坊最大的技术风险可能是代码中的漏洞，任何能够显著改变这种情况的技术都将是了不起的。」