Vitalik Buterin 表示，随着AI在代码生成和漏洞发现方面的进步，数学验证的软件可能有助于保护加密基础设施。