金吾財訊 | 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量化，可通過量化技術減小模型大小，提高推理效率。