计算机行业重大事项点评：DeepSeek-Prover-V2发布，专注数学推理
Huachuang Securities·2025-05-04 09:28
证 券 研 究 报 告 计算机行业重大事项点评 DeepSeek-Prover-V2 发布，专注数学推理 事项： 4 月 30 日，DeepSeek 在 Hugging Face 发布了 DeepSeek-Prover-V2-671B 新模 型和 DeepSeek-Prover-V2-7B 增强模型，以及 DeepSeek-ProverBench 数据集， 随后在 GitHub 等平台上公布了论文信息。 评论： 行业研究 计算机 2025 年 05 月 04 日 推荐（维持） 华创证券研究所 证券分析师：吴鸣远 邮箱：wumingyuan@hcyjs.com 执业编号：S0360523040001 证券分析师：祝小茜 邮箱：zhuxiaoqian@hcyjs.com 执业编号：S0360524070011 行业基本数据 | | | 占比% | | --- | --- | --- | | 股票家数(只) | 336 | 0.04 | | 总市值(亿元) | 42,657.40 | 4.41 | | 流通市值(亿元) | 36,398.85 | 4.74 | 相对指数表现 | % | 1M | 6M | 12M ...