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