One of the neat things about the argument in my paper is that it doesn't involve the parent AGI actually running the child AGI. It merely involves the parent wr

One of the neat things about the argument in my paper is that it doesn't involve the parent AGI actually running the child AGI. It merely involves the parent writing source-code and knowing that IF it had enough resources to run the source-code, then the result would be a truthful AGI child.