据 The Block 称，NEAR Protocol 联合创始人 Illia Polosukhin 表示，7 月 21 日，AI 正在加速发现软件漏洞的能力，其速度已快于传统代码审查所能应对的程度。Polosukhin 指出，2025 年 10 月 Balancer 事件是 AI 辅助攻击的开端，并认为在 AI 时代，沿用的传统人工审查方法已不可持续。他主张采用形式化验证——一种数学化方法，用于确保代码行为与规格完全匹配；由 AI 生成大部分证明，人类再验证其正确性，从而显著减少生成证明所需的时间。