Post by @30234 • Hey

，Vitalik Buterin 发推称，其对于人工智能应用之一的 AI 辅助代码形式验证和 BUG 查找感到「值得期待」，目前以太坊最大的技术风险可能是代码中的 BUG，任何能够改变游戏规则的事情都将「令人惊奇」。