ديب سيك تطلق نموذجًا ثوريًا في الرياضيات قادرًا على إثبات النظريات وكشف أسرار الكون

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