.png)
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
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "17987")
相关推荐
.png)
换一换
宜居星球探索取得突破：科学家使用 AI 模型发现 44 个可能存在类地行星的恒星系
2025-05-07 18:15:09
月之暗面 Kimi K2 发布并开源，擅长代码与 Agentic 任务
2025-07-11 23:44:58
微软将开源 GitHub Copilot Chat 扩展，推动 VS Code 成开源 AI 编辑器
2025-05-20 15:43:49
425 文章
65741 浏览
24小时热文
更多
-
2025-07-21 07:12:33 -
2025-07-21 05:12:15
-
2025-07-21 05:12:10
