فريق بحثي في جامعة تسينغهوا يطوّر نموذج العالم الجبري لتمكين الذكاء الاصطناعي من استنتاج القوانين الأساسية

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

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

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

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