نظام الذكاء الاصطناعي المزدوج يحل فرضية أندرسون بشكل مستقل ويحقق إنجازًا غير مسبوق في الرياضيات

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

كيف يعمل النظام المزدوج للذكاء الاصطناعي؟

يعتمد النظام على استراتيجيات تفكير متقدمة تشبه تلك التي يستخدمها الرياضيون البشر، ويعمل على النحو التالي:

• استخدام أداة Rethlas: وهي نظام استنتاجات يعتمد على محرك بحث يُسمى Matlas، يُستخدم لاستكشاف استراتيجيات حل المشكلات.
• توليد مسودة برهان: عندما ينتج Rethlas برهانًا محتملاً، يُحوّله النظام الثاني، Archon، إلى مشروع يتم التعامل معه بواسطة برنامج للتحقق من النظريات يُعرف بـ LeanSearch.
• استخدام برنامج Lean 4: وهو نظام برمجي مع مكتبة ضخمة تحتوي على مئات الآلاف من النظريات والتعاريف، ويعمل على التحقق من صحة البرهان بشكل تفاعلي ودقيق.

مميزات النظام

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

نتائج وتبعات البحث

قال الباحثون في الورقة العلمية التي نشرت على منصة arXiv:
“باستخدام هذا الإطار، نجحنا في حل مشكلة مفتوحة في الجبر التبادلي، وقمنا تلقائيًا بتوثيق البرهان بشكل شبه كامل بدون تدخل بشري.”

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

التحديات والآفاق المستقبلية

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

لا تزال مسألة مدى قدرة هذا النهج على التعامل مع مسائل رياضية أكثر تعقيدًا قيد الدراسة. ومع ذلك، يُعد هذا التطور علامة فارقة في مجال طالما كان مقاومًا للأتمتة لقرون.

ملاحظات أخيرة

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

ملاحظة: لم يتم بعد تقييم هذا البحث من قبل خبراء مستقلين، لذا يجب توخي الحذر عند الاعتماد على نتائجه حاليًا.