في عالم الرياضيات المتقدمة، حيث تتطلب المسائل البحثية مهارات تفكير عميق ومعرفة متخصصة، قدم فريق من الباحثين ابتكاراً غير مسبوق بعنوان RMA (Research Math Agents). يتميز هذا النظام بكونه إطاراً آلياً يقوم بحل المسائل الرياضية البحثية بطريقة منظمة وفعالة.

على عكس الدراسات السابقة التي كانت تركز على الرياضيات التنافسية أو إثبات النظريات الرسمية، يركز نظام RMA على المسائل البحثية التي تحتاج إلى تفكير طويل الأمد، واستناد إلى الأدبيات العلمية، وتحسين مستمر في إثبات النتائج.

يتكون النظام من وحدات متخصصة تعمل على تحليل المشكلة، البحث واستيعاب المحتوى الأدبي، مقارنة عادلة، بناء بنك المعرفة، والتحقق من الإثباتات. ويتم التنسيق بين هذه الوحدات من خلال ثلاثة أنواع من الوكلاء: الوكيل المُبادر، الوكيل المقترح، ووكيل التحقق، مما يؤدي إلى إنشاء ذاكرة منظمة مشتركة تُسهّل التعاون.

إن عملية العمل لهذه الوكلاء متعددة الأدوار والجولات، حيث يشتركون بشكل جماعي في توليد، تحسين، والتحقق من الإثباتات عبر تغذية راجعة تكرارية.

تمت تقييم أداء RMA من خلال اختبار First Proof، الذي يتضمن عشرة مسائل بحثية ساهم بها رياضيو خبراء من مجالات متنوعة. وقد أظهرت النتائج أن RMA تتفوق بوضوح على الأنظمة القوية الأخرى مثل GPT-5.2R وAletheia، حيث نجح في حل ثمانية من أصل عشرة مشاكل بحثية، مع تقديم إثباتات أكثر منطقية وسلاسة.

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

نتطلع أن تصبح حلولنا وتنفيذاتنا متاحة للجمهور upon قبولها. فهل أنتم مستعدون لاستكشاف هذا الابتكار المذهل في عالم الرياضيات؟