标签：deepseek

DeepSeek-Prover-V1.5：数学定理证明的进步和未来 什么是DeepSeek-Prover-V1.5？ DeepSeek-Prover-V1.5是一个开源的人工智能模型，旨在提升数学定理证明的...

DeepSeek-V2是由杭州深度求索公司发布的第二代开源MoE模型，总参数量达到236B，处理能力显著优势。在训练成本和推理效率方面表现出色，性能高于其他开源模型...