微信小程序

【中信建投证券】【20250508】DeepSeek开源Prover-V2强推理模型:递归强化学习提升数学能力-10页

中信建投证券 金融 2025年 PDF 3.43 MB

开源模型 定理证明 数学推理 人工智能 递归强化学习