2) Invent a way to code an AI so that it’s mathematically guaranteed not to change its goals after many cycles of self-improvement, negotiations etc. TDT is intended as a step toward that.
Only superficially. It would be possible to create an AI with said properties with CDT.
Only superficially. It would be possible to create an AI with said properties with CDT.