DeepSeek开源新模型，英伟达跌近4%_linux资讯

创始人

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 英伟达

国产大模型下调推理服务价格，南... 近日，国内某大模型企业宣布下调其flash系列模型服务价格，输入缓存命中、输入缓存未命中及输出价格最...

AI新手用拼豆庆祝教师节

解码青年人AI生活《2026有... 中新网深圳9月5日电(记者索有为)《2026有意思生活方式报告》(下称《报告》)4日在全国首个有意思...

OpenAI 最强 AI 生图... 9月9日消息，OpenAI 9 月 9 日官宣发布 ChatGPT Images 2.5，图像生成延...

探索AI供应链产业化路径京东推... 2026年以来，人工智能应用范围加速拓展，持续从数字空间走向现实生活，广泛融入生产线、仓储厂房、配送...

教育部发文！AI生成内容，教师... 一篇论文，因为AI使用不当，相关高校师生被通报处理。 9月2日，安徽财经大学公布“教师与学生涉嫌学术...

夏夜逛吃记 #剪映让好作品告别...

AI识别出近800种可充当乳化... 英国利兹大学食品科学与营养学院和爱丁堡大学科学家携手，开发出一款人工智能（AI）工具，能从数千万种...

搭上低空经济、AI文旅？两连板... 桂林旅游（000978）回应市场热点。 9月8日，桂林旅游再度涨停，斩获2连板。当天晚间，该公司披露...

硅谷：我们不能被硅谷“AI刹车... 【文/底线思维】 OpenAI首席科学家Jakub Pachocki最近写了一篇文章，题目叫《An ...