根据维基百科

在可计算性理论中，赖斯定理指出程序的所有重要的语义属性都是不可判定的。语义属性是关于程序行为的属性（例如，程序是否对所有输入都终止），与句法属性不同（例如，程序是否包含 if-then-else 语句）。如果一个属性对于每个可计算函数都不为真，对于每个可计算函数也不为假，则该属性是非平凡的。

句法属性询问有关计算机程序的问题，例如“是否存在 while 循环？”

语义属性询问有关计算机程序行为的问题。例如，程序是否永远循环（这是停止问题，它是不可判定的，即，一般来说，没有算法可以告诉您任意给定程序对于给定输入是停止还是终止）？

因此，赖斯定理证明了所有非平凡的语义属性都是不可判定的（包括程序是否永远循环）。

AI 是计算机程序（或计算机程序）。与所有计算机程序一样，这些程序可以由图灵机（Church-Turing 论文）建模。

安全（对于图灵机，包括人工智能）是一个重要的语义问题吗？如果是这样，人工智能的安全性是否无法确定？换句话说，我们能否确定一个 AI 程序（或代理）是否安全？

我相信这不需要正式定义安全性。