ذكاء اصطناعي صيني يفك لغزاً رياضياً حيّر العلماء لعقد كامل

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

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

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

ويعتمد النظام على بنية مزدوجة تجمع بين الاستدلال غير الرسمي والتحقق الصارم، حيث يتولى نظام يُعرف باسم "Rethlas" تحليل المسألة باستخدام اللغة الطبيعية والبحث في النظريات، بينما يقوم نظام "Archon" بتحويل النتائج إلى صيغة رسمية يمكن التحقق منها عبر أداة "Lean 4"، وهي بيئة برمجية متخصصة تحتوي على مكتبة ضخمة من القواعد والنظريات الرياضية.

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

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