0
1
李国杰院士:基于可判定性理论的人工智能系统安全风险分类
新智元报道 编辑:LRST 李国杰院士指出,AI 安全风险应按逻辑复杂性分为三类:R1 可验证、R2 可发现但不可证明安全、R3 不可治理。当前 AI 多属 R2,关键不在「证明安全」,而在构建人类主导的制度性刹车机制,拒绝让渡终极控制权。 无论是软件工程、自动控制还是其他形式化方法,它们共享同一个
















