DeepSeek发布Prover-V2新模型参数量6710亿_资讯

创始人

2025-04-30 19:17:10

0次

观点网讯：4月30日，DeepSeek于AI开源社区Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。

据悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数量6710亿，或为去年发布的Prover-V1.5数学模型升级版本。

在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。同时支持超长上下文，最大位置嵌入达16.38万，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。

免责声明：本文内容与数据由观点根据公开信息整理，不构成投资建议，使用前请核实。

中证A500ETF摩根（560... 8月22日，截止午间收盘，中证A500ETF摩根（560530）涨1.19%，报1.106元，成交额...

A500ETF易方达（1593... 8月22日，截止午间收盘，A500ETF易方达（159361）涨1.28%，报1.104元，成交额1...

何小鹏斥资约2.5亿港元增持小... 每经记者｜孙磊每经编辑｜裴健如 8月21日晚间，小鹏汽车发布公告称，公司联...

中证500ETF基金（1593... 8月22日，截止午间收盘，中证500ETF基金（159337）涨0.94%，报1.509元，成交额2...

中证A500ETF华安（159... 8月22日，截止午间收盘，中证A500ETF华安（159359）涨1.15%，报1.139元，成交额...

科创AIETF（588790）... 8月22日，截止午间收盘，科创AIETF（588790）涨4.83%，报0.760元，成交额6.98...

创业板50ETF嘉实（1593... 8月22日，截止午间收盘，创业板50ETF嘉实（159373）涨2.61%，报1.296元，成交额1...

港股异动丨航空股大幅走低中国... 港股航空股大幅下跌，其中，中国国航跌近7%表现最弱，中国东方航空跌近5%，中国南方航空跌超3%，美兰...

电网设备ETF（159326）... 8月22日，截止午间收盘，电网设备ETF（159326）跌0.25%，报1.198元，成交额409....

红利ETF国企（530880）... 8月22日，截止午间收盘，红利ETF国企（530880）跌0.67%，报1.034元，成交额29.0...