Developers at leading U.S. AI firms are praising the DeepSeek AI models that have leapt into prominence while also trying to poke holes in the notion that their multi-billion dollar technology has been bested by a Chinese newcomer’s low-cost alternative.