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