NEAR联合创始人伊利亚·波洛苏金警示AI加速的黑客攻击正颠覆传统代码审查模式，呼吁行业转向数学可证明的形式化验证以应对自动化威胁。