2025/04/30

18:47【DeepSeek发布Prover-V2模型，参数量达6710亿】DeepSeek今日于AI开源社区Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。