Scholl反驳形式化验证规模化主张

Adam Scholl回应形式化方法可以规模化用于AI安全的观点，称真正的障碍不是验证规模，而是难以为系统关心的属性写出精确、可验证的规格。 他以诚实性、可纠正性、智能水平和目标漂移为例，指出这些属性目前只能通过粗糙、间接的代理指标加以规约。因此，即使形式化验证工具本身能够扩展，也难以验证这些属性是否真正符合预期。

AI 根据报道生成 · 21 分钟前更新

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