By Reuters Developers at leading AI firms in the United States are praising the DeepSeek AI models that have leapt into prominence while also trying to poke holes in the notion that their multibillion-dollar technology has been bested by a Chinese newcomer’s…