DeepSeek, the Chinese artificial intelligence startup whose low-cost model stunned the world ‌last year, launched a preview of its ‌highly anticipated new model, the V4, on Friday. The pro version of ​V4 outperforms other open-source models in world-knowledge benchmarks, trailing…