Deepseek今日开源新模型 或专注于数学定理证明

Deepseek今日下午在Hugging Face开源了新模型：DeepSeek-Prover-V2-671B。这可能是一个专注于数学定理证明的开源模型，旨在推动数学运算和形式化证明的自动化。根据近期信息和X上讨论该模型基于 DeepSeek 的先前工作（如 DeepSeek-Prover-V1.5 和 DeepSeek-V3），在 Lean 4 证明助手框架内优化了数学推理和定理证明能力。目前暂无官方介绍文档。

掘金 | Hugging Face

📮投稿 ☘️频道 🌸聊天

via 科技圈🎗在花频道📮 - Telegram Channel