刚刚，DeepSeek开源DeepSeek-Prover-V2-671B新模型

文章来源：08ai导航网发布时间：2025-08-12 11:08:26

就在刚刚，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 下围棋一样，通过「自我对弈」来学数学。

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

附上 Hugging Face 地址：

https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B

上一篇: 真·开源MCP平台来了！ACI.dev能一站直连600+工具，让你的智能体秒变全能王！

想象一下，你的智能体只需接收一条自然语言指令，就能在 600+ 工具中自动筛选出最合适的 API 组合来完成整个任务流程，无需逐个集成、无需硬编码。这不再是未来畅想，而是 ACI dev 开源 MCP