linux办公网
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亿元）。

来源：每日经济新闻

市值 架构 DeepSeek 参数 Hugging 模型 数学 版本 股价下跌 约合 新模型 MoE 英伟达

上一篇：首个央企牵头的AI产业共同体成立

下一篇：AI助手开启“通信+金融”新体验

相关内容

城市词元工厂落地　焕新AI...
（图片来源：摄图网） （记者 杜峰）近日，在四川自贡举行的“202...
2026-06-23 19:15:39
AI大模型进入“开源+高效...
中国能否依靠开源，走出一条不同于美国科技巨头依赖海量算力、资本与能...
2026-06-23 19:08:14
华为AI通信专利获授权：设...
【CNMO科技消息】随着人工智能技术加速向终端设备普及，如何让不同...
2026-06-22 20:32:22
刚刚，百度开源拿下全球第一...
新智元报道 【新智元导读】百度开源Unlimited OCR！3...
2026-06-22 20:30:12
全球首个！京东全栈开源Jo...
一场火灾发生的瞬间，监控系统可以实时发出警报；独居老人在家摔倒，A...
2026-06-22 17:47:51
美图“追风”AI
4款新品和4款升级版产品，美图近日拿出的8款产品，覆盖设计师社区、...
2026-06-22 17:47:06

热门资讯

2024云栖大会|阿里云升级无... 北京商报讯（记者魏蔚）9月20日，阿里云无影AI云电脑在2024云栖大会上展出，该版本基于最新的终端...
MWC2025荣耀多款AI技术... 人民财讯3月6日电，2025世界移动通信大会（MWC 2025）上，荣耀MagicBook Pro ...
原创 2... #春日生活好物种草季#近年来，笔记本电脑市场迎来技术爆发期，尤其在手机厂商跨界入局后，轻薄本在性能、...
摩尔线程发布AI算力笔记本MT... 钛媒体App 12月20日消息，摩尔线程创始人、董事长兼CEO张建中在摩尔线程首届MUSA开发者大会...
摩尔线程AI生图摩笔马良全新升... 快科技8月7日消息，作为国产GPU的杰出代表，摩尔线程在当下火爆的AIGC浪潮中也推出了自己的软硬一...
微软 Azure AI 语音服... IT之家 8 月 23 日消息，微软Azure AI 语音服务允许开发者构建多语言生成式 AI 语音...
谷歌打磨 Gemini AI ... IT之家 8 月 31 日消息，谷歌于 8 月 27 日发布博文，宣布旗下 Gemini AI 支持...
青云QingCloud Kub... 日前，青云科技宣布开源 Thanos 的企业级发行版 Whizard，为企业带来真正高可用、可扩展、...
Macos系统上一款强大的卸载... App Cleaner mac中文版是Mac os系统上一款强大 的mac卸载工具，以帮助您完全卸载...
AMD锐龙AI 9 HX 37... 2024年6月3日，AMD正式发布全新的锐龙AI 300系列处理器。该系列处理器一经发布就引发大家的...