DeepSeek开源新型号！ NVIDIA下降了几乎4％，其市场?

Meike Zhang Jinhe的编辑 4月30日，DeepSeek在AI开源中发布了一种新模型，称为DeepSeek-Prover-V2-671B，以便今天拥抱社区。新模型是一个专门用于数学定理证明的大型语言模型，并专门针对正式的数学证明任务进行了优化。 DeepSeek-Prover-V2-671b使用DeepSeek-V3体系结构，参数高达6710亿，采用的MOE（Hybrid Expert）模式，具有61层变压器层和7168维的隐藏层。更令人惊奇的是 - 节日是最大的位置嵌入高达163,800，这意味着它可以通过数学证明来处理超级复杂的问题。 值得注意的是，该行业将3月发布的V3-0324版本视为未来R2的主要模型。此版本可以通过使用6850亿个参数升级MOE体系结构来丢弃代码的能力。 值得注意的是，美国股市于4月30日晚上开业时E NVIDIA股价下跌了3.9％，其市场价值进化为1037亿美元（约合7541亿元人民币）。 太阳 - 经济新闻全面来自公共信息 DENUCH：本文的内容和数据仅用于参考，并且不会产生投资建议。请我在使用前进行验证。基于此的操作自负。 金融的官方帐户 24小时广播滚动滚动最新的财务和视频信息，并扫描QR码以供更多粉丝遵循（Sinafinance）