DeepSeek V4 Pro正式版上线¹ Deepseek新大模型仍综合得分落后于Kimi K3，比较接近于Grok 4.6。这在发布之前就都知道。² Deepseek的护城河似乎仍是性价比。一旦发布，外网还是讨论、试用、比较一大片，这是好兆头。DeepSeekHarness火了