DeepSeek 推出 DeepSeek-Prover-V2：为 Lean 4 形式化定理证明设计的开源大语言模型
DeepSeek于4月30日发布了 DeepSeek-Prover-V2，这是一个专门用于 Lean 4 形式化定理证明的开源大语言模型。该模型的设计目标是将非形式化的数学推理与形式化的证明构建整合到...
排序
DeepSeek发布DeepSeek-Prover-V2-671B：6710亿参数的数学AI模型，推动定理证明自动化
DeepSeek在今天悄悄地升级了其专注于数学定理证明和推理的 AI 模型DeepSeek-Prover。最新版本 DeepSeek-Prover-V2-671B已于今天在Hugging Face 上...
