علي بابا تزعم أنها الأولى في نماذج الرياضيات للذكاء الاصطناعي مع Qwen2-Math

إذا لم تسمع عن “Qwen2” فهذا أمر مفهوم، ولكن كل هذا ينبغي أن يتغير بدءًا من اليوم مع إصدار جديد ومدهش يأخذ التاج من جميع الآخرين عندما يتعلق الأمر بموضوع مهم للغاية في تطوير البرمجيات والهندسة ومجالات العلوم والتكنولوجيا والهندسة والرياضيات في جميع أنحاء العالم: الرياضيات.

ما هو Qwen2؟

مع ظهور العديد من نماذج الذكاء الاصطناعي الجديدة من الشركات الناشئة وشركات التكنولوجيا، قد يكون من الصعب حتى على أولئك الذين يولون اهتمامًا وثيقًا لهذا المجال مواكبة هذه التطورات.

كوين 2 هو نموذج لغة كبير مفتوح المصدر (LLM) منافس لـ GPTs من OpenAI, لاما ميتا، وعائلة كلود من أنثروبيك، ولكن تم إرسالها بواسطة سحابة علي بابا، قسم التخزين السحابي لشركة التجارة الإلكترونية الصينية العملاقة علي بابا.

بدأت شركة علي بابا كلاود إطلاق برامج الماجستير في القانون الخاصة بها تحت العلامة التجارية الفرعية “Tongyi Qianwen” أو Qwen، باختصار، في أغسطس 2023، بما في ذلك النماذج مفتوحة المصدر كوين-7 بي, كوين-72 بي وكوين-1.8 بي، مع 72 مليار و1.8 مليار معلمة على التوالي (في إشارة إلى الإعدادات وفي النهاية ذكاء كل نموذج)، تليها متغيرات متعددة الوسائط بما في ذلك كوين-أوديو و Qwen-VL (لمدخلات الرؤية)وأخيرا Qwen2 يعود في أوائل يونيو 2024 مع خمسة إصدارات: 0.5B، 1.5B، 7B، 14B، و72B. في المجمل، أصدرت علي بابا أكثر من 100 نموذج ذكاء اصطناعي بأحجام ووظائف مختلفة في عائلة Qwen في هذا الوقت.

وقد لاحظ العملاء، وخاصة في الصين، ذلك بأكثر من 90 ألف مؤسسة وأفادت التقارير أنها اعتمدت نماذج Qwen في عملياتها في السنة الأولى من التوفر.

في حين أن العديد من هذه النماذج كانت تتميز بأداء متطور أو قريب من الأداء عند تواريخ إصدارها، فإن سباق نماذج LLM والذكاء الاصطناعي يتحرك بسرعة كبيرة على نطاق أوسع في جميع أنحاء العالم، وسرعان ما تفوقت عليها منافسات أخرى مفتوحة المصدر ومغلقة المصدر في الأداء. حتى الآن.

ما هو Qwen2-Math؟

اليوم، قام فريق Qwen التابع لشركة Alibaba Cloud بإزالة الغلاف الخاص بـ Qwen2-رياضيات“سلسلة جديدة من نماذج اللغة الكبيرة المخصصة للرياضيات” مصممة للغة الإنجليزية. وتتفوق أقوى هذه النماذج على جميع النماذج الأخرى في العالم – بما في ذلك OpenAI GPT-4o، وAnthropic Claude 3.5 Sonnet، وحتى Math-Gemini Specialized 1.5 Pro من Google.

على وجه التحديد، تصل متغيرات Qwen2-Math-72B-Instruct ذات الـ 72 مليار إلى 84% على معيار الرياضيات لطلاب الماجستير في القانون، والذي يوفر 12500 “مسألة رياضية تنافسية صعبة”، ومسائل نصية في ذلك، والتي قد يكون من الصعب للغاية على طلاب الماجستير في القانون إكمالها (انظر الاختبار الذي هو أكبر: 9.9 أو 9.11).

فيما يلي مثال لمشكلة مدرجة في مجموعة بيانات الرياضيات:

بصراحة، هذا ليس سؤالًا أستطيع الإجابة عليه بمفردي، وبالتأكيد ليس في غضون ثوانٍ، ولكن يبدو أن Qwen2-Math قادر على ذلك في معظم الأحيان.

ومن غير المستغرب إذن أن يتفوق Qwen2-Math-72B Instruct أيضًا ويتفوق على المنافسة في معيار الرياضيات للمرحلة الابتدائية GSM8K (8500 سؤال) بنسبة 96.7% وفي الرياضيات على مستوى الجامعة (معيار الرياضيات الجامعية) بنسبة 47.8% أيضًا.

ولكن من الجدير بالذكر أن علي بابا لم يقارن بين منتجات مايكروسوفت الجديدة تم إصدار نموذج Orca-Math في فبراير 2024 في مخططاتها المرجعية، ويقترب نموذج 7 مليارات معلمة (متغير من Mistral-7B، وهو في حد ذاته متغير من Llama) من نموذج Qwen2-Math-7B-Instruct بنسبة 86.81% لـ Orca-Math مقابل 89.9% لـ Qwen-2-Math-7B-Instruct.

ومع ذلك، حتى أصغر نسخة من Qwen2-Math، وهي النسخة التي تحتوي على 1.5 مليار معلمة، تعمل بشكل رائع وقريب من النموذج الذي يزيد حجمه عن أربعة أضعاف، حيث سجلت 84.2% في GSM8K و44.2% في الرياضيات الجامعية.

ما هي فوائد نماذج الذكاء الاصطناعي في الرياضيات؟

في حين ركز الاستخدام الأولي لبرامج الماجستير في القانون على فائدتها في برامج المحادثة الآلية وفي حالة المؤسسات، للإجابة على أسئلة الموظفين أو العملاء أو صياغة المستندات وتحليل المعلومات بشكل أسرع، تسعى برامج الماجستير في القانون التي تركز على الرياضيات إلى توفير أدوات أكثر موثوقية لأولئك الذين يتطلعون إلى حل المعادلات بشكل منتظم والعمل بالأرقام.

ومن الغريب أن برامج الماجستير في القانون لم تكن حتى الآن موثوقة مثل عصور الذكاء الاصطناعي أو التعلم الآلي السابقة، أو حتى البرامج القديمة، في حل المسائل الرياضية، وذلك بالنظر إلى أن جميع التعليمات البرمجية تعتمد على أساسيات الرياضيات.

يقول الباحثون في شركة علي بابا الذين يقفون وراء Qwen2-Math أنهم “يأملون أن يتمكن Qwen2-Math من المساهمة في المجتمع لحل المشكلات الرياضية المعقدة”.

ال شروط الترخيص المخصصة للمؤسسات والأفراد الذين يسعون إلى استخدام Qwen2-Math لا ترقى هذه القيود إلى مستوى المصدر المفتوح البحت، إذ تتطلب من أي استخدام تجاري يضم أكثر من 100 مليون مستخدم نشط شهريًا الحصول على إذن إضافي وترخيص من المبدعين. ولكن هذا لا يزال حدًا أقصى متساهلًا للغاية ومن شأنه أن يسمح للعديد من الشركات الناشئة والشركات الصغيرة والمتوسطة الحجم وحتى بعض الشركات الكبيرة باستخدام Qwen-2 Math تجاريًا (لكسب المال) مجانًا، في الأساس.