刚刚，DeepSeek 开源新模型

就在刚刚，DeepSeek 在全球最大 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。

根据目前公布的信息，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署。

从命名上看，这款参数高达 6710 亿的模型可能是去年发布的数学 AI 模型 Prover-V1.5 的升级版。

去年开源的 Prover-V1.5 虽然只有 70 亿参数，但在高中数学测试（miniF2F）中成功率达到 63.5%，在大学级别测试（ProofNet）中也拿下了 25.3%，超越了多款开源模型（InternLM2-StepProver、Llemma）。

不少网友猜测，这款模型延续了前作 Prover-V1.5 的风格，专门用来攻克数学难题，尤其擅长自动证明定理、做复杂计算，比如像 AlphaGo 下围棋一样，通过「自我对弈」来学数学。

接下来它会表现如何，值得期待。