كل المقالات
Stellar Colosseum ينسق وكلاء الذكاء الاصطناعي لبراهين رياضية أطول
تدرس ورقة أولية صدرت في 14 سبتمبر دور التخطيط والنقد في تنظيم البحث الرياضي بالذكاء الاصطناعي.
تنظيم حجة رياضية أطول
تقدم ورقة أولية نُشرت في 14 سبتمبر نظام Stellar Colosseum، الذي يقارن مسارات البحث ويقسم البراهين الواعدة إلى مهام مترابطة ويوجه النقد إلى الخطوات المعنية.
يعلن المؤلفون دقة قدرها 71% على معيار TCS-Bench المستمد من مسائل بحثية في علوم الحاسوب النظرية. وهذه نتائج ورقة أولية، لم تُعرض هنا بوصفها نتائج أعيد اختبارها بصورة مستقلة.
والسؤال المفيد لقراء MathsAI هو: هل يجعل التخطيط المنسق الحجة الطويلة أسهل للفحص؟ فالنجاح في معيار أداء لا يثبت صحة كل برهان ناتج.