كشفت الشركة الصينية الناشئة في مجال الذكاء الاصطناعي "ديب سيك" عن نموذج جديد يُركز على الاستدلال الرياضي والتحقق الذاتي للبراهين، بهدف تجاوز الاعتماد على الإجابات العددية النهائية فقط. ويحمل النموذج اسم "DeepSeekMath-V٢"، ويعمل عبر حلقة متكاملة من توليد المحتوى والتحقق الذاتي قبل تقديم الحل النهائي. وأوضح التقرير أن الشركة طوّرت نموذجًا لغويًا كبيرًا مدققًا للرياضيات،…
