AWS is first cloud service provider to offer DeepSeek-R1 as fully managed, generally available model