标签：布特林

维塔利克·布特林解读 AI 如何强化形式化验证的安全潜力

形式化验证系借由数学逻辑严检系统合规性，理论可全覆盖校验。维塔利克提出，利用 AI 进行语言转译、自动模型核查及混合推理，能降低该技术门槛并增效，助推区块链等复杂网络达成更优安全防护水准。