研究者质疑AI系统形式化验证声明

安全研究者 @sy1vi3 质疑 AI 安全领域有关系统已完成形式化验证的帖子，称自己曾在同一系统的最新版本中发现大量可利用漏洞，因此对验证所覆盖的实际范围保持审慎。 这一质疑针对“形式化验证”声明的效力，并未提供具体系统名称、漏洞细节或验证范围，也未说明相关帖子由谁发布；现有信息只能表明研究者对相关声明提出疑问，不能直接证明验证无效或系统整体不安全。

AI 根据报道生成 · 29 分钟前更新

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