4月30日，DeepSeek推出数学定理证明模型DeepSeek-Prover-V2，参数规模达6710亿，远超V1.5的70亿，miniF2F测试通过率达88.9%，显著优于月之暗面的Kimina-Prover（80.7%）。巧合的是，Kimina-Prover于4月中旬发布，参数规模1.5B和7B，并开源部分模型。两者均采用强化学习技术优化数学推理。DeepSeek-Prover-V2基于DeepSeek-V3微调，其子目标分解策略提升了推理效率。DeepSeek创始人梁文锋与月之暗面联合创始人杨植麟多次在技术领域“撞车”。DeepSeek面临阿里通义千问Qwen3的竞争，后者参数量仅为DeepSeek-R1的1/3，性能全面超越R1和OpenAI o1。百度文心4.5 Turbo和X1 Turbo也展现出更强性能，李彦宏指出DeepSeek存在反应慢、成本高的问题，但仍强调其开源价值。此外，腾讯元宝通过微信引流快速崛起，月活已超Kimi。DeepSeek需加快迭代以保持竞争力。