最新消息：@VitalikButerin 认为 AI 辅助的形式化验证可能是“软件开发的最终形态”。 AI 编写代码，形式化证明验证其正确性，两者结合可能让以太坊 和其他安全系统真正做到无漏洞。