Vitalik称AI可增强网络安全

据Bankless发布，Vitalik表示，AI在数学领域的突破有望让形式化验证变得实用，从而帮助开发者构建更难被攻破的软件。