Investment Rating - The report maintains a "Buy" rating for several companies in the AI and computing sector, including 亿道信息 (Yidao Information), 科大讯飞 (iFlytek), 唯科科技 (Weike Technology), 泓淋电力 (Honglin Electric), 嘉和美康 (Jiahe Meikang), 寒武纪 (Cambricon), 鼎通科技 (Dingtong Technology), and 迈信林 (Maixinlin) [15][50]. Core Insights - The computing industry has shown a strong relative performance, with a 1-month return of 14.6% compared to the Shanghai Composite Index's 6.1% [2]. - The launch of DeepSeek-Prover-V2 marks a significant advancement in mathematical reasoning models, achieving state-of-the-art performance in neural theorem proving [4][21]. - The Qwen3 model from 阿里通义千问 (Ali Tongyi Qianwen) has been introduced, showcasing competitive results in various benchmarks and significantly increasing its pre-training dataset size [6][30]. Summary by Sections 1. Computing Dynamics - The rental prices for computing power remain stable, with specific configurations priced at 28.64 RMB/hour for Tencent Cloud and 31.58 RMB/hour for Alibaba Cloud for A100-40G setups [20]. - DeepSeek-Prover-V2 was released on April 30, achieving advanced performance levels in theorem proving, solving 6 out of 15 selected problems from the AIME competition [21][22]. 2. AI Application Dynamics - Gemini's average stay duration increased by 3.45%, indicating growing user engagement [26]. - The Qwen3 model supports two thinking modes, allowing for both deep reasoning and quick responses, enhancing user flexibility [28]. 3. AI Financing Trends - Persona Identities Inc. completed a $200 million Series D funding round, reaching a valuation of $2 billion, highlighting the growing demand for AI-driven identity verification solutions [34][36]. 4. Market Review - The AI computing index and AI application index showed fluctuations, with notable gains in specific companies like 天源迪科 (Tianyu Dike) and 鸿博股份 (Hongbo Shares) [39][45]. 5. Investment Recommendations - The report suggests focusing on companies like 嘉和美康 (Jiahe Meikang) and 科大讯飞 (iFlytek) for potential growth, driven by advancements in AI and computing technologies [48][49].
计算机行业周报:DeepSeek-Prover-V2创数学推理新高,阿里通义千问推出Qwen3模型