Deepseek今日开源新模型 或专注于数学定理证明
Deepseek今日下午在Hugging Face开源了新模型：DeepSeek-Prover-V2-671B。这可能是一个专注于数学定理证明的开源模型，旨在推动数学运算和形式化证明的自动化。根据近期信息和X上讨论该模型基于 DeepSeek 的先前工作（如 DeepSeek-Prover-V1.5 和 DeepSeek-V3），在 Lean 4 证明助手框架内优化了数学推理和定理证明能力。目前暂无官方介绍文档。
掘金 | Hugging Face
📮投稿 ☘️频道 🌸聊天
Deepseek今日下午在Hugging Face开源了新模型：DeepSeek-Prover-V2-671B。这可能是一个专注于数学定理证明的开源模型，旨在推动数学运算和形式化证明的自动化。根据近期信息和X上讨论该模型基于 DeepSeek 的先前工作（如 DeepSeek-Prover-V1.5 和 DeepSeek-V3），在 Lean 4 证明助手框架内优化了数学推理和定理证明能力。目前暂无官方介绍文档。
掘金 | Hugging Face
📮投稿 ☘️频道 🌸聊天
🐳 317 👍 80 👏 7 🤯 6 🤣 5 💊 5 🔥 3 👎 2
