DeepSeek 正式发布最新开源模型 DeepSeek-Prover-V2-671B，再次掀起开源 AI 领域的热潮。该模型拥有6710亿参数，专为数学推理和问题解决设计，展现了 DeepSeek 在高效 AI 开发上的持续创新能力。这一模型被认为是 DeepSeek 在数学领域的重要里程碑，将推动全球 AI 研究与应用的进一步发展。
DeepSeek-Prover-V2-671B 是 DeepSeek 针对数学问题解决量身打造的最新力作。该模型在复杂数学推理任务中表现出色，能够处理从基础代数到高等数学的广泛问题。该模型继承了 DeepSeek 一贯的高效设计理念，结合其开源特性，为学术界和开发者提供了强大的工具。
与前代模型相比，DeepSeek-Prover-V2-671B 在参数规模上进一步扩展，同时优化了推理能力和生成效率。该模型采用了先进的多头潜注意力（Multi-head Latent Attention，MLA） 架构，通过压缩键值缓存(KV Cache)降低推理过程中的内存占用和计算开销。这种设计不仅提升了模型性能，还使其在资源受限的环境下依然能够高效运行。
项目:
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B/tree/main