DeepSeek在Hugging Face平台开源6710亿参数数学定理证明大模型DeepSeek – Prover – V2 – 671B DeepSeek在知名的Hugging Face平台上开源了2025年5月2日
