Chinese artificial intelligence startup DeepSeek on Thursday formally released its official V4 Pro model, aiming to regain ground against fast-moving domestic rivals as ​it expands hiring, computing capacity and fundraising efforts.