AI 安全研究者主张形式验证应延伸至麦克斯韦方程层

@diagramchaser 主张，AI 安全的形式验证不应止步于软件或汇编层，而应延伸至麦克斯韦方程组所描述的物理层面。对方将汇编视为近乎通用的中间表示（IR），这一观点凸显了当前验证深度与硬件级物理验证目标之间的分歧。