Chinese artificial intelligence startup DeepSeek has officially released its V4 Pro model, ending a preview period that began in April and marking a significant update as the company seeks to maintain its competitive edge against domestic rivals.