3. Yes (modulo local optima)Use
You start at a random state S.If D(S): Change S a little.Else: You aligned AI!
To focus on verification only.
3. Yes (modulo local optima)
Use
To focus on verification only.