Top Lenovo executive on the DeepSeek moment: ‘It’s good for the industry’