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