الرياضيات في عصر الذكاء الاصطناعي: محاضرة تيرينس تاو العامة في المؤتمر الدولي لعلماء الرياضيات 2026

ألقى تيرينس تاو محاضرة عامة بعنوان "الرياضيات في عصر الذكاء الاصطناعي" في 24 يوليو 2026، خلال المؤتمر الدولي لعلماء الرياضيات. وقد شبه الوضع بالأزمة التأسيسية في أوائل القرن العشرين التي تسببت فيها مفارقة راسل ونظريات عدم الاكتمال لغودل، مقترحًا أن الذكاء الاصطناعي يشكل الآن تحديًا مماثلاً. صاغ تاو "فرضية قدرة الذكاء الاصطناعي" بصيغتيها الضعيفة والقوية، لكنه اختار التركيز على المسألة المتعامدة المتعلقة بالأهداف والقيم. تبنى فرضية عمل مفادها أن نسخة قوية إلى حد معقول من فرضية قدرة الذكاء الاصطناعي صحيحة: ستتمكن أدوات الذكاء الاصطناعي قريبًا من أداء حصة معقولة من المهام الرياضية على مستوى البحث، بنجاح وجودة وتحكم وتكلفة معقولة. وفي ظل هذا الافتراض، يرى أن المجتمع يجب أن يفحص أهدافه الحقيقية - حل المشكلات، بناء النظريات، التعليم، إنشاء أعمال جمالية - ويحذر من أن تحسين الحلول المُولَّدة بالذكاء الاصطناعي قد يؤدي إلى انحراف هذه الأهداف. استشهد بنتائج تحدي الإثبات الأول (firstproof.org)، حيث تم حل سبع من أصل عشر مسائل على مستوى البحث بواسطة فرق الذكاء الاصطناعي بتكاليف تراوحت بين 10 و1000 دولار لكل مسألة في 28 مايو 2026. وأشار تاو إلى أن البراهين المُولَّدة بالذكاء الاصطناعي على مواقع مثل مسائل إردوش تثير مخاوف تتعلق بالتحقق، حيث غالبًا ما يفتقر الخبراء البشريون إلى الوقت أو المؤهلات للتحقق من صحتها.