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

jd_pressman · x · 2026-10-14

AI 研究者 jdpressman 吐槽：自己只想给 libtiff 写一份正式规范（formal version），却在提交时触发了 CBRN（化学/生物/放射/核）安全检查，感觉相当烦人。他称自己正在做 davidad 建议专注的「礼貌的事」。附图显示其 agent 已完成所有支持格式的整体验收证明：Verus 中 328 项验证 0 错误、5 项反例证明全部通过、3,956 个生成用例与 20,000 个变异输入通过，并计划继续处理 JPEG/OJPEG。这一案例凸显形式化验证工作被 AI 安全分类器误伤的现实问题。