Deepseek-prover-V2
النهوض بالتفكير الرياضي الرسمي عبر RL
ظهرت
2 أصوات
وصف
Deepseek-Prover-V2 هو منظمة العفو الدولية مفتوحة المصدر ثورة في نظرية رسمية تثبت في Lean 4. مدعوم من Deepseek-V3 ، فإنه يحقق معدل تمرير بنسبة 88.9 ٪ على اختبار Minif2F ويحل 49/658 مشاكل Putnambench.