DeepSeek开源新模型，英伟达跌近4%
创始人
2025-04-30 23:16:32
0次
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亿元）。
来源：每日经济新闻
上一篇：首个央企牵头的AI产业共同体成立
下一篇：AI助手开启“通信+金融”新体验
相关内容
热门资讯
原创 华...
想在竞争残酷的市场中发力，必须要带来一些激进的卖点，但是随着功能特性的提升，硬件也必须要进行给力才可...
支持 AI 扩图，华为 Pur...
2024-07-28 09:05:02作者：姚立伟 华为Pura 70 Pro手机今日推出鸿蒙Ha...
苹果macOS 15.1：允许...
苹果公司在其最新的macOS 15.1版本中，推出了一项引人注目的新功能——允许用户将Mac App...
吞噬星空维妮娜美图/高清壁纸/...
国漫女神｜《吞噬星空》维妮娜美图/高清壁纸/AI手机壁纸/无水印 国漫女神｜《吞噬星空》维妮娜美图...
原创 苹...
前言 IQUNIX在做好看的桌面产品上，一直都给我留下非常深刻的印象。而且早期和苹果产品的设计风格...
原创 商...
最近，各家的AI 9笔记本开始陆续登场，其实大家并不一定非选AI 9 HX 370，主要是这颗CPU...
AI智能+高效清洁！萤石RS2...
目前扫拖机器人市场的竞争非常激烈，在上下水扫拖一体机市场也出现了很多所谓的创新产品。但是对于这些产品...