在大模型竞争中落后的厂商正采取不同策略追赶。苹果计划以超140亿美元收购AI初创企业Perplexity，而Meta创始人扎克伯格则以143亿美元收购Scale AI 49%股份，并招募其CEO Alexandr Wang。谷歌任命DeepMind CTO为首席AI架构师，以加速Gemini模型发展。国内六小龙则因融资困难，纷纷裁员收缩资源，集中于技术迭代。中美厂商在AGI（通用人工智能）竞赛中，分别采用重金挖人或裁员精简的策略，反映出不同的竞争路径。

在大模型竞争中，中美科技巨头纷纷调整策略。苹果计划收购AI初创公司Perplexity以补强技术实力，Meta创始人扎克伯格豪掷143亿美元收购Scale AI，并试图挖角OpenAI前科学家。谷歌则任命DeepMind CTO为首席AI架构师，加速追赶OpenAI。与此同时，国内六小龙因融资环境恶化，开始裁员收缩资源，集中力量进行技术迭代。这一系列动作反映出中美企业在AGI（通用人工智能）竞赛中的不同策略：大厂通过重金抢人提升竞争力，而创业公司则通过裁员精简组织，聚焦核心技术突破。

4月30日，DeepSeek推出数学定理证明专用模型DeepSeek-Prover-V2，参数规模达671B，miniF2F测试通过率达88.9%，显著优于前代V1.5及月之暗面的Kimina-Prover（通过率80.7%）。DeepSeek-Prover-V2基于强化学习和子目标分解技术，延续其模型矩阵同步进化策略。此前，梁文锋与杨植麟曾在2月论文中“撞车”，双方均聚焦Transformer架构的注意力机制。当前，DeepSeek面临阿里巴巴通义千问Qwen3（参数量1/3，性能超越R1）和百度文心4.5 Turbo的竞争压力；而月之暗面的Kimi则需应对腾讯元宝的用户增长冲击，后者一季度投流费用达14亿元。DeepSeek正加速研发R2和V4版本，但市场对其依赖华为昇腾芯片存疑。业内呼吁中国大模型产业需多元竞争，而非一家独大。