NEAR联创警告AI黑客攻击加速，呼吁用数学证明形式化验证保护所有代码

NEAR Protocol联合创始人Illia Polosukhin指出，AI正显著提升黑客发现软件漏洞的速度，传统手动代码审查模式已难以为继。他推崇形式化验证——通过数学证明确保代码功能正确，并强调AI可自动生成大部分证明，人类只需独立验证。Zcash的Project Tachyon项目已成功应用AI辅助形式化验证，将原本需数年的工作缩短至数周。Polosukhin呼吁将形式化验证扩展到整个互联网的关键软件系统。