The US Navy banned the use of DeepSeek for work and personal use on Friday, days before the Chinese AI crashed the stock market.