DeepSeek的Prover数学解题模型引发对下一代R2进展的猜测 | DeepSeek Prover模型解题能力引关注，或预示R2取得新进展

中国人工智能初创公司DeepSeek近日发布了其最新升级的数学专用人工智能模型Prover-V2，该模型拥有6710亿参数，是基于其V3基础模型开发的，旨在处理数学证明。此次升级引发了公众对其即将推出的R2推理模型的强烈期待，尽管R2的细节仍然保密。此次发布也显示了DeepSeek在获取英伟达最先进AI芯片受限的情况下，开发强大且相对较小模型的能力。

此次发布是在阿里巴巴集团推出其Qwen3系列AI模型之后不久发生的，阿里巴巴声称该模型在多个领域超越了DeepSeek的R1推理模型。DeepSeek的R1模型于今年1月发布，以其高效的资源利用率震惊了全球AI界，在训练成本仅为OpenAI o1的一小部分的情况下，性能却能与之匹敌。虽然DeepSeek尚未公布R2的发布时间表或细节，但其新的Prover模型已获得了AI和数学界的好评。

via SCMP Full Text Feed