20250507-华鑫证券-计算机行业周报_DeepSeek-Prover-V2创数学推理新高_阿里通义千问推出Qwen3模型_15页_751kb

2025年5月7日计算机行业周报要点：

1. 算力动态：算力租赁价格保持稳定，DeepSeek发布Prover-V2数学推理模型。该模型提供7B和671B两种参数规模，671B版本在神经定理证明领域表现最优，成功解答AIME竞赛15题中的6题。模型采用双阶段训练：非思维链模式（高效生成Lean证明代码，避免中间步骤展示）与思维链模式（系统阐述推理过程，提升透明度和逻辑进展）。Qwen3模型支持两种思考模式，可在复杂问题中逐步推理或快速响应简单问题，增强“思考预算”控制能力。

2. AI应用动态：Gemini平均停留时长环比增长345%，阿里通义千问推出Qwen3。Qwen3-235B在代码、数学等基准测试中超越DeepSeek-R1、Grok-3等模型；小型MoE模型Qwen3-30B-A3B激活参数仅为QwQ-32B的10%，但性能仍优于Qwen25-72B-Instruct。Qwen3预训练数据规模达36万亿token，覆盖119种语言，分三阶段训练（基础能力→知识强化→长上下文扩展）。阿里通义开源模型数量超10万，成为全球最大开源模型家族。

3. AI融资动向：身份验证平台Persona完成2亿美元D轮融资，估值达20亿美元。其服务3000+客户，利用AI技术扫描文件、分析用户行为及设备信息，提供动态验证与恶意账号识别功能。2024年完成3亿次验证，客户及营收翻倍。公司强调AIAgent时代需验证用户行为可信度，而非仅识别机器人，推动身份验证向智能化升级。

4. 行情复盘：AI算力指数涨幅最大为270%（天源迪科），跌幅最大为-4829%（ST赛为）；AI应用指数涨幅最大为3300%（鸿博股份），跌幅最大为-3528%（ST赛为）。

5. 投资建议：关注临床AI落地的嘉和美康、AI核心企业科大讯飞、芯片突破可能的寒武纪、受益于GB200放量的鼎通科技、与AI眼镜厂商合作的亿道信息、拓展算力业务的迈信林、加码高速铜缆的泓淋电力、新能源业务增长的唯科科技。

6. 风险提示：AI底层技术迭代不及预期、政策监管与版权风险、应用落地效果未达预期、推荐公司业绩不达预期。

总结：周报聚焦算力、AI模型及应用进展，DeepSeek-Prover-V2在数学推理领域突破，Qwen3通过多模式提升推理效率与灵活性。AI应用端Gemini流量增长显著，Persona融资推动身份验证智能化。市场行情显示AI相关板块波动较大，投资建议涵盖AI产业链多个环节，强调技术落地与资本扩张前景。