تقدم هذه القسم نظرة عامة على قدرات ونقاط ضعف نماذج اللغة الكبيرة (LLMs) في سياق التفكير الرياضي، وخاصة في المهام المنظمة مثل البرمجة، الرياضيات التقليدية، وبناء الإثباتات الرسمية. بينما أظهرت نماذج LLMs نجاحًا في البرمجة والتفكير الرياضي غير الرسمي بسبب قدرتها على التعامل مع الخطاب المرن والمتكرر، تواجه تحديات كبيرة في الرياضيات الرسمية، حيث تتطلب…