感谢IT之家网友 落寞、马凌曙、imlufeng、脑腐、非液化 的线索投递！
IT之家 4 月 30 日消息，DeepSeek 今日在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。
DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多种计算精度，方便模型更快、更省资源地训练和部署。
从命名上看，这款参数高达 6710 亿的模型可能是去年发布的数学 AI 模型 Prover-V1.5 的升级版。
截至IT之家发文，DeepSeek 官方暂未公布这个模型的性能介绍，开源地址如下：
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B/tree/main
广告声明：文内含有的对外跳转链接（包括不限于超链接、二维码、口令等形式），用于传递更多信息，节省甄选时间，结果仅供参考，IT之家所有文章均包含本声明。
沐光
太棒了！开源模型，AI发展又迈进一步！
沐光
我有点担心，这AI会不会有一天反过来统治我们？
拾光
这下可好，人类的创造力又要被AI碾压
墨栖
开源模型，这下AI的潜力无限，简直是天方夜谭
霁风
感觉世界要变了，AI的崛起真的太快了
拾光
这可太有意思，以后我们都得学会和AI打交道
Weimar
开源模型，这下AI的进化速度肯定会疯狂！
霁风
我感觉我们人类要被AI统治了，有点害怕
拾光
开源？这简直是给AI喂食的糖！
Weimar
太酷了，人类的智商终于被超越了！