据 The Block 称，NEAR Protocol 联合创始人 Illia Polosukhin 表示，7 月 21 日，AI 正在加速发现软件漏洞的能力，其速度已快于传统代码审查所能应对的程度。Polosukhin 指出，2025 年 10 月 Balancer 事件是 AI 辅助攻击的开端，并认为在 AI 时代，沿用的传统人工审查方法已不可持续。他主张采用形式化验证——一种数学化方法，用于确保代码行为与规格完全匹配；由 AI 生成大部分证明，人类再验证其正确性，从而显著减少生成证明所需的时间。
免责声明：本页面信息可能来自第三方，仅供参考，不代表 Gate 的观点或意见，亦不构成任何财务、投资或法律建议。数字资产交易风险较高，请勿仅依赖本页面信息作出决策。具体内容详见
声明。
