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