Rust 与 Verus 或缩小 AI 漏洞挖掘搜索空间

AI 安全研究者 jd_pressman 与 @moyix 认为，Rust 语言和 Verus 形式化验证可缩小漏洞搜索空间、降低噪音，使模型更直接定位潜在漏洞位置。他同时提出，这种收敛是否会穷尽搜索空间仍是待解疑问。