AI 研究者写 libtiff 正式规范被 CBRN 安全审查拦下，吐槽误伤

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