سه شنبه / ۲۴ تیر / ۱۴۰۴ - 15 July, 2025
 سایت تکناک / ۱۴۰۴/۰۲/۱۰

مدل هوش مصنوعی Prover-V2 دیپ‌سیک برای اثبات‌های ریاضی منتشر شد

مدل هوش مصنوعی Prover-V2 دیپ‌سیک برای اثبات‌های ریاضی منتشر شد
شرکت چینی دیپ‌سیک به‌تازگی مدل هوش مصنوعی Prover-V2 را برای حل مسائل پیچیده ریاضی و اثبات‌های رسمی معرفی کرده است.