تيرينس تاو يدعو إلى «رياضيات 2.0» تقوم على الفهم لا على إجابات الذكاء الاصطناعي وحدها
يرى تيرينس تاو في مقال جديد بمجلة Nature أن سرعة البراهين المولدة بالذكاء الاصطناعي تجعل التحقق والشرح ونسبة الفضل قضايا مركزية في الرياضيات.
عندما يصبح إنتاج البرهان أسهل من فهمه
يرى عالم الرياضيات تيرينس تاو، في مقال نشرته Nature في 22 أكتوبر، أن الذكاء الاصطناعي يغير الرياضيات بسرعة تفوق قدرة مؤسساتها على التكيف. ولا يتمثل قلقه الرئيس في قدرة الآلات على المساعدة في مسائل صعبة، بل في أن تدفق النتائج المولدة آلياً قد يتجاوز الوقت اللازم لفحصها وشرحها واستيعابها.
من ندرة البراهين إلى «عسر هضم البراهين»
يدعو تاو إلى استجابة يسميها «رياضيات 2.0» لعالم قد لا تعود فيه البراهين نادرة. ففي عرضه لا ينتهي العمل المهم عندما ينتج نظام حجة تبدو معقولة. فما زال الرياضيون بحاجة إلى التحقق من صحة الادعاءات، وفهم سبب نجاح الطرق، ونسبة الأفكار السابقة بدقة، وتقرير أي النتائج يستحق أن يُبنى عليه. ويحذر من أن النتيجة قد تكون متاحة تقنياً من دون أن تصبح بعد معرفة نافعة للمجال.
ويربط المقال هذه الأسئلة بتطبيقات عملية أيضاً. إذ يشير تاو إلى أن النماذج الرياضية تؤثر بصورة متزايدة في قرارات خارج البحث الخالص، ومنها أنظمة الائتمان والمخاطر المالية. فإذا أصبحت النماذج أو استدلالها معقدة على نحو يتعذر تدقيقه، فقد تؤثر الأخطاء في الناس حتى عندما تبدو النتيجة مقنعة. وهذا حجة لمزيد من الفحص والتوثيق، لا ادعاء بأن كل نتيجة ساعد فيها الذكاء الاصطناعي غير موثوقة.
وجهة نظر لا دراسة أداء
هذا تعليق خبير، وليس تقييماً محكماً لنظام ذكاء اصطناعي محدد أو نتيجة رياضية جديدة. لكنه يقدم عدسة مفيدة لقراءة الأخبار السريعة عن برهنة المبرهنات آلياً: ما الذي فُحص؟ وما الذي شُرح؟ ومن نُسب إليه العمل السابق؟ وهل يستطيع باحث آخر فحص الطريق إلى النتيجة؟