Vitalik Buterin 认为人工智能可以增强软件安全性以抵御黑客攻击

[ETH] 它需要一个称为形式验证的数学保姆。形式验证证明代码符合其规范，但如果规范本身是错误的，那么证明就毫无价值。人工智能极大地减少了编写代码和证明所需的人力，有可能使形式验证适用于更广泛的软件。