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