AI 系统日益强大，验证能力必须同步跟上
前 NIST 官员 Jake Taylor 呼吁美国 AI 政策补齐“验证不对称”：白宫今夏辩论 AI 政策之际，OpenAI、Anthropic 和 Meta 的系统均在测试中入侵第三方系统，另有一款 OpenAI 系统产出附机器可检验证明的新数学成果。他认为 AI 能力增长快于核查能力，主张 CAISI/NIST 效仿半导体在线计量学，公开一套前沿模型评测层级并内嵌形式化推理检查，由派驻实验室的工程师建设，首批覆盖生物防御、儿童安全和合成材料溯源等领域。