DeepSeek发布Prover-V2模型 参数量达6710亿
行业资讯 2025-04-30 18:36276
【DeepSeek发布Prover-V2模型 参数量达6710亿】DeepSeek今日于AI开源社区Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。据悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。同时支持超长上下文，最大位置嵌入达16.38万，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。（新浪科技）
相关阅读
- 竞价的预期：判断量能、资金、筹码等确认上车点
- 短线交易的底层思维
- 一文讲清龙头战法的本质
- 波段操作4个硬技巧：低买高卖不再靠猜
- 短线制胜之道：大佬们的经典语录
- 每天一个投资小知识——平仓
- 《股票作手回忆录》对短线龙头选手七大核心实战价值
- 三条均线定乾坤，一条生命线，一条决策线，一条趋势线
- 浅谈股市“三力”
- 超短祖训与纪律（技术贴+心法类）
- 量比和换手率手把手教学
- 把握5个低吸的规律，用好5个高抛的技巧
- 超短选手都开始研究趋势了，下半年短线选手生存指南！
- 用通俗易懂的方式，系统聊聊央行的“放水”体系
- 怎么判断主力是不是洗盘
- 垃圾股涨停潮背后，藏着散户不知道的收割套路！
- 炒股炒的是预期，看懂什么是“背离”
- T0算法交易可改散户被割韭菜命运？五个核心问题，讲清这个大热点
- 集合竞价之预期管理篇
- 市场盈亏效应的转换信号