الأبحاث المرتبطة بالكلمة المفتاحية: الاستدلال الرياضي
-
الآلات المفكرة: التفكير الرياضي في عصر نماذج اللغة الكبيرة Thinking Machines: Mathematical Reasoning in the Age of LLMs
2026 | المؤلف: Andrea Asperti وآخرون | المجلة: Big Data and Cognitive Computing | المجال: النظرية الحسابية والرياضيات (Computational Theory and Mathematics)تقدم هذه القسم نظرة عامة على قدرات ونقاط ضعف نماذج اللغة الكبيرة (LLMs) في سياق التفكير الرياضي، وخاصة في المهام المنظمة مثل البرمجة، الرياضيات التقليدية، وبناء الإثباتات الرسمية. بينما أظهرت نماذج LLMs نجاحًا في البرمجة والتفكير الرياضي غير الرسمي بسبب قدرتها على التعامل مع الخطاب المرن والمتكرر، تواجه تحديات كبيرة في الرياضيات الرسمية، حيث تتطلب…
-
من النظام 1 إلى النظام 2: استعراض لنماذج اللغة الكبيرة في التفكير From System 1 to System 2: A Survey of Reasoning Large Language Models
2026 | المؤلف: Duzhen Zhang وآخرون | المجلة: IEEE Transactions on Pattern Analysis and Machine Intelligence | المجال: الذكاء الاصطناعي (Artificial Intelligence)تقدم هذه القسم نظرة عامة على الانتقال من اتخاذ القرار الحدسي (النظام 1) إلى التفكير المتعمد (النظام 2) في سياق نماذج اللغة الكبيرة (LLMs). يبرز أنه بينما تتفوق نماذج LLMs الأساسية في اتخاذ القرارات بسرعة، إلا أنها غالبًا ما تفتقر إلى العمق المطلوب للتفكير المعقد، وهو أمر ضروري لتحقيق الذكاء بمستوى إنساني. تُظهر التطورات الأخيرة…