تشانغ تسيان يحذر من أزمة القيم في الرياضيات، والبرهان الناتج عن الذكاء الاصطناعي سيكون فائضًا

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