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
开源
分享至
打开微信扫一扫
内容投诉
生成图片
相关推荐
换一换
Databricks 呼吁美国 AI 行业拥抱开源：这是中国能够领先的关键因素
2025-11-15 15:55:27
快手可灵 2.5 Turbo 模型上线，较上代模型便宜近 30%
2025-09-23 20:22:21
腾讯混元3D-Omni、混元3D-Part发布并开源
2025-09-26 18:33:53
通义万相全新动作生成模型开源
2025-09-19 15:17:03
2025年度最全面的AI报告：谁在赚钱，谁爱花钱，谁是草台班子
2025-10-13 17:00:38
AI 3D大模型Tripo 3.0发布：参数量达200亿 草图秒变3D
2025-08-22 17:51:52
阿里云创始人王坚：人工智能时代将带来“计算卫星”
2025-09-11 15:59:12
OpenAI 发布 AI 打工人报告：前沿模型完成专家级任务，速度快 100 倍，成本仅 1%
2025-09-27 09:38:47
阶跃星辰开源GUI Agent技术和4B GUI Agent模型
2025-12-01 15:15:24
六大AI模型被扔进加密市场厮杀，DeepSeek暂为交易之王
2025-10-20 18:12:39
AGI又进一步了？谷歌AI模型重磅更新 助机器人感知环境完成复杂任务
2025-09-26 11:34:30
阿里通义深夜炸场：全球首个端到端全模态 AI 模型 Qwen3-Omni 发布开源，文本、图像、音视频全统一
2025-09-23 10:12:45
最新研究：AI已经能在几分钟内通过CFA最难级别考试
2025-09-24 22:51:32
AI思维矩阵
569 文章
336324 浏览
阅读更多
24小时热文
更多
扫一扫体验小程序