ثورة في “الجبر التبادلي”.. ذكاء اصطناعي صيني ينهي لغز تخمين أندرسون الرياضي بعد عقد من الانتظار
في إنجاز تقني غير مسبوق، أعلن فريق بحثي من جامعة بكين اليوم الثلاثاء 14 أبريل 2026، عن نجاح نظام ذكاء اصطناعي في حل مسألة رياضية معقدة في مجال “الجبر التبادلي”، ظلت عصية على الحل منذ أن طرحها عالم الرياضيات الأمريكي دان أندرسون عام 2014. يمثل هذا النجاح قفزة هائلة نحو “أتمتة البحث الرياضي” وتجاوز عقبة “الهلوسة” التي تعاني منها النماذج اللغوية التقليدية.
ما هو “تخمين أندرسون” الذي تم حله؟
المسألة التي حيرت العلماء لمدة 10 سنوات تندرج تحت الجبر التبادلي (Commutative Algebra)، وهو فرع من الجبر التجريدي يدرس الحلقات التبادلية ومثالياتها. وكان البروفيسور دان أندرسون من جامعة آيوا قد وضع هذا التخمين الجبري قبل وفاته، ليبقى “مسألة مفتوحة” حتى تدخل النظام الصيني الجديد.
هندسة النظام: كيف تم القضاء على “الهلوسة”؟
واجه الباحثون بقيادة العالم دونغ بن تحدياً كبيراً؛ فالبراهين الرياضية تتطلب دقة مطلقة لا تحتمل الخطأ. ولتحقيق ذلك، صمم الفريق نظاماً ثنائياً يجمع بين الاستدلال البشري والتدقيق البرمجي:
الوكيل الأول (Rethlas): يعمل بنظام الاستدلال باللغة الطبيعية، ويستخدم محرك البحث Matlas لاستكشاف استراتيجيات الحل وعقود من الأبحاث الرياضية السابقة.
الوكيل الثاني (Archon): يتولى إضفاء الطابع الرسمي على النتائج باستخدام محرك LeanSearch، لتحويل البرهان إلى لغة تقنية دقيقة.
المُثبت التفاعلي (Lean 4): وهو لغة برمجة متكاملة تحتوي على مكتبة ضخمة من التعريفات، تقوم بالتحقق النهائي من صحة البرهان دون تدخل بشري.
لغة الأرقام: 80 ساعة مقابل عقود من الزمن
أظهر النظام الصيني كفاءة مذهلة في إدارة الوقت والجهد:
وقت التشغيل: استغرق النظام 80 ساعة فقط للوصول إلى الحل والتحقق منه.
الاستقلالية: عمل النظام بشكل شبه مستقل تماماً، مع ملاحظة الباحثين أن وجود “توجيه بشري” بسيط يمكنه تسريع العملية بشكل أكبر.
التعاون العابر للتخصصات: قام النظام بمهام كانت تتطلب في السابق فريقاً من الخبراء في تخصصات رياضية وبرمجية متنوعة.
قراءة في مستقبل “الرياضيات المؤتمتة” 2026:
يمثل هذا العمل نموذجاً “للذكاء الاصطناعي الرصين”؛ حيث لا يكتفي النظام بتقديم إجابات احتمالية، بل يقدم براهين قابلة للتحقق الرياضي الصارم. نجاح جامعة بكين في حل “تخمين أندرسون” يفتح الباب أمام حل مئات المسائل المفتوحة الأخرى، ويؤكد أن الذكاء الاصطناعي لم يعد مجرد أداة للمساعدة، بل أصبح “شريكاً باحثاً” قادراً على الإبداع في أكثر العلوم تجريداً ودقة.
لا توجد آراء بعد. كن أول من يُبدي رأيه!
