AI 验证领域已成熟到必须先回答「验证的是什么」

ohlennart · x · 2026-10-09

研究者 ohlennart 提出对 AI verification 领域的观察:这个领域已足够成熟,谈论它时必须先回答「验证什么?」

他认为核心挑战正在于此:你通常能验证的是一个狭窄的技术性声明,但如何把它与真正重要的东西(模型实际行为、安全性承诺)连接起来,才是关键难题。这是对可验证性主张泛化鸿沟的点题式批评。

原文链接 →

「安全」频道最新

更多「安全」频道 AI 资讯 →