After an announcement that Chinese firm DeepSeek has a bold new AI reasoning model, U.S. tech stocks are down big.