计算机行业：华鑫证券-计算机行业周报：DeepSeek~Prover~V2创数学推理新高，阿里通义千问推出Qwen3模型-250507

- DeepSeek-Prover-V2数学推理模型取得突破性进展，展示强大的形式化推理能力，推动算力需求增长。

- 阿里通义千问推出Qwen3模型，凭借大幅提升的预训练数据集和灵活的思考模式，增强了AI应用的竞争力。

- 微软和Meta财报超预期，云业务和AI成为主要增长动力，投资者应关注相关AI及算力领域的龙头企业。

本周计算机行业周报的核心要点如下： 1. **算力与数学推理**：DeepSeek发布了DeepSeek-Prover-V2数学推理模型，提供7B和671B两种参数规模，在多个基准测试中表现出色，尤其是在神经定理证明领域。

该模型采用两阶段训练流程，结合高效非思维链和高精度思维链模式，展现出强大的形式化推理能力。

2. **AI应用进展**：阿里通义千问推出了Qwen3模型，表现出竞争力，尤其在代码和数学等基准测试中。

Qwen3支持两种思考模式，灵活应对不同复杂度的问题。

预训练数据集规模大幅提升，达到约36万亿个token，反映出阿里在开源模型领域的领先地位。

3. **融资动态**：身份验证平台Persona完成2亿美元D轮融资，估值达20亿美元。

该平台为众多客户提供云端身份验证解决方案，利用AI技术提升身份验证的智能化水平。

4. **投资建议**：微软和Meta的财报均超预期，云业务和AI成为主要增长引擎。

建议关注临床AI产品、以AI为核心的龙头企业、芯片技术创新、以及高速通信等领域的相关公司。

5. **风险提示**：包括AI技术迭代速度、政策监管、应用落地效果及推荐公司业绩等潜在风险。

投资标的及推荐理由如下： 1. 嘉和美康（688246.SH）：临床AI产品成功落地验证，具备市场潜力。

2. 科大讯飞（002230.SZ）：作为以AI为核心的龙头厂商，具有强大的技术实力和市场地位。

3. 寒武纪（688256.SH）：芯片技术有望创新突破，符合未来技术发展趋势。

4. 鼎通科技（688668.SH）：高速通信连接器业务预计将显著受益于GB200的放量。

5. 亿道信息（001314.SZ）：已与Rokid等多家知名AI眼镜厂商建立紧密合作，具备良好的市场前景。

6. 迈信林（688685.SH）：加快扩张算力业务，符合行业发展方向。

7. 泓淋电力（301439.SZ）：持续加码高速铜缆业务，具备增长潜力。

8. 唯科科技（301196.SZ）：新能源业务高增长，并为科尔摩根等全球电机巨头供货，市场前景良好。