据 NEAR Protocol 联合创始人 Illia Polosukhin 周一在接受 The Block 采访时表示，人工智能如今正在让黑客比传统安全审查更快发现软件漏洞，而传统安全审查往往还来不及修补。Polosukhin 认为，传统做法——由经验丰富的开发人员手动审查代码——在考虑到升级到新一代 AI 模型的能力之后，已经不可持续。他提出形式化验证，即在数学上证明代码“确实做到了它所声称的事”。尽管从历史上看，这项工作昂贵且耗费人力，但 AI 现在可以帮助生成大部分所需的证明，而这些证明还能被独立地验证。作为示范，Zcash 计划通过 Project Tachyon 使用 AI 辅助验证，在数周而非数年内产出了一份数学证明。
免责声明：本页面信息可能来自第三方，仅供参考，不代表 Gate 的观点或意见，亦不构成任何财务、投资或法律建议。数字资产交易风险较高，请勿仅依赖本页面信息作出决策。具体内容详见
声明。
