正当大家纷纷进入“五一”假期模式时,AI 界的 “劳模” DeepSeek 再次证明:放假?不存在的。他们就在这个节骨眼上,悄然向开源社区投喂了一款重量级新模型——DeepSeek-Prover-V2...