من الإجابات النهائية إلى البراهين الدقيقة.. ثورة الذكاء الاصطناعي في الرياضيات

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

ثورة الذكاء الاصطناعي في الرياضيات

ويحمل النموذج اسم “DeepSeekMath-V2″، ويعمل من خلال حلقة متكررة لتوليد الحلول والتحقق منها ذاتيًا قبل تقديم الإجابة النهائية، باستخدام مدقق مبني على نموذج لغوي كبير متخصص في إثبات النظريات الرياضية.

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

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

وأثبت “DeepSeekMath-V2” كفاءته في مسابقات رياضية عالمية، حيث وصل إلى مستوى ذهبي في المسابقة الدولية للرياضيات (IMO) 2025، وحقق نتائج شبه نهائية في مسابقة بوتنام 2024 بدرجة 118/120 باستخدام حوسبة محسّنة أثناء الاختبار.

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

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

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