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.