أعلنت شركة الذكاء الاصطناعي الصينية الناشئة ديب سيك (DeepSeek) عن إطلاق نموذج متقدم للاستدلال الرياضي يعتمد على التحقق الذاتي، في خطوة تهدف إلى دفع قدرات الذكاء الاصطناعي نحو مجال أكثر دقة وتعقيدًا، وهو إثبات النظريات الرياضية، وليس مجرد الوصول إلى نتائج رقمية صحيحة. النموذج الجديد، الذي يحمل اسم DeepSeekMath-V2، يُعد إصدارًا مطوّرًا من سلسلة نماذج تركّز على الرياضيات العميقة، ويعمل وفق آلية مبتكرة تجمع بين توليد الحلول الرياضية ومراجعتها ذاتيًا قبل اعتمادها كإجابة نهائية.

ديب سيك تطلق نموذجًا ثوريًا للرياضيات يكشف آفاقًا جديدة لفهم الكون

على خلاف النماذج التقليدية التي تركّز على استخراج الأجوبة، يقوم “DeepSeekMath-V2” بإنتاج سلسلة من الخطوات المنطقية والبراهين الرياضية، ثم يستخدم مدققًا متخصصًا – درّبته الشركة لغائيًا – لمراجعة كل خطوة.

ديب سيك تطلق نموذجًا ثوريًا للرياضيات يكشف آفاقًا جديدة لفهم الكون

ووفقًا لتقرير موقع Neowin التقني، فإن النموذج يتبع دورة متكررة:

1. يولّد حلاً أو برهانًا خطوة بخطوة.

2. يقوم المدقق بمراجعة كل خطوة بحثًا عن الأخطاء المنطقية أو الحسابية.

3. في حال اكتشاف خطأ، يعود النموذج إلى التصحيح تلقائيًا.

4. تستمر هذه العملية حتى يُنتج النظام برهانًا مُثبتًا وموثوقًا بالكامل.

• انحسار سباق الهواتف فائقة النحافة بعد تعثّر آيفون آير درس قاسٍ يعيد رسم إستراتيجيات الشركات

هذه الآلية لا تضمن فقط الإجابة الدقيقة، بل تضيف طبقة من الثقة في صحة الاستنتاجات، ما يجعل النموذج مناسبًا للمهام العلمية الحساسة.

تعلم ذاتي مستمر بتقنية “المكافأة”

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

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

نتائج قوية في مسابقات رياضيات عالمية

أثبت “DeepSeekMath-V2” قدرته المبهرة في الاختبارات الأولية، إذ حقق أداءً عاليًا في أبرز مسابقات الرياضيات، أبرزها:

• المسابقة الدولية للرياضيات IMO 2025: مستوى ذهبي

• المسابقة الصينية للرياضيات CMO 2024

• مسابقة بوتنام 2024: درجة شبه نهائية 118/120 باستخدام حوسبة محسّنة أثناء الاختبار

• جوجل تطلق وضع توفير الطاقة في خرائطها تحسينات بارزة لعمر البطارية على هواتف بكسل 10

هذه النتائج تشير إلى أن النموذج لم يعد مجرد أداة مساعدة، بل أصبح منافسًا حقيقيًا في بيئة المسابقات الأكاديمية الرفيعة.

متاح للباحثين عبر منصة HuggingFace

بُني النموذج على منصة “DeepSeek-V3.2-Exp-Base”، وتوفره الشركة عبر HuggingFace بشكل مفتوح، مما يتيح للباحثين في الرياضيات والذكاء الاصطناعي تجربته وتطوير أدوات جديدة اعتمادًا عليه.

وبالنسبة للمطورين الذين يرغبون في دمجه في مشاريعهم، توصي الشركة بالاطلاع على الأدوات والدعم الفني المتوفر في مستودع DeepSeek-V3.2-Exp على منصة GitHub.

إمكانات علمية هائلة تتجاوز مجرد الرياضيات

لا يقتصر تأثير هذا النموذج على حل المسائل الرياضية، بل يمتد ليشكّل تحولًا جذريًا في مجالات:

• الفيزياء النظرية

• الهندسة المتقدمة

• علوم الفضاء

• الذكاء الاصطناعي العلمي

• تحليل البيانات الطبية

• شرطة بريطانيا تستعين بالذكاء الاصطناعي لإدارة المكالمات غير الطارئة إطلاق وكيل المحادثة بوبي

فالرياضيات ليست مجرد أرقام، بل هي لغة الكون التي تُستخدم لتفسير الظواهر الطبيعية، ووضع القوانين الفيزيائية، وتصميم التكنولوجيا.

ومع أدوات مثل “DeepSeekMath-V2″، يصبح من الممكن استكشاف براهين معقدة كانت تستغرق سابقًا شهورًا من العمل الأكاديمي، وربما يؤدي ذلك إلى اكتشافات جديدة تغيّر طريقة فهم البشر للكون.

خطوة في طريق مستقبل جديد للذكاء الاصطناعي

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

ومع توفير النموذج بشكل مفتوح، من المتوقع أن يشهد القطاع تسارعًا كبيرًا في البحث العلمي، وأن تظهر نماذج أخرى أكثر قوة وتركيزًا على العلوم الدقيقة.