OpenAI وAnthropic تقولان إن نموذجيهما دحضا فرضية أساسية في علوم الحاسوب

نشرت OpenAI حلولاً لثلاث مسائل رياضية عريقة، من بينها دحض مفاجئ لفرضية الزمن الأُسّي (ETH)، وهي فرضية أساسية في علوم الحاسوب تتعلق بمدى صعوبة حل مسائل معيّنة. وكما حدث مع إصدارات سابقة للمختبر، جاء رد الأوساط العلمية مزيجاً من الحماس والقلق: فقد رأى الرياضياتي في Anthropic، Levent Alpöge، أن حلول OpenAI استندت إلى أعمال موجودة مسبقاً، وبعد ساعات نشرت Anthropic دحضها الخاص لفرضية ETH.

وهذه المرة، غيّرت OpenAI طريقة نشرها حسب التخصص: نشرت النتائج الرياضية على GitHub، ومنحت علماء الحاسوب فرصة تشكيل مجموعة عمل وتمويل مؤتمر لمناقشة البراهين، وتركت للفيزيائيين تشكيل مجموعة عمل خاصة بهم لتحديد كيفية نشر نتيجتهم. وجاء هذا التغيير بعد انتقادات من البروفيسور Ryan Williams من معهد MIT، الذي يقود رد مجال علوم الحاسوب وكان قد شبّه سابقاً دفعة براهين سابقة من OpenAI في أكتوبر بهجوم حرمان من الخدمة على علماء الرياضيات. ومع ذلك، وافق Williams على المساعدة في تفسير النتيجة الجديدة، إلى جانب Russell Impagliazzo وRamamohan Paturi من UC San Diego، وهما من نشر الورقة البحثية الأصلية لفرضية ETH عام 1999؛ وكانت الخطوة الأولى للمجموعة رسالة مفتوحة طلبت فيها آراء المجتمع العلمي حول الرياضيات وحول القواعد الخاصة بمساهمات الذكاء الاصطناعي في هذا العمل.

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

وقال Williams: “من المرجح أن على كل عالم حاسوب أن يمنح وزناً أكبر لإمكانية أن تكون P = NP، لكن هذا الوزن يختلف من شخص لآخر”، مضيفاً أنه يشك في أن تكون خوارزمية OpenAI هي الأفضل الموجودة على الإطلاق. وتهدد هذه النتيجة بتقويض عقد كامل من الأبحاث التي بُنيت على متانة فرضية ETH، وهو ما دفع Williams إلى الضغط على OpenAI لتمويل مؤتمر حول تداعيات الأمر. كما أثار قلقاً أكثر إلحاحاً: هل قد تكسر خوارزمية أسرع أنظمة تشفير تعتمد على أحجام مفاتيح معيّنة؟ وقال إنه طرح هذا السؤال مباشرة على Dan Roberts، المسؤول العلمي في OpenAI، وأن المختبر تحقق من الأمر وعاد بثقة معقولة بأن شيئاً لم ينكسر. ويقول Williams إنه لا يزال متفائلاً بشأن الدور المتوسع للذكاء الاصطناعي في البحث العلمي، حتى مع أن ذلك يدفع العلماء إلى رفع مستوى الأسئلة التي يطرحونها.

لماذا يهم

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