V神力挺AI赋能加密安全：形式化验证迎来新可能

以太坊联合创始人在社交平台公开回应近期对人工智能冲击加密货币安全的忧虑，指出高阶人工智能模型具备将复杂软件系统进行严格数学验证的潜力，其逻辑严谨性可媲美解决艰深数学命题。

安全边界重构：从被动防御转向主动证明

尽管承认“安全”这一概念本身尚无统一定义，但V神明确否定网络安全终将溃败的悲观论调，强调当前生态正通过构建防御性机制应对潜在风险。他透露个人资产中约九成仍为加密资产，体现对其长期价值的信心。