▌算力：算力租赁价格平稳，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进行系统评估，测试覆盖高中竞赛和本科数学知识。结果显示，即便训练数据多为高中数学题，该模型仍能良好泛化到大学水平问题，体现出强大的形式化推理能力。
　　▌AI应用：Gemini平均停留时长环比+3.45%，阿里通义千问推出Qwen3模型
　　4月29日，阿里通义千问宣布推出Qwen系列大型语言模型的最新成员——Qwen3。阿里通义千问的旗舰模型Qwen3-235B-A22B在代码、数学、通用能力等基准测试中，与DeepSeekR1、o1、o3-mini、Grok-3和Gemini-2.5-Pro等顶级模型相比，表现出极具竞争力的结果。此外，小型MoE模型Qwen3-30B-A3B的激活参数数量是QwQ-32B的10%，表现更胜一筹，甚至像Qwen3-4B这样的小模型也能匹敌Qwen2.5-72BInstruct的性能。
　　Qwen3模型支持两种思考模式：思考模式：在这种模式下，模型会逐步推理，经过深思熟虑后给出最终答案。这种方法非常适合需要深入思考的复杂问题。非思考模式：在此模式中，模型提供快速、近乎即时的响应，适用于那些对速度要求高于深度的简单问题。这种灵活性使用户能够根据具体任务控制模型进行“思考”的程度。例如，复杂的问题可以通过扩展推理步骤来解决，而简单的问题则可以直接快速作答，无需延迟。至关重要的是，这两种模式的结合大大增强了模型实现稳定且高效的“思考预算”控制能力。
　　Qwen3预训练数据集规模大幅提升，相比Qwen2.5近乎翻倍，达约36万亿个token，覆盖119种语言。数据源于网络与PDF文档，经多模型提取、优化。预训练分三阶段，先构建基础能力，再强化知识数据训练，最后扩展上下文长度以处理长输入。
　　Qwen3的发布是阿里通义千问的又一里程碑。对比Llama 4系列模型得到的社区反馈，Qwen系列无疑已经成为全球第一的开源模型。据了解，阿里通义已开源了200余个模型，全球下载量超3亿次，Qwen衍生模型数超10万个，已超越Llama，成为全球最大的开源模型族群。
　　▌AI融资动向：身份验证平台Persona获2亿美元融资，估值达20亿
　　5月1日，身份验证初创公司Persona Identities Inc.宣布完成2亿美元D轮融资。本轮融资由Founders Fund和Ribbit Capital领投，原有投资方BOND、Coatue、FirstRound Capital和Index Ventures跟投。此轮融资后，Persona估值达到20亿美元。
　　作为一家总部位于旧金山的创业公司，Persona为包括OpenAI、Instacart在内的3000多家客户提供云端身份验证解决方案。该平台提供预制组件，帮助开发者快速构建注册表单，并可根据风险等级动态调整验证步骤。
　　Persona利用人工智能技术扫描上传文件，检测篡改痕迹和过期证件。系统还会分析设备信息、用户行为特征等多维数据，并提供恶意账号集群识别等高级功能。该公司在2024年完成了超过3亿次身份验证，客户数量和营收均实现翻倍增长。
　　Persona联合创始人兼CEORick Song表示："在AIAgent时代，身份验证的挑战不仅会增长，还会倍增。真正的难点不再是识别机器人，而是验证每个行为背后的身份，以及他们是否值得信任。"
　　在AIAgent崛起的背景下，身份验证正从简单的人机识别，升级为更复杂的可信度评估体系。Persona通过AI技术整合多维数据，打造智能化身份验证基础设施，为元宇宙、Web3等新兴场景提供关键支撑。这反映了SaaS赛道在AI时代的演进方向-从工具化向智能化升级。
　　▌投资建议
　　微软和Meta最新财报双双超预期，云业务和AI成增长引擎。微