DeepSeek said it has upgraded the R1 artificial-intelligence model that helped propel the Chinese startup to global prominence earlier this year. DeepSeek completed what it described as a “minor trial ...