研究者为 libtiff 写形式化规范被 CBRN 审查拦截

2026年10月14日，AI 研究者 jdpressman 为 libtiff 编写正式规范，提交时触发 CBRN（化学/生物/放射/核）安全检查而被拦下，其吐槽此举属于误伤。据报道，其 agent 已完成所有支持格式的整体验收证明：Verus 中 328 项验证 0 错误、5 项反例证明全部通过、3,956 个生成用例与 20,000 个变异输入通过，并计划继续处理 JPEG/OJPEG。报道称，这一案例凸显形式化验证工作被 AI 安全分类器误伤的现实问题。

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

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