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

2026年10月28日，据 AGI Hunt 报道，jd_pressman 与 AI 安全研究者 @moyix 在讨论 AI 辅助 CVE 漏洞挖掘时提出，Rust 语言与 Verus 形式化验证实际上正在缩小搜索空间、降低噪音，使模型能够直接定位到可能存在漏洞的位置。jd_pressman 同时质疑这种收敛最终是否会穷尽。报道还提到，他调侃 Apache 代码库本身质量堪忧，可能贡献了一半的漏洞。上述观点均出自这场讨论，报道未给出进一步的实验数据或验证结果。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。