skeptical_lurker comments on Computation complexity of AGI design