المدونة — أحدث أخبار الرياضيات والتقنية والذكاء الاصطناعي
أخبار ودراسات وتحليلات أصلية حول تقاطع الرياضيات والذكاء الاصطناعي.
GenLimitLib يختبر مكتبات Lean قابلة لإعادة الاستخدام في الرياضيات بالذكاء الاصطناعي
تستكشف ورقة أولية بتاريخ 29 سبتمبر كيف تساعد الرياضيات الصورية المنظمة الذكاء الاصطناعي في بناء براهين متحقق منها.
وولفرام يعرض خطط لغة للرياضيات البحتة بمساعدة الذكاء الاصطناعي
مقال بتاريخ 28 سبتمبر يصف العمل على تمثيلات رياضية يمكن للبشر والذكاء الاصطناعي فحصها.
دراسة MathAgent ترصد فوائد متفاوتة للرسوم المعرفية في البحث عن البراهين
ورقة أولية بتاريخ 28 سبتمبر تختبر متى يساعد السياق الرياضي الإضافي أنظمة البرهنة الآلية.
ProofGap يختبر الذكاء الاصطناعي في خطوات براهين التحليل الرياضي
ورقة أولية بتاريخ 24 سبتمبر تقدم نظرة أدق إلى مواضع نجاح الاستدلال الصوري وتعثره.
REAT يستكشف استفادة معلمي الرياضيات الآليين من الخبرة التعليمية
ورقة أولية بتاريخ 24 سبتمبر تختبر إرشادات تعليمية قابلة لإعادة الاستخدام في حوارات رياضية محاكاة.
دراسة تستكشف تعليم الذكاء الاصطناعي اختيار التخمينات الرياضية
ورقة أولية بتاريخ 23 سبتمبر تبحث سؤالاً يتجاوز توليد البراهين: أي العبارات تستحق الاهتمام؟
تدريب الذكاء الاصطناعي على البحث عن البراهين يحسن نتائج اختبار Lean
ورقة أولية بتاريخ 22 سبتمبر تختبر تدريباً يراعي عملية البحث المستخدمة لإيجاد البراهين الصورية.
مجموعة رياضية مستقلة تقدم المشورة بشأن نتائج أبحاث الذكاء الاصطناعي
إعلان بتاريخ 21 سبتمبر يضع مراجعة النتائج الرياضية المولدة بالذكاء الاصطناعي وطريقة عرضها ضمن الأولويات.
فرق الذكاء الاصطناعي تتعلم جمع الحلول الجزئية في اختبارات الرياضيات
ترصد ورقة أولية بتاريخ 19 سبتمبر تحسناً في أداء فرق الوكلاء عبر خمسة اختبارات في الرياضيات والفيزياء بعد تعلم أساليب التعاون.
Showing page 1 of 7 · 63 total