JoshuaZ comments on Computation complexity of AGI design