算力核查 · 硬件层的 AI 治理机制

任何有牙齿的国际 AI 协议都要回答一个问题：怎么知道对方没有在偷偷训练危险系统？数据和算法无法盘点，唯有算力——芯片是实物，有产能、有物流、有能耗特征——可以像核材料一样被追踪核查。硬件级核查机制（如 flexHEG 一类「灵活的硬件保障」提案）设想在芯片层内建可验证的合规证明：既能向对手证明「我没越线」，又不泄露模型与商业机密。这是把冷战核军控的验证智慧移植到 AI 上的关键一环；攻破它，「可验证的 AI 条约」才从外交辞令变成可签署的文本。

卡在密码学、芯片安全与国际机制设计的三重交叉：硬件层的远程证明要抗物理攻击和供应链篡改，现有可信执行环境的安全假设撑不起国家级对手；「证明合规但不泄密」的协议在数学上可行、在真实芯片上无人实现。整个方向停留在智库报告与论文，几乎没有工程团队在做原型。

GovAI、RAND 等智库与学界的算力治理/flexHEG 提案研究者——工程实现近乎无人区

读方向：硬件安全（可信执行环境、抗物理攻击）+ 密码学（零知识证明、远程证明），辅以核军控核查史。切入点：为「已交付芯片的训练用途核查」做一个哪怕玩具级的硬件原型，就是这个领域缺失的那块砖；GovAI、RAND 的算力治理研究岗和硬件安全实验室都是入口。