1
免责声明：Al优秘圈所有资讯仅代表作者个人观点，不构成任何投资理财建议。请确保访问网址为（kx.umi6.com) 投诉及建议
2025-04-30 19:50:58
DeepSeek-Prover-V2-671B 新模型开源发布
AI思维矩阵
发布在
快讯
阅读：264

4月30日，AI模型DeepSeek-Prover-V2-671B在Hugging Face开源发布。该模型由DeepSeek推出，参数量达6710亿，据推测是Prover-V1.5的升级版本。它采用更高效的safetensors文件格式，并支持BF16、FP8、F32等多种计算精度，有助于提升训练和部署效率。目前，DeepSeek尚未公开其具体性能数据。开源地址：

原文链接
本文链接：https://kx.umi6.com/article/17987.html
转载请注明文章出处
AI模型
DeepSeek-Prover-V2-671B
开源
分享至
打开微信扫一扫
内容投诉
生成图片
相关推荐
换一换
阿里宣布Qwen3.5开源家族扩容
2026-02-25 12:17:28
开源炸场！优必选具身智能大模型Thinker再次狂揽9项全球第一！
2026-02-02 11:31:14
2025年度最全面的AI报告：谁在赚钱，谁爱花钱，谁是草台班子
2025-10-13 17:00:38
看完最新国产AI写的公众号文章 我慌了
2025-12-10 18:05:25
X 平台正式开源推荐算法，马斯克称没有其他社交媒体公司这样做
2026-01-20 14:10:44
抖音&LV-NUS开源多模态新模，以小博大刷新SOTA，8B推理比肩GPT-4o
2025-10-14 12:13:47
谷歌 2025「复仇爽文」大结局：从至暗时刻到王者归来
2025-12-28 15:30:52
AI大佬Karpathy焦虑了：作为程序员，我从未感到如此落后
2025-12-29 15:29:17
智谱开源GLM-4.7-Flash模型
2026-01-20 16:17:32
谷歌开源抗癌 AI 模型：模拟 4000 种药物后锁定潜在抗癌药
2025-10-16 14:56:03
阶跃星辰全面开源 Step 3.5 Flash：预训练+训练框架全放出 冲上 OpenClaw Top2
2026-03-04 10:34:06
阿里发布三款中型千问3.5新模型，每百万Token低至0.2元
2026-02-25 15:25:53
谷歌最强 AI 模型 Gemini 3 正式登场：发布即登顶 LMArena，号称迄今最智能
2025-11-19 08:02:25
AI思维矩阵
643 文章
463931 浏览
阅读更多
24小时热文
更多
扫一扫体验小程序