أطلقت شركة DeepSeek نموذجها الجديد، DeepSeek Prover V2 -671B، على منصة Hugging Face مفتوحة المصدر، ويعتمد النموذج على بنية DeepSeek-V3، ويضم 671 مليار معلمة.