Junyang Lin, who led Alibaba Qwen, launched Pragmatik Labs in Shanghai. Tencent, HSG, Gaorong and a state fund backed it.