كل المقالات
دراسة تستكشف تعليم الذكاء الاصطناعي اختيار التخمينات الرياضية
ورقة أولية بتاريخ 23 سبتمبر تبحث سؤالاً يتجاوز توليد البراهين: أي العبارات تستحق الاهتمام؟
اختيار ما يستحق البرهنة
يقترح نيكيت باتيل وزملاؤه تدريب الذكاء الاصطناعي على تفضيل عبارات موجزة تتطلب براهين طويلة نسبياً. وتستخدم ورقتهم الأولية، المنشورة في 23 سبتمبر، هذا المؤشر القابل للقياس لتوجيه توليد التخمينات في Lean.
ويورد الباحثون انخفاضاً كبيراً في التشابه مع Mathlib بين العينات المتحقق منها بعد التدريب. وقد قيّم نموذج ذكاء اصطناعي ذلك التشابه؛ فالغياب عن مكتبة واحدة لا يثبت الجدة عالمياً.
يتأثر طول البرهان بأسلوب كتابة الشيفرة، وتبقى فائدة النتائج المولدة مستقبلاً غير محسومة. إنها تجربة أولية في الاكتشاف، وليست مقياساً نهائياً للأهمية الرياضية. لم تُعِد MathsAI إجراءها.