DeepSeek Prover V2
DeepSeek
DeepSeek·Text
تخصصت نماذج اللغة المفتوحة المصدر في إثبات النظريات الرسمية في Lean 4، مبنية على خط أنابيب لإثبات النظريات التكرارية.
