作者： |
发布时间：Wed, 07 May 2025 00:00:00 GMT
华鑫证券计算机行业周报 
：DeepSeek-Prover-V2创数学推理新高，阿里通义千问推出Qwen3模型
摘要
本周报聚焦计算机行业动态，重点关注DeepSeek-Prover-V2在数学推理领域的突破、阿里通义千问发布的Qwen3模型，以及AI领域的融资情况。微软和Meta最新财报超预期，云业务和AI成增长引擎。建议关注临床AI产品、AI龙头、芯片、高速连接器、AI眼镜、算力、高速铜缆、新能源等领域。
正文
1. 算力：算力租赁价格平稳，DeepSeek-Prover-V2创数学推理新高 
-
DeepSeek-Prover-V2：4月30日，DeepSeek发布DeepSeek-Prover-V2数学推理模型，参数规模包括7B和671B。
-
性能突破：在多个标准基准测试中，DeepSeek-Prover-V2-671B取得了神经定理证明领域的最先进性能水平。在AIME竞赛中，成功解出6/15个问题。
-
训练流程：
- 两阶段训练：高效非思维链（non-CoT）模式 & 高精度思维链（CoT）模式。
- 第一阶段：课程学习框架内使用专家迭代范式训练非思维链证明模型。
- 第二阶段：利用DeepSeek-V3复杂的数学推理模式与合成形式证明结合生成链式思维链数据。
-
性能测评：测试覆盖高中竞赛和本科数学知识，即使训练数据多为高中数学题，该模型仍能良好泛化到大学水平问题，展现强大的形式化推理能力。
2. AI应用：Gemini平均停留时长环比+3.45%，阿里通义千问推出Qwen3模型 
- Qwen3发布：4月29日，阿里通义千问发布Qwen系列最新模型——Qwen3。
- 性能对比：Qwen3-235B-A22B在代码、数学、通用能力等基准测试中，与DeepSeek-R1、o1、o3-mini、Grok-3和Gemini-2.5-Pro等顶级模型相比，表现出极具竞争力的结果。小型MoE模型Qwen3-30B-A3B的激活参数数量是QwQ-32B的10%，表现更胜一筹。
- 思考模式：支持思考模式（深思熟虑后给出答案）和非思考模式（快速响应），灵活适应不同任务需求。
- 数据集：预训练数据集规模大幅提升，相比Qwen2.5近乎翻倍，达约 36万亿 个token，覆盖 119 种语言。
- 开源领先：阿里通义已开源 200余 个模型，全球下载量超 3亿 次，Qwen衍生模型数超 10万 个，成为全球最大的开源模型族群。
3. AI融资动向：身份验证平台Persona获2亿美元融资，估值达20亿 
- Persona融资：5月1日，身份验证初创公司Persona宣布完成 2亿美元 D轮融资，估值达到 20亿美元。
- 服务对象：为包括OpenAI、Instacart在内的3000多家客户提供云端身份验证解决方案。
- AI应用：利用人工智能技术扫描上传文件，检测篡改痕迹和过期证件。系统还会分析设备信息、用户行为特征等多维数据，并提供恶意账号集群识别等高级功能。
- 数据增长： 2024年完成了超过 3亿 次身份验证，客户数量和营收均实现翻倍增长。
- 未来方向：Persona通过AI技术整合多维数据，打造智能化身份验证基础设施，为元宇宙、Web3等新兴场景提供关键支撑。
4. 投资建议 
- 微软和Meta财报超预期：微软第三财季营收 701亿美元 ，同比增长 13%，净利润 258亿美元，同比增长 18% 。Meta营收 423.1亿美元，同比增长 16%；净利润 166.4亿美元，同比大幅增长 35%。
- 投资方向：
- 临床AI产品成功落地验证的：嘉和美康（688246.SH）
- 以AI为核心的龙头厂商：科大讯飞（002230.SZ）
- 芯片技术有望创新突破的：寒武纪（688256.SH）
- 高速通信连接器业务或显著受益于GB200放量的：鼎通科技（688668.SH）
- 已与Rokid等多家知名AI眼镜厂商建立紧密合作的：亿道信息（001314.SZ）
- 加快扩张算力业务的精密零部件龙头：迈信林（688685.SH）
- 持续加码高速铜缆的：泓淋电力（301439.SZ）
- 新能源业务高增并供货科尔摩根等全球电机巨头的：唯科科技（301196.SZ）
结论
DeepSeek-Prover-V2和阿里通义千问Qwen3模型的发布，预示着AI技术持续创新发展。微软和Meta的强势业绩也反映了AI和云计算的巨大潜力。建议投资者关注相关产业链，把握投资机会。
风险提示 
- AI底层技术迭代速度不及预期。
- 政策监管及版权风险。
- AI应用落地效果不及预期。
- 推荐公司业绩不及预期风险。
延伸阅读
研报PDF原文链接