Vitalik Buterin 表示人工智能可以加强加密货币安全

开发人员可能会越来越多地使用人工智能来从数学上证明代码行为正确，而不是仅仅依赖人类审计员。