Microsoft eyes DeepSeek to lower AI costs while US restricts top AI models over China fears