https://x.com/manateelazycat/status/1917511078105473078?t=Z-kxK2rJ7EKjnbS1j3PbnA&s=35
X (formerly Twitter)
Andy Stewart (@manateelazycat) on X
DeepSeek 671B省流版：
单张 NVIDIA 4090 显卡即可实现流畅推理，减少 93.3% 的显存占用，提升吞吐量达 5.76 倍。
DeepSeek-Prover-V2-671B 是 DeepSeek AI 团队于 2025 年 4 月 30 日发布的开源大模型，专门针对数学定理证明任务进行了深度优化。以下是该模型的核心特性与技术亮点：
1.
单张 NVIDIA 4090 显卡即可实现流畅推理，减少 93.3% 的显存占用，提升吞吐量达 5.76 倍。
DeepSeek-Prover-V2-671B 是 DeepSeek AI 团队于 2025 年 4 月 30 日发布的开源大模型，专门针对数学定理证明任务进行了深度优化。以下是该模型的核心特性与技术亮点：
1.
