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