DeepSeek quietly updates open-source model that handles maths proofs | 深寻低调更新开源模型，擅长数学证明

中国初创公司DeepSeek周三悄然开源了一款新的专业人工智能（AI）模型Prover-V2，此前一天，阿里巴巴刚刚发布了第三代通义千问大模型。这表明在中国，提升生成式人工智能能力的竞争正在加剧。DeepSeek此举正值市场对其即将推出的R2推理模型充满期待之际。

DeepSeek的Prover系列是专门用于解决数学相关问题的领域特定模型。上传到Hugging Face的文件显示，Prover-V2构建于DeepSeek的V3模型之上，该模型拥有6710亿个参数，并采用了混合专家架构，以实现具有成本效益的训练和运营。市场猜测，这种专注于数学的模型可能会增强通用基础模型的数学技能，DeepSeek可能很快会推出更多模型。

via SCMP Full Text Feed