كل المقالات
تدريب الذكاء الاصطناعي على البحث عن البراهين يحسن نتائج اختبار Lean
ورقة أولية بتاريخ 22 سبتمبر تختبر تدريباً يراعي عملية البحث المستخدمة لإيجاد البراهين الصورية.
تعليم النموذج البحث عن البراهين
يقترح آدم أوشيروفيتش وأمبوج تيواري تدريباً يراعي استكشاف خطوات البرهان ضمن ميزانية حسابية محدودة.
وتسجل ورقتهما الأولية، المنشورة في 22 سبتمبر، تحسناً مرصوداً عبر ست استراتيجيات بحث في Lean. وفي اختبار شمل 458 مبرهنة خارج التدريب، ارتفعت نسبة نجاح المحاولات المتكررة من 21.2% إلى 26.6%. وتصدر هدف تدريبي مشترك أبسط استراتيجيات البحث المتفرعة الخمس.
تقتصر الدراسة على نموذج واحد وبراهين مرجعية قصيرة، وليست جميع التحسينات دالة إحصائياً. وهي تقترح تحسين أدوات البحث عن البراهين، ولا تثبت حل مسائل رياضية مفتوحة. لم تُعِد MathsAI إجراء هذه التجارب الأولية.