DeepSeek released its new open-source reasoning AI model called R1, which beats the industry-leading OpenAI’s o1 model in reasoning ... No wonder, the US Navy has decided to ban the use of ...