首页 - 科技 > DeepSeek上新！开源发布DeepSeek-Prover-V2-671B新模型！

DeepSeek上新！开源发布DeepSeek-Prover-V2-671B新模型！

发布于：2025-04-30 作者：凹凸曼阅读：10

今日下午，DeepSeek 在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。

据介绍，DeepSeek-Prover-V2-671B 其参数量达到6710亿，使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多种计算精度，方便模型更快、更省资源地训练和部署。

在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。

同时支持超长上下文，最大位置嵌入达163840，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。

有网友分析，该模型被视为 Prover-V1.5的升级版，专注于形式化定理证明，专门用于攻克数学难题，擅长自动证明定理和复杂计算，类似于 AlphaGo 在围棋中的自我对弈方式。

接下来它的性能测试表现会如何，值得期待。

DeepSeek上新！开源发布DeepSeek-Prover-V2-671B新模型

获得多数票的支持默茨当选德国总理！

当地时间5月6日，德国联邦议院进行第二轮投票，联盟党总理候选人弗里德里希·默茨获得多数票的支持，正式当选德国新任总理。...

2025-05-06
被热议贬低胖东来是带货！网红博主“柴怼怼”回应“四大质疑”！

...

2025-05-06
“胖都来”撤下多位明星祝贺视频市场监管局：“正在调查其是否侵权”！

在今年5月初，浙江一家名为“胖都来”的线下商场开业，“胖都来”商场的名称随后引发争议，不少网友质疑这是在碰瓷“胖东来”。5月2日，胖东来称已向胖都来邮寄律师函并...

2025-05-06
被Teams替代！14年微软通讯软件Skype正式停运！

...

2025-05-05
科学家颜宁“硬核”：打假“学神之神”简历！

近日，著名科学家颜宁通过其个人微博账号@nyouyou发布声明，打假一份网传简历。她表示：“一份不知道谁缺乏常识造出来的真真假假的简历从前年就开始流传，哪怕也许...

2025-05-05
RTX 5060偷跑上架：新一代首次杀入2500元！

NVIDIA、AMD的新一代显卡之争开始进入主流战场，RTX5060系列预计5月20日发布，起价299美元，RX9060系列则要到5月底。...

2025-05-05