كيف تعمل أدوات حل المسائل الرياضية بالذكاء الاصطناعي ولماذا تستخدم الأفضل منها محركين

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

المرحلة الأولى: كيف تدخل المسألة

تبدأ الأدوات القائمة على الكاميرا بتقنية OCR مهيّأة للترميز الرياضي. تصل مسائل الكتب المطبوعة بدقة عالية، أما الكتابة اليدوية فحكاية أخرى: تتراوح نسبة التعرف تقريباً بين 80 و95 بالمئة حسب الأداة والكاتب، والكسور والأسس والتعبيرات المتداخلة هي الأكثر تضرراً.

الخصيصة الخطيرة في هذه المرحلة أن أخطاءها صامتة: الأس المقروء خطأً لا يولّد رسالة خطأ، بل حلاً سليماً تماماً لمسألة مختلفة كلياً. لهذا تعرض التطبيقات الجيدة التعبير المُحلَّل قبل الحل. أما المسائل اللفظية المكتوبة فتمرّ بطبقة اللغة الطبيعية التي تحوّل الجملة إلى تعبير.

المرحلة الثانية: الحساب بنظام الجبر الحاسوبي

أما الرياضيات نفسها فأفضل من ينفذها نظام الجبر الحاسوبي، الذي يعالج التعبيرات الرمزية وفق قواعد: يحلّل إلى عوامل، ويبسّط، ويشتق، ويكامل، ويحل المعادلات بدقة. يعمل Wolfram Alpha على Mathematica، وتعتمد أدوات كثيرة أخرى على محركات مفتوحة المصدر مثل SymPy. والأهم أنه لا يخمّن: إما يطبّق قاعدة صحيحة أو يفشل.

المرحلة الثالثة: الشرح بواسطة النموذج اللغوي

ما لا يجيده نظام الجبر الحاسوبي هو شرح نفسه بأسلوب يستطيع الطالب متابعته، والتعامل مع اللغة غير المرتبة للمسائل اللفظية. هنا تتألق النماذج اللغوية الكبيرة: تسمّي القاعدة المطبقة، وتوضح لماذا تنطبق، وتستخرج الرياضيات من فقرة عن قطارين ينطلقان من محطتين.

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

التصميم الهجين وانقلاب الدقة

لذلك تقسم أقوى الأدوات العمل: نظام الجبر الحاسوبي يعطي الجواب الصحيح، والنموذج اللغوي يشرح كيف تم التوصل إليه. التطبيقات المتخصصة مثل Photomath وMathway وSymbolab تحل مسائل الكتب المدرسية القياسية حلاً صحيحاً في 90 إلى 98 بالمئة من الحالات وتتفوق في المعادلات النظيفة، أما في المسائل اللفظية فينقلب الترتيب.

ولمن يبني منتجاً يقوم بالرياضيات، النصيحة العملية هي إبقاء الحساب والشرح في مكوّنين منفصلين، وعدم السماح أبداً لنموذج لغوي بحساب يستطيع نظام الجبر الحاسوبي إنجازه بدقة. وتغطي الخيارات المجانية (Microsoft Math Solver وGeoGebra والنسخ المجانية من روبوتات المحادثة) المنهج القياسي تغطية جيدة.