当前位置:首页 > Deepseek应用场景 > 正文内容

AI数学天花板来了?DeepSeek新模型低调开源,网友直呼:R2指日可待!

3个月前 (05-01)Deepseek应用场景267

就在所有人都在期待DeepSeek官宣R2大模型之际,公司却出其不意地在"五一"前夕投下了另一枚技术炸弹。

4月30日,DeepSeek在Hugging Face平台上悄然开源了其最新模型——DeepSeek-Prover-V2-671B,一个专注于数学定理证明的大语言模型,专门针对形式化数学证明任务进行优化。

DeepSeek-Prover-V2-671B使用了DeepSeek-V3架构,参数高达6710亿,采用MoE(混合专家)模式,具有61层Transformer层,7168维隐藏层。

模型使用了更高效的safetensors文件格式,同时支持BF16、FP8、F32等多种计算精度,这使得模型可以更快、更省资源地进行训练和部署。据OSCHINA分析,该模型分为163个分片,每个分片大小约为4.3GB,充分证明了其规模之庞大。

值得注意的是,3月发布的V3-0324版本已被业内视为未来R2的基础模型。这一版本通过6850亿参数的MoE架构升级,代码能力获得相比显著增强。

数学AI的重磅升级:DeepSeek再开源6710亿参数模型

从技术层面来看,DeepSeek-Prover-V2-671B使用了DeepSeek-V3架构,采用MoE(混合专家)模式,具有61层Transformer层,7168维隐藏层。更令人惊叹的是,其最大位置嵌入达到了16.38万,这意味着它能够处理极其复杂的数学证明问题。

DeepSeek-Prover是DeepSeek团队开发的一系列专注于数学定理证明的开源大语言模型,通过大规模合成数据训练并结合强化学习(RL)与蒙特卡洛树搜索(MCTS)等优化技术,在形式化定理证明领域取得了显著进展。

DeepSeek-Prover通过创新的训练框架与高效的推理策略,在形式化数学证明领域树立了新标杆。其结合合成数据、强化学习与树搜索的技术路径,不仅提升了模型性能,也为AI在严谨数学推理中的应用开辟了新方向。

OSCHINA分析称,新模型具有以下特点:

模型规模巨大:参数量约为 671B(6710 亿参数),这从模型分片数量(163 个)和每个分片大小(约 4.3GB)可以看出

使用了 DeepSeek-V3 的架构:采用 MoE(混合专家)模式,具有 61 层 Transformer 层,7168 维隐藏层

专为数学定理证明优化:从名称 "Prover"(证明者)可以看出,这是一个专注于数学推理和定理证明的专业模型

支持超长上下文:最大位置嵌入达 163840,使其能处理复杂的数学证明

采用 FP8 量化:通过量化技术减小模型大小,提高推理效率

DeepSeekR2 还会远吗?

DeepSeek创始人梁文锋曾表示:“中国也要逐步成为创新贡献者,而不是一直搭便车。” 他将探索通用人工智能的本质作为核心使命。

根据《中国企业家》的报道,DeepSeek创始人梁文锋带领的AI团队一直保持着与国际巨头同步的产品迭代节奏——2024年9月推出V2.5版本,12月发布V3基础架构,次年3月升级至V3-0324版本,形成每季度重大更新的开发范式。

值得注意的是,3月发布的V3-0324版本已被业内视为未来R2的基础模型。这一版本通过6850亿参数的MoE架构升级,代码能力获得显著增强。

如此稳健而高效的产品迭代节奏,不禁让人思考:传言已久的DeepSeek R2大模型还会远吗?这款新的数学模型是否只是DeepSeek即将发布更大规模通用模型的前奏?

在社交平台X上,有网友表示:

“R2 指日可待......”

“昨天 Qwen 3,今天 DeepSeek Prover V2...”

还有测评称,在实际效果上,“在高中数学题测试中,成功率从 50% 提高到了 63.5%。”

“V1.5还只是参数只有7B的小模型,这次直接升到大模型。”

“中国的 AI 初创公司永远不会让人失望!他们真的在改变整个游戏规则!”

“中国最近正在将一些功夫应用于 AI”

“这是个令人兴奋的消息!”


“AI数学天花板来了?DeepSeek新模型低调开源,网友直呼:R2指日可待!” 的相关文章

日媒:DeepSeek为何没在日本诞生

日媒:DeepSeek为何没在日本诞生

《日本经济新闻》网站3月31日文章,原题:日中人工智能专家谈论,Deep Seek为何没在日本诞生 中国初创企业DeepSeek推出的高性能、低成本的生成式人工智能(AI)模型,震惊了世界。在日本,人...

DeepSeek出现在杭州并非巧合

DeepSeek出现在杭州并非巧合

法国《回声报》4月10日文章,原题:杭州,挑战硅谷的中国龙 杭州,位于中国沿海富裕的浙江省,距离上海仅需几十分钟高铁车程。杭州汇金国际大厦外表低调,大堂看上去就像是酒店,越来越多的人对这里十分好奇,因...

豆神教育:公司目前已与DeepSeek达成MIT开源协议,获得DeepSeek的官方本地部署授权

豆神教育:公司目前已与DeepSeek达成MIT开源协议,获得DeepSeek的官方本地部署授权

每经AI快讯,有投资者在投资者互动平台提问:贵公司是否和Deepseep合作?豆神教育(300010.SZ)3月17日在投资者互动平台表示,公司2024年10月正式推出的豆神AI APP接入了包括De...

DeepSeek V3模型重磅升级!腾讯/微美全息加速AI大模型“上车”多场景落地

DeepSeek V3模型重磅升级!腾讯/微美全息加速AI大模型“上车”多场景落地

获悉,3月25日,中国人工智能初创公司深度求索DeepSeek宣布V3版本升级,实测表现远超预期。目前版本号 DeepSeek-V3-0324,用户登录官方网页、APP、小程序进入对话界面后,关闭深度...

钢铁大模型“拥抱”DeepSeek擦出新火花

钢铁大模型“拥抱”DeepSeek擦出新火花

前不久,河钢数字WeShyper(威赛博)钢铁大模型正式接入DeepSeek(深度求索)。这款河北钢铁大模型“拥抱”DeepSeek,将擦出什么样的火花?“DeepSeek具有长文本处理、推理速度快和...

带DeepSeek畅游巴塞罗那:是旅游搭子,更是高级“嘴替”

带DeepSeek畅游巴塞罗那:是旅游搭子,更是高级“嘴替”

当一个人完全没有做攻略就来到一个语言、文字不通的城市,该如何更好的生活or游玩呢?以前,我去外面旅游基本上会用到3-5个不同的app(不包括临时下载的本地功能性app),涵盖翻译、旅游攻略、旅游避坑等...