4月30日，DeepSeek在AI开源社区Hugging Face上发布了新模型DeepSeek-Prover-V2-671B。这个新模型可是专注于数学定理证明的大语言模型，专门针对形式化数学证明任务做了优化。
DeepSeek-Prover-V2-671B采用了DeepSeek-V3架构，参数高达6710亿，用的是MoE（混合专家）模式，有61层Transformer层，7168维隐藏层。更厉害的是，它最大位置嵌入达到了16.38万，这表明它能处理超复杂的数学证明问题。
值得注意的是，3月发布的V3-0324版本已被业内当作未来R2的基础模型。这个版本通过6850亿参数的MoE架构升级，代码能力明显增强。
此外，4月30日晚美股开盘，英伟达股价跌了3.9%，市值蒸发1037亿美元（约合人民币7541亿元）。
转载请注明来自商会资讯网，本文标题：《惊爆！DeepSeek开源新模型，英伟达市值一夜蒸发超7500亿！》
粤公网安备12073568
粤ICP备12073568号
还没有评论，来说两句吧...