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