لحظة الذكاء الاصطناعي في الرياضيات تحمل حلولاً وحدوداً وتوترات جديدة
تستعرض Nature Machine Intelligence مجالاً سريع الحركة وتسأل عما يستطيع التحقق الرياضي ضمانه وما لا يستطيع.
التحقق قوي لكنه ليس سحرياً
تصف مقالة رأي حديثة في Nature Machine Intelligence فترة سريعة التغير في الذكاء الاصطناعي والرياضيات. وتبدو المخرجات الرياضية جذابة للباحثين لأن كثيراً من الادعاءات يمكن، من حيث المبدأ، فحصها. لكن «قابلية الفحص» لا تعني «الفهم الآلي»؛ فقد تكون المسألة مصاغة بشكل سيئ، أو تترجم إلى صيغة رسمية تمثل السؤال الخطأ، أو يكافئ المعيار حيلة ضيقة.
ثلاث طبقات للثقة
يحتاج النظام الموثوق إلى ثلاث طبقات على الأقل: سؤال رياضي مصمم جيداً، ومتحقق حسابي أو رسمي سليم، ومراجعة بشرية للصلة والأهمية. تحمي الأولى من قياس الشيء الخطأ، وتكشف الثانية الخطوات غير الصحيحة، وتسأل الثالثة عما إذا كانت النتيجة مثيرة وقابلة للتعميم وتستحق التواصل.
لماذا يهم ذلك في أخبار التقنية؟
يظهر هذا التصميم في إثبات المبرهنات والتعلم الآلي العلمي والتحسين والتعليم. وقد تأتي الخطوات التالية أقل من نموذج أكبر منفرد وأكثر من واجهات أفضل بين اللغة والبرمجة ومساعدات البرهان والبيانات والخبراء.