software-safety

Vitalik Buterin 认为，AI 可以使形式化验证更加实用，帮助生成规范和证明以确保软件行为正确，从而可能改变以太坊之外的关键软件开发。