# مقالة ضيف على مدونة Terence Tao: إثباتات النماذج الطويلة قد تجعل المعرفة غريبة عن الفهم البشري

> **المغزى:** المغزى: الخطر الذي تصفه المقالة ليس إثباتًا خاطئًا، بل إثبات صحيح لا يستطيع إنسان قراءته، وطريق إلى المعرفة تملكه شركات قليلة حتى دون سوء نية من أحد.

- المصدر: المغزى (https://almaghza.com/a/2026-10-19-maggi-golden-or-dark-age-mathematics/)
- التاريخ: 8 جمادى الأولى - 19 أكتوبر 2026 (2026-10-19)
- القسم: ذكاء اصطناعي
- الوسوم: الرياضيات، Lean، البحث العلمي، الذكاء الاصطناعي

نُشرت في 18 أكتوبر 2026 على مدونة عالم الرياضيات Terence Tao مقالة ضيف بعنوان يطرح سؤالًا: هل يكون هذا عصرًا ذهبيًا للرياضيات والعلم، أم عصرًا مظلمًا؟ وكاتب المقالة هو Francesco Maggi، لا Tao نفسه.

وتبدأ الحجة من آلية محددة. فالإثباتات التي تنتجها النماذج بلغة Lean، وهي لغة برمجة تُستخدم لكتابة الإثباتات الرياضية والتحقق منها آليًا، تصل إلى مئات الآلاف من الأسطر. وكلما طالت النسخة، صارت ترجمتها إلى لغة طبيعية "أكثر فوضى وأقل أمانة للأصل". والنتيجة إثبات صحيح لا يستطيع إنسان قراءته. ويكتب Maggi: "الظلمة الحقيقية هنا أن تصبح المعرفة غريبة عن الفهم البشري".

وتشير المقالة إلى أن تجربة "Drop" من OpenAI في 6 أكتوبر 2026 جرّبت نحو 4,000 مسألة، ونجحت في "بضع مئات" منها بعد التجميع والاختيار، وهو رقم تذكره المقالة بصيغة تقريبية.

والخطر الثاني يتعلق بالملكية. فالنماذج المتقدمة مملوكة لشركات، ولذلك تتجه البنية الأساسية للعلم نحو "سيطرة متزايدة، وربما كاملة" في يد عدد قليل منها. ويؤكد الكاتب أن هذا صحيح حتى دون سوء نية من أحد.

والخطر الثالث اجتماعي لا تقني. فقد نقل عن رياضيين أن النتيجة القوية لم تعد دليلًا على قدرة الطالب المستقلة، وأن آلية نسب الفضل "انهارت فعليًا في غضون أسابيع". وصار بعضهم يخفي أفكاره، لأن الفكرة التي تُقال لنموذج قد تُستخدم دون ذكر صاحبها.

ولا تنتهي المقالة إلى أن الرياضيات انتهت. بل يرى الكاتب أن عدد الرياضيين المطلوبين سيزيد، ويقترح خطوات منها إتاحة النماذج المتقدمة للباحثين، ومعايير للإفصاح، وبنية تحتية للنماذج تخضع لحوكمة عامة.

وتلتقي هذه الخطوة الأخيرة مع حجة الاستقلال التقني، لكن في طبقة أعلى. فالسؤال لم يعد عمّن يملك الأداة فقط، بل عمّن يملك الطريق إلى المعرفة نفسها، وهو سؤال يخص كل جامعة ومركز بحث في المنطقة يعتمد على نماذج لا يملكها.

## المصادر

- [المقالة الأصلية على مدونة Terence Tao](https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/)
- [موقع لغة Lean](https://lean-lang.org)
- [مدونة Terence Tao](https://terrytao.wordpress.com)