372 مسألة رياضية عالقة منذ أمد طويل كانت هي المحور الأساسي لما لا يقل عن 719 ورقة بحثية ضخمة أصدرتها شركة “OpenAI” الأسبوع الماضي، مستعرضةً بالتفصيل الحلول التي توصل إليها نموذج الذكاء الاصطناعي الخاص بها. ولم يشهد أي مجال بحثي حدثاً كهذا من قبل، ومع ذلك، فإن العديد من علماء الرياضيات لا يشاركون في الاحتفاء بهذا الإنجاز؛ إذ إن التقدم العلمي المتسارع بفضل الذكاء الاصطناعي سيُحدث تحولات جذرية في تخصصات عديدة، لكنه ينطوي أيضاً على مخاطر وعقبات. شملت أبرز المسائل التي تم تفكيكها مجالات الهندسة الجبرية، نظرية الأعداد، والمنطق الرياضي، ومن أبرزها حل فرضية كاكيا في البعد الرابع(4D Kakeya Conjecture) وهي معضلة هندسية معقدة للغاية، بالإضافة إلى إحراز تقدم نحو حل فرضية ريمان (Riemann Hypothesis) الشهيرة.
بعد ساعات من النشر، اضطرت OpenAI إلى سحب 3 أوراق بحثية فوراً وتعديل 14 ورقة أخرى؛ بسبب اكتشاف أخطاء رياضية في الإشارات (Sign Errors) أبطلت براهين كاملة، كما أن حوالي 42 بالمئة فقط من النتائج العليا تم إثباتها بدقة عبر لغة البرمجة التدقيقية “Lean” (المخصصة لمراجعة منطق الآلة).
طبعاً، هذا لا يقلل من أهمية هذا الإنجاز الكبير للذكاء الاصطناعي الذي يتوقع أن يتعزز مستقبلاً.
You must be logged in to post a comment.