金吾财讯 | DeepSeek概念股集体走强，截至发稿，盛业(06069)涨8.36%，金山软件(03888)涨5.18%，地平线机器人-W(09660)涨5.50%，心动公司(02400)涨5.01%，万国数据-SW(09698)涨4.94%。
消息面上，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维隐藏层。同时支持超长上下文，最大位置嵌入达163840，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。
推荐阅读：
美股收盘：非农报告提振降息预期 三大指数集体收涨 标普、纳指再创新高
