研究者质疑 AI 安全领域「形式化验证」声明：同一系统最新版本存在大量可利用漏洞

一位安全研究者质疑 AI 安全领域的形式化验证声明，称自己曾在相关系统的最新版本中发现大量可利用漏洞。她表示近期至少见过好几篇宣称已完成形式化验证的帖子，因此对验证的实际范围保持审慎。