DeepSeek 671B省流版：
单张 NVIDIA 4090 显卡即可实现流畅推理，减少 93.3% 的显存占用，提升吞吐量达 5.76 倍。

DeepSeek-Prover-V2-671B 是 DeepSeek AI 团队于 2025 年 4 月 30 日发布的开源大模型，专门针对数学定理证明任务进行了深度优化。以下是该模型的核心特性与技术亮点：

1.