每经编辑 张锦河
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亿元） 。
每日经济新闻综合自***息
免责声明：本文内容与数据仅供参考 ，不构成投资建议 ，使用前请核实。据此操作，风险自担 。
本文来自作者[admin]投稿，不代表若地号立场，如若转载，请注明出处：https://redac-nomade.com/ntjd/202505-9159.html
评论列表（4条）
我是若地号的签约作者“admin”！
希望本篇文章《DeepSeek开源新模型！英伟达跌近4%，市值蒸发超7500亿元》能对你有所帮助！
本站[若地号]内容主要涵盖：国足,欧洲杯,世界杯,篮球,欧冠,亚冠,英超,足球,综合体育
本文概览： 每经编辑 张锦河 4月30日，DeepSeek今日于AI开源社区Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。...