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