تيرينس تاو في حفل ميدالية فيلدز: الرياضيات تواجه أزمة القرن

في المؤتمر الدولي لعلماء الرياضيات لعام 2026، وبعد الإعلان المباشر عن الفائزين بجائزة فيلدز لعام 2026 وانغ هونغ ودينغ يو، ألقى تيرينس تاو، الحاصل على الجائزة نفسها عام 2006، محاضرة بعنوان "الرياضيات في عصر الذكاء الاصطناعي". وبدلاً من مناقشة ما إذا كان الذكاء الاصطناعي قادراً على معالجة الرياضيات، طرح تاو فرضية عمل: افترض أن الذكاء الاصطناعي سيكون قادراً قريباً على حل جزء كبير من المشكلات البحثية بتكلفة معقولة. مستشهداً بمعيار الإثبات الأول المستقل First Proof، حيث حلّت أنظمة الذكاء الاصطناعي 7 من أصل 10 مسائل بمستوى قابل للنشر، أكد أن هذا يسمح بتحويل النقاش إلى مجال القيم. استشهد تاو بقانون غودهارت: عندما يصبح المقياس هدفاً، يتوقف عن كونه مقياساً جيداً. وأظهر كيف أن تطور الأهداف في البحث الرياضي (حل المشكلات، التحقق، العرض الواضح، القبول المجتمعي، التصنيف) سيؤدي إلى "عسر هضم البراهين" - انتقال من عصر ندرة البراهين إلى عصر وفرة البراهين. دعا تاو إلى تقليل وزن "الحل الأول" وزيادة أهمية مراحل "الهضم": العرض، النشر، والتصنيف. وأيد إعلان لايدن بشأن الذكاء الاصطناعي والرياضيات، الذي يتطلب الكشف عن استخدام الذكاء الاصطناعي، مع تحمل المؤلفين المسؤولية الكاملة عن الصحة. قاعدة تاو الصارمة: إذا لم يستطع المؤلف تقديم العمل شفوياً بوضوح وخبرة، فلا ينبغي نشره. واعترف تاو نفسه باستخدام الذكاء الاصطناعي لإعداد الشرائح، ودعا إلى حوار مفتوح داخل المجتمع العلمي.