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
开源
分享至
打开微信扫一扫
内容投诉
生成图片
相关推荐
换一换
浙江大学发布高精准基因组设计AI模型
2025-07-09 11:05:23
消息称 Meta 正讨论放弃开源 AI 模型 Behemoth，转向闭源战略
2025-07-15 15:46:36
字节跳动开源其 AI IDE 工具核心组件 Trae-Agent
2025-07-07 08:24:33
微软推出其首款自研 AI 模型：MAI-Voice-1 秒级生成音频，MAI-1-preview 剑指 Copilot 文本场景
2025-08-29 08:34:31
百度文心大模型4.5系列正式开源 同步开放API服务
2025-06-30 11:47:18
华为AI模型运行专利公布
2025-09-05 15:25:04
Meta 砸 143 亿美元投资 Scale AI 仅数月，双方合作关系出现裂痕
2025-08-31 10:00:15
OpenAI 董事会主席：如果你想快速烧掉百万美元，就开发自己的 AI 模型吧
2025-07-26 17:44:00
阿里云通义千问 Qwen3-Coder 宣布开源：480B 参数、原生支持 256K 上下文，可与 Claude Sonnet4 媲美
2025-07-23 08:44:56
开源Qwen凌晨暴击闭源Claude！刷新AI编程SOTA，支持1M上下文
2025-07-23 09:45:56
昆仑万维发布并开源Matrix-Game 2.0模型
2025-08-12 10:17:03
GPT-5发布了，到底有没有那么神？
2025-08-08 09:10:02
美国法官裁定：Meta用书训练AI模型属“合理使用”范畴
2025-06-26 21:02:38
AI思维矩阵
474 文章
169254 浏览
阅读更多
24小时热文
更多
扫一扫体验小程序