"ديب سيك" تطلق نموذجًا جديدًا مخصصًا للرياضيات لكشف أسرار الكون

كشفت شركة الذكاء الاصطناعي الصينية الناشئة "ديب سيك" عن نموذج ذكاء اصطناعي جديد للاستدلال الرياضي ذاتي التحقق، مع التركيز على إثبات النظريات، ليتجاوز الاعتماد على الحصول على الإجابات العددية النهائية الصحيحة فقط.

ويحمل النموذج الجديد الذي أطلقته الشركة اسم "DeepSeekMath-V2"، ويستخدم في عمله حلقة من توليد المحتوى والتحقق من صحته بشكل ذاتي قبل تقديمه كإجابة نهائية.
وللوصول إلى هذه النتيجة، قالت شركة ديب سيك إنه تم تدريب مدقق قائم على نموذج لغوي كبير لغرض إثبات النظريات، بحسب تقرير لموقع "Neowin" المتخصص في أخبار التكنولوجيا، اطلعت عليه "العربية Business".

والفكرة هي أن النموذج يولّد أولًا براهين أو حلولًا رياضية خطوة بخطوة، ثم يقوم النموذج المدقق الخاص بالتحقق من صحة هذه البراهين. وإذا وجد المدقق أي خطأ، يعود النموذج لتصحيح الحل، ويستمر في هذه العملية حتى يصبح الحل دقيقًا وموثوقًا.

العربية نت