back
icon share
  1. 热门话题
  2. 每日早报
  3. 排行榜
  4. AIarrow
  5. 专业版
DeepSeek 开源数学模型 Prover-V2-671B4 月 30 日

DeepSeek 在 Hugging Face 发布新模型 DeepSeek-Prover-V2-671B,采用高效 safetensors 文件格式,支持多种计算精度(BF16、FP8、F32 等),提升训练和部署效率并节省资源。

链接DeepSeek 发布新模型 DeepSeek-Prover-V2-671B
爱范儿
链接DeepSeek 推出 6710 亿参数 Prover-V2-671B 模型,升级架构支持高效训练
ITBear 科技资讯
链接DeepSeek 开源新模型,但不是 R2
凤凰科技
展开展开全部报道
话题追踪话题追踪
2025-09-30
DeepSeek 新模型上线,昇腾、寒武纪、海光等宣布适配
2025-09-29
DeepSeek 新模型上线华为云
2025-09-29
DeepSeek-V3.2-Exp 发布并开源,API 同步降价
2025-09-29
DeepSeek V3.2、智谱 GLM4.6 等大模型即将发布
2025-09-22
DeepSeek 线上模型升级至 V3.1-Terminus 版本,改进语言一致性及 Agent 能力
2025-09-22
华为、浙大发布 DeepSeek-R1-Safe 大模型
2025-09-04
DeepSeek 计划年底前发布 AI 智能体
2025-08-30
DeepSeek 决定使用华为 AI 芯片训练部分模型
2025-08-21
DeepSeek-V3.1 正式发布
2025-08-20
DeepSeek 小更新,多步推理表现提高 43%
查看更多
企业微信二维码
添加 Readhub 到桌面
1. 点击浏览器分享图标
click share icon
2. 选择添加到主屏幕
add to screen
知道了