The Chinese AI firm DeepSeek is assisting Beijing's military and intelligence operations, a senior US official has claimed.