研究者主张把AI安全验证延伸至物理层

AI安全研究者@diagramchaser主张，AI安全的形式验证不应止于软件或汇编层，还应延伸至麦克斯韦方程组所描述的物理层面。其理由是将汇编视为近乎通用的中间表示，以此凸显当前验证深度与硬件级物理验证目标之间的分歧；目前这是提出的验证方向，未见相应方案落地或效果验证。

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

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