Implications of China's recession on AGI development? — LessWrong