标签
Vitalik Buterin 建议将以太坊视为构建'庇护技术'——即自由、开源的工具，使人们能够在面对外部压力时富有韧性地生活和工作，尤其是在对监视和企业控制的担忧日益加剧的背景下。
Vitalik Buterin 认为，AI 可以使形式化验证更加实用，帮助生成规范和证明以确保软件行为正确，从而可能改变以太坊之外的关键软件开发。
Vitalik Buterin分享了一个乐观的看法，认为AI辅助的形式化验证是实现安全、无需信任的代码的途径，并链接到他的博客文章，该文章解释了使用Lean进行形式化验证的基础知识。
Vitalik Buterin 在 a16z 播客中讨论 AI 时代人类应如何应对，提出创建“庇护所技术”以保护隐私和主权，强调人应主动掌舵而非被动依赖 AI。
Vitalik Buterin 反驳了漏洞不可避免以及 AI 查找漏洞就不得不闭源的说法，他指出编写安全代码已变得更加困难，但并非不可能。