DeepSeek“五一礼包”来了 新开源模型数学推理能力大提升
1 天前

五一假期前夕,DeepSeek发布惊喜大礼,于Hugging Face平台正式上线DeepSeek-Prover-V2,并配套发布模型卡及示例代码。此次发布包含两个版本,延续其一贯的开源风格。