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
开源
分享至
打开微信扫一扫
内容投诉
生成图片
相关推荐
换一换
DeepSeek昨天开源的新模型，有点邪门
2025-10-22 10:42:03
谷歌 Gemini 3.0 Pro 旗舰 AI 模型内测流出：编程实力亮眼，下周上线
2025-10-03 15:41:08
通义万相全新动作生成模型开源
2025-09-19 15:17:03
英伟达一口气开源多项机器人技术，与迪士尼合作的物理引擎也开源
2025-10-02 12:10:18
超越 GPT-5 Nano，阿里通义 Qwen3-VL 系列全新成员 4B 与 8B 模型开源上线
2025-10-15 13:33:22
大厂AI各走「开源」路
2025-10-17 09:09:57
智谱GLM-4.7-Flash正式发布并开源
2026-01-20 08:45:53
月之暗面杨植麟、周昕宇、吴育昕罕见回应一切：打假 460 万美元、调侃 OpenAI
2025-11-12 09:56:27
面壁智能 AgentCPM-Explore 小模型开源：仅 4B 参数，挑战端侧智能体部署
2026-01-14 15:42:31
谷歌最强 AI 模型 Gemini 3 正式登场：发布即登顶 LMArena，号称迄今最智能
2025-11-19 08:02:25
比DeepSeek贵了400倍，GPT-5.2想钱想疯了？
2025-12-15 11:33:25
腾讯混元推出并开源“混元图像 3.0”，官方称效果能对标业界头部闭源模型
2025-09-28 12:53:03
蚂蚁发布并开源万亿参数思考模型Ring-1T
2025-10-14 17:25:02
AI思维矩阵
617 文章
412482 浏览
阅读更多
24小时热文
更多
扫一扫体验小程序