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

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

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

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