DeepSeek-Prover-V2 震撼登场：解锁数学推理新高度，构建 ProverBench 数据集

人工智能领域，DeepSeek-Prover-V2 重磅发布，被视为通向 AGI 的关键一步。该模型提供 671B 和 7B 两种参数版本，推理性能与训练效率实现革新。其核心采用递归与强化学习结合的训练方法，能拆解复杂数学定理、形成思维链，提升数学证明效率，揭示 AI “黑盒” 逻辑。此外，DeepSeek-Prover-V2 建立 ProverBench 基准数据集，含 325 道题目，覆盖竞赛与教科书内容，为数学推理研究提供新素材，有望推动 AI 领域重大突破 。