تشهد الرياضيات ثورة جديدة بفضل تطورات الذكاء الاصطناعي، حيث أطلق الباحثون مشروع Re$^2$Math، وهو معيار جديد يستهدف استرجاع الأدوات الرياضية من أثبتات غير تافهة. في وقت تزداد فيه قدرات نماذج اللغات الضخمة (Large Language Models) في معالجة القضايا الرياضية المعقدة، فإن مساعدات البحث العلمى تحتاج أيضاً إلى استخدام مؤسسات أكاديمية موثوقة.

مع تقدم الأبحاث، يتطلب الوصول إلى خطوات غير تافهة في الإثباتات الرياضية تحديد ما إذا كانت الأداة المطلوبة، مثل مفهوم أو نظرية معينة، موجودة بالفعل. تهدف Re$^2$Math إلى تقييم هذه القدرات من خلال توفير معيار مبتكر لاسترجاع المعلومات من إثباتات رياضية جزئية.

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

تتضمن التقييمات استخدام أداة استرجاع محكمة بالتجميد عند إصدارها، مما يضمن إمكانية إعادة إنتاج النتائج. في مجموعة الاختبار الحالية، وصل أفضل معدل استرجاع للأدوات (ToolAcc) إلى 7.0%، مما يدل على أن الأنظمة الحالية في الغالب تسترجع بيانات صحيحة ولكن تفشل في إثبات ملاءمتها للسياق. من خلال فصل استرجاع الاستشهادات والسماح لها بتحسين استخدام الأدوات الرياضية، يتحول استخدام الأدب المستند إلى الرياضيات إلى مهمة تشخيصية محكومة.

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