كشفت شركة الذكاء الاصطناعي الصينية الناشئة “ديب سيك” عن نموذج ذكاء اصطناعي جديد للاستدلال الرياضي ذاتي التحقق، مع التركيز على إثبات النظريات، ليتجاوز الاعتماد على الحصول على الإجابات العددية النهائية الصحيحة فقط.
ويحمل النموذج الجديد الذي أطلقته الشركة اسم “DeepSeekMath-V2″، ويستخدم في عمله حلقة من توليد المحتوى والتحقق من صحته بشكل ذاتي قبل تقديمه كإجابة نهائية.
وللوصول إلى هذه النتيجة، قالت شركة ديب سيك إنه تم تدريب مدقق قائم على نموذج لغوي كبير لغرض إثبات النظريات، بحسب تقرير لموقع “Neowin” المتخصص في أخبار التكنولوجيا.
والفكرة هي أن النموذج يولّد أولًا براهين أو حلولًا رياضية خطوة بخطوة، ثم يقوم النموذج المدقق الخاص بالتحقق من صحة هذه البراهين. وإذا وجد المدقق أي خطأ، يعود النموذج لتصحيح الحل، ويستمر في هذه العملية حتى يصبح الحل دقيقًا وموثوقًا.
ويستخدم النموذج المدقق كنظام مكافأة؛ فإذا كان الحل صحيحًا، يحصل على “مكافأة”، وإذا كان فيه خطأ، يعود لتصحيحه.
ويتعلم النموذج تدريجيًا من خلال هذه التغذية الراجعة، كما يتم تزويده ببيانات جديدة من براهين صعبة للتحقق منها، ما يحسن أداء المدقق نفسه باستمرار. بهذه الطريقة، لا يعتمد النموذج على إعطاء الإجابة النهائية فقط، بل على إثبات البراهين بشكل صحيح ومنطقي خطوة خطوة.
أظهر نموذج “DeepSeekMath-V2” بالفعل قدرات قوية في إثبات النظريات في مسابقات الرياضيات الأخيرة. ووصل النموذج إلى مستوى ذهبي في المسابقة الدولية للرياضيات (IMO) 2025 والمسابقة الصينية للرياضيات (CMO) 2024، وحقق درجة شبه نهائية 118/120 في مسابقة بوتنام 2024 باستخدام حوسبة محسّنة أثناء الاختبار.
بُني النموذج الجديد على “DeepSeek-V3.2-Exp-Base”، وهو متاح على منصة “HuggingFace”. وللحصول على دعم أثناء الاستدلال، توصي “ديب سيك” بالاطلاع على الموارد المتوفرة في مستودع “DeepSeek-V3.2-Exp” على “غيب هاب”.
يُعد إطلاق هذا النموذج مثيرًا للاهتمام، وقد يُسهم في فهمٍ أفضل للرياضيات، مما قد يُؤدي إلى اكتشافاتٍ علميةٍ جديدةٍ تُحسّن الرعاية الصحية والتكنولوجيا.
ولن تتوقف شركات الذكاء الاصطناعي عند هذا الحد؛ بل ستواصل إيجاد أساليب جديدةٍ لتعزيز الفهم الرياضي، وسيُسهم الوصول المفتوح إلى هذا النموذج في تسريع التحسينات.
والرياضيات ليست مجرد أرقام وحسابات، بل هي لغة الكون التي تساعد البشر على فهم قوانين الطبيعة والغموض الكوني. ومن خلال تطوير نماذج تركز على الرياضيات مثل “DeepSeekMath-V2″، أصبح بالإمكان استكشاف البراهين الرياضية المعقدة التي قد تفتح أبوابًا لفهم أعمق للفيزياء، الفضاء، والهندسة، وبالتالي قد تسهم في اكتشافات علمية جديدة تغير طريقة تفكير البشر في الكون.
