2025年5月7日，华鑫证券发布了一篇计算机行业的研究报告，报告指出，创数学推理新高，阿里通。

　　报告具体内容如下：

　　算力：算力租赁价格平稳，DeepSeek-Prover-V2创数学推理新高 4月30日，DeepSeek发布名为DeepSeek-Prover-V2的数学推理模型，提供7B和671B两种参数规模。在多个标准基准测试中，DeepSeek-Prover-V2-671B都取得了神经定理证明领域的最先进性能水平。并且，面对从著名的AIME竞赛（2024-2025年）中挑选的15个问题，该模型成功解出了其中的6个。 DeepSeek-Prover-V2通过两阶段训练流程开发，建立了两种互补的证明生成模式：（1）高效非思维链（non-CoT）模式：此模式针对快速生成形式化Lean证明代码进行了优化，专注于在不显示中间推理步骤的情况下生成简洁的证明。（2）高精度思维链（CoT）模式：此模式在构建最终形式化证明之前，系统地阐述中间推理步骤，强调透明度和逻辑进展。

与DeepSeek-Prover-V1.5一致，DeepSeek-Prover-V2的两种生成模式由两个不同的引导提示控制。在第一阶段，DeepSeek团队在课程学习框架内使用专家迭代范式来训练非思维链证明模型，同时通过基于子目标的递归证明为难题合成证明。选择非思维链生成模式是为了加速迭代训练和数据收集过程，因为它提供了明显更快的推理和验证周期。在此基础上，第二阶段利用了通过将DeepSeek-V3复杂的数学推理模式与合成形式证明相结合而生成的冷启动链式思维链数据。CoT模式通过进一步的强化学习阶段得到增强，遵循推理模型常用的标准训练流程。

在性能测评环节中，DeepSeek团队用定理证明基准数据集，对DeepSeek-Prover-V2进行系统评估，测试覆盖高中竞赛和本科数学知识。结果显示，即便训练数据多为高中数学题，该模型仍能良好泛化到大学水平问题，体现出强大的形式化推理能力。

投资建议

微软和Meta最新财报双双超预期，云业务和AI成增长引擎。

微软第三财季营收达到701亿美元，同比增长13%，净利润为258亿美元，同比增长18%。强劲的云业务是推动增长的关键引擎。微软的商业云（CommercialCloud）总收入达到424亿美元，略高于市场预期的422亿美元，包含Azure云服务的智能云部门贡献了267.5亿美元的收入，同比增长约21%，超预期，Azure自身收入增长达到了33%。AI在Azure的增长中扮演了重要角色，本季度Azure增长中有16个百分点由AI服务贡献，这一数字略高于此前预期的15.6个百分点。Meta在2025年第一季度同样超预期，公司营收达到423.1亿美元，同比增长16%；净利润为166.4亿美元，同比大幅增长35%，合每股收益6.43美元，均超预期。在核心业务强劲势头的推动下，Meta正全力推进人工智能投资，显著提高了资本支出预期。公司将2025年的资本支出预测从原先的600亿-650亿美元上调至640亿-720亿美元。Meta在财报中明确指出，增加的投入是为了“支持人工智能（AI）计划而增加的数据中心投资，以及基础设施硬件预期成本的上升”。我们认为全球算力有望节后共振，微软和Meta的超预期表现给Ai需求打上强心针。

建议关注临床AI产品成功落地验证的嘉和美康（688246.SH）、以AI为核心的龙头厂商科大讯飞（002230）（002230.SZ）、芯片技术有望创新突破的寒武纪（688256.SH）、高速通信连接器业务或显著受益于GB200放量的鼎通科技（688668.SH）、已与Rokid等多家知名AI眼镜厂商建立紧密合作的亿道信息（001314）（001314.SZ）、加快扩张算力业务的精密零部件龙头迈信林（688685.SH）、持续加码高速铜缆的泓淋电力（301439）（301439.SZ）、新能源业务高增并供货科尔摩根等全球电机巨头的唯科科技（301196）（301196.SZ）等。

风险提示

1）AI底层技术迭代速度不及预期。2）政策监管及版权风险。3）AI应用落地效果不及预期。4）推荐公司业绩不及预期风险。

　　更多机构研报请查看研报功能>>

　　声明：本文引用第三方机构发布报告信息源，并不保证数据的实时性、准确性和完整性，数据仅供参考，据此交易，风险自担。