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