基于学习的方法（如神经网络）本质上是黑箱，难以用传统形式化方法证明其安全性，这催生了“安全学习”和“运行时监控”等新研究方向。