公众号：DeepSeek· DeepSeek·2024-08-16 20:46· 2024-08-16AI 评分53DeepSeek 发布开源数学定理证明模型DeepSeek发布开源数学定理证明模型AI 导读DeepSeek 发布了一款开源数学定理证明模型，目标是加速“数学定理证明的 AlphaGo 时代”的到来。来源：公众号：DeepSeek · mp.weixin.qq.comDeepSeek推理能力开源生态模型发布#DeepSeek#开源/仓库#推理#模型发布