Got a official mail that deepseek v4 is releasing mid july.