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

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
开源
分享至
打开微信扫一扫
内容投诉
生成图片
相关推荐
换一换
放开成人内容，OpenAI是为了提升性能？
2025-10-22 17:49:49
外滩大会今年太AI了！王坚暴论：OpenAI确实站在了历史错误的一边
2025-09-12 12:10:41
GPT-5发布了，到底有没有那么神？
2025-08-08 09:10:02
华为昇腾 0Day 支持 DeepSeek-V3.2-Exp，面向开发者开源所有推理代码和算子实现
2025-09-29 20:14:51
开源Agent模型榜第一名，现在是阿里通义DeepResearch
2025-09-18 15:54:31
谷歌最强模型 Gemini 3.0 被曝 10 月 22 日登场：延迟、成本更低，编程等性能更强
2025-10-15 09:32:44
对话Kimi付强：别把模型当宠物圈养，追逐AGI就要让模型与人类共同演化
2025-10-04 10:57:38
腾讯智能体开源大动作！关键技术都拿出来了，开发平台还全面升级
2025-09-22 12:58:11
阿里云创始人王坚：人工智能时代将带来“计算卫星”
2025-09-11 15:59:12
中国移动“九天”通用基础大模型 3.0 发布，核心技术开源
2025-07-26 22:47:54
谷歌 Gemini 3.0 Pro 旗舰 AI 模型内测流出：编程实力亮眼，下周上线
2025-10-03 15:41:08
DeepMind 没舍得开源的 Genie 3，被昆仑万维放出来了
2025-08-12 14:22:32
OpenAI、Anthropic 互评对方 AI 模型：GPT 存在谄媚行为，Claude 不易产生幻觉
2025-08-28 10:18:59
AI思维矩阵
522 文章
246746 浏览
阅读更多
24小时热文
更多
扫一扫体验小程序