انفجار علمي: OpenAI وAnthropic تنفيان فرضية أساسية في الحوسبة
أثارت نتائج جديدة من OpenAI وAnthropic زلزالاً في علوم الحاسوب النظرية، بعد دحض فرضية زمنية أسست عليها آلاف الأبحاث، مما أثار ردود فعل متباينة بين الحيرة والإثارة.

زلزال في علوم الحاسوب النظرية
أعلنت شركتا OpenAI وAnthropic هذا الأسبوع عن دحض الفرضية الزمنية الأسية (ETH)، وهي افتراضية أساسية سادت في علوم الحاسوب النظرية لعقود. هذه الفرضية كانت تنص على أن الجهد المطلوب لحل بعض المشكلات يزداد بشكل أسي مع حجم المشكلة. دحض هذه الفرضية يعني أن جزءاً كبيراً من الأبحاث المتعلقة بالتعقيد وتصميم الخوارزميات قد أصبح غير صالح أو يحتاج إلى إعادة تقييم جذرية.
صدمة الباحثين والمجتمع العلمي
أعرب البروفيسور بيتر يونسون من جامعة لينكوبينغ عن أن جزءاً كبيراً من عمله أصبح 'ميتاً' بعد هذه النتائج. ويتوقع أن يكون هذا الوضع شائعاً في مؤتمر IEEE Symposium on Foundations of Computer Science، حيث سيبدأ الباحثون عروضهم بالتأكيد على أن 'ETH خاطئة، ونصف ورقتي لا تعمل'. رغم الإحباط، يرى يونسون أن هذا التحدي فرصة للتعلم، مشيراً إلى أن هذا هو جوهر العلم.
من جهته، وصف البروفيسور دانيال لوكشتانوف من جامعة كاليفورنيا في سانتا باربرا هذا الحدث بأنه 'قنبلة ضخمة أسقطت في قلب المجال'. ويقدّر أن النتيجة، إذا تأكدت، ستجعل حوالي 50 من أبحاثه المنشورة إما 'عديمة الفائدة' أو بحاجة إلى إعادة زيارة. ويقول: 'إنه أمر رائع ومروّع في الوقت نفسه'.
إثارة وتحدي نفسي
على النقيض من الحيرة، عبر تور هوسفيلد، رئيس مجموعة أبحاث الخوارزميات في جامعة كوبنهاغن التقنية، عن حماسه للنتائج الجديدة. ويقول إن كونه رياضياً يشبه 'التخبط في غرفة مظلمة تماماً، ثم يأتي شخص ويضيء جزءاً كاملاً من المجال بأضواء ساطعة، فنبدأ بالجري كالأرانب المتحمسة لاستكشاف كل زاوية'. ويرى أن هذه فترة مثيرة جداً.
لكن هوسفيلد يحذر من الأثر النفسي المتراكم، مشيراً إلى أن الأشهر الأخيرة كانت صعبة بسبب 'الكثير من التشاؤم'. ويقول: 'كل أسبوع أو كل أسبوعين، النتائج المعلنة من الذكاء الاصطناعي تدمر مشاريع بحثية جارية للكثيرين. هذا أمر مرهق نفسياً للعديد من الناس'، مضيفاً أن قسمه فكر في توظيف طبيب نفسي مهني لأن 'بعض الناس حزينون جداً'.
تحدٍ في التحقق والمراجعة
لم يتمكن الباحثون بعد من التحقق بشكل مستقل من البراهين التي أنتجها الذكاء الاصطناعي، ناهيك عن فهمها بالكامل. وقد نشرت الشركتان البراهين على GitHub باللغتين الطبيعية وبصيغة Lean القابلة للتحقق الآلي. طلبت OpenAI من علماء الحاسوب في جامعة سانتا باربا الذين اقترحوا الفرضية أصلاً، وأكاديمي من MIT دحض نسخة سابقة من ETH، قيادة جهد جماعي لفك شفرة هذه البراهين.
يشمل هذا الجهد حالياً استمارة Google لطلب المتطوعين والملاحظات، والتزام من OpenAI بتمويل مؤتمر حول الموضوع. ويخطط لوكشتانوف للانضمام إلى هذا الجهد، معترفاً بأن النتيجة قد تجعله 'مخطئاً بشكل مجري' إذا تأكدت.
أثر على التشفير والأمن السيبراني
قد يكون لنتائج OpenAI آثار على التشفير الذي يحمي أمن الويب، والذي يعتمد على افتراض أن بعض المشكلات الرياضية تستغرق وقتاً طويلاً بشكل غير عملي لحلها. على الرغم من أن هذا التحديد لا يؤثر مباشرة على التشفير، يقول لوكشتانوف: 'يجب أن يثير هذا الخوف لدى بعض مصممي أنظمة التشفير'.
يشدد هوسفيلد على أهمية استمرار العمل البشري والمساعد بالذكاء الاصطناعي في علوم الحاسوب النظرية، قائلاً: 'نريد أن يحدد العملية العلمية المفتوحة سوء فهمنا للحوسبة، خاصة لأن الكثير من البنية التحتية الرقمية الحديثة مبنية على افتراضات حول الحوسبة'.
مستقبل البحث العلمي
يخطط يونسون لإعادة النظر في أبحاثه وأبحاث الآخرين التي تعتمد على صحة ETH، ويعتقد أن ورقته في المؤتمر قد تكون قابلة للإنقاذ بطريقة أخرى. وهو متحمس لاستكشاف تفاصيل برهان OpenAI وتطبيق ما يتعلمه على مشكلات جديدة. ويقول: 'على الرغم من أن هذا يلغي الافتراضات التي تستند إليها أعمالي، إلا أن الحصول على حكم نهائي حول ETH كان شيئاً كنت أحلم به فقط. هذه أوقات مثيرة، ولن يختبر معظم الناس شيئاً كهذا في مسيرتهم المهنية'.
يختتم يونسون: 'لا يهمني إذا كان البرهان مكتوباً من قبل إنسان، أو من قبل الذكاء الاصطناعي، أو إذا أرسله كائن فضائي. إذا كان صحيحاً، فيجب علينا ببساطة استخدامه في المستقبل'.
المصادر
- WIREDAn AI Breakthrough Has Made Decades of Computer Science Research ‘Irrelevant’
تابع التسلسل الزمني





