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