Basically, the LessWrong arguments are not always careful to distinguish between Seed AIs, Superintelligent AIs, Sovereign AIs, Perfect Bayesian Reasoners, Optimizers, Optimized AIs, and probably several other kinds.
I expect the arguments are full of type errors.