Anything that you don’t want the AGI to do, you should ideally prove not that it can’t do it, but that it won’t do it. Correctness is enough for this.
Anything that you don’t want the AGI to do, you should ideally prove not that it can’t do it, but that it won’t do it. Correctness is enough for this.