- أنتجت OpenAI وAnthropic بشكل مستقل خوارزميات ذات تعقيد زمني دون أسي (subexponential)، تدّعي كل منهما أنها تُنفي الفرضية الزمنية الأسية (Exponential Time Hypothesis).
- كلا النتيجتين لهما صياغات رسمية باستخدام Lean، لكن الباحثين لا يزالون يعملون على فهم ومراجعة الحجج الأساسية.
- هذه الاختراقات لا تحل مسألة P مقابل NP ولا تكسر أنظمة التشفير المستخدمة حالياً.
تؤكد OpenAI وAnthropic أن نماذج الذكاء الاصطناعي الخاصة بهما قد طرحت تحدياً للنظرة التقليدية بشأن حدود الحوسبة. وإذا ثبت صحة هذه النتائج، فقد تعيد تشكيل نظرية التعقيد الحسابي. ومع ذلك، لم تنجح أي من الشركتين في إنشاء برمجيات أسرع أو اختراق أنظمة التشفير الحالية.
فرضية من 1999، تواجه الآن ضغوطاً
اقترح راسل إمبالجازو وراماموهان باتوري فرضية الوقت الأسي (ETH) لأول مرة في عام 1999. تشير فرضية الوقت الأسي إلى وجود مشكلات منطقية محددة تتطلب وقتاً حسابياً أسيّاً أكبر كلما زاد حجمها.
اعتمد الباحثون على هذا الافتراض لعقود. ووفقاً لـ OpenAI، يبلغ عدد الأوراق البحثية التي استخدمت فرضية الزمن الأسّي الصغرى (ETH) لإثبات الحدود الحسابية في نظرية الرسوم البيانية، وقواعد البيانات، والأحياء الحسابية، وغيرها، مئات الأوراق. وإذا ثبت خطأ فرضية ETH، فقد يضطر الباحثون إلى إعادة النظر في العديد من تلك الاستنتاجات.
معملان، ودحضان
في 26 أكتوبر، أعلنت OpenAI أن نموذج الذكاء الاصطناعي الخاص بها قدّم دليلاً يتحدى فرضية الزمن الأسّي الصغرى (ETH). وجاء هذا الإعلان ضمن إصدار أوسع شمل نتائج في مجال التحليل التوافقي ونظرية المجال الكمي. وتُثبت طريقة Lean للتصديق الرسمي صحة خوارزمية ذات زمن شبه أسي، رغم أن الورقة المرافقة تقدماً دليلاً نظرياً أقوى.
وعلى الفور، بعد ساعات فقط، قدمت Anthropic اكتشافاتها الخاصة. وذكرت الشركة أن كلاود اكتشف خوارزمية حتمية يمكنها حل مشكلة 3-SAT في وقت أقل من الأسي. لكن مستودعها أثبت أيضاً أن الاكتشاف لا يزال نظرياً بحتاً:
النتيجة مجردية تماماً ولا تخبرنا شيئاً حول حل المعادلات في الممارسة العملية.
ظهرت أيضاً أسئلة حول البحث الكامن وراء هذه الاكتشافات. أفاد TechCrunch بأن الرياضي ليفنت ألبوجي من أنثروبيك تساءل عن مدى استفادة عمل OpenAI من الأبحاث القائمة.
ما يمكن للخبراء التحقق منه وما لا يمكنهم
نظمت OpenAI فريقاً ضمّ رائدي المسار في ETH، إمبالجازو وباتوري، مع البروفيسور من معهد ماساتشوستس للتكنولوجيا (MIT)، راين ويليامز، لتحليل النتائج. كما وافقت على دعم مؤتمر ونشر نتائجها لمراجعتها بشكل إضافي.
كان ويليامز قد انتقد سابقاً الفيضان من البراهين المولَّدة بالذكاء الاصطناعي، جاعلاًً أن الرياضيين غرقوا تحت وطأة حجم العمل الذي يتعين عليهم مراجعته. لكن أحدث نتائج OpenAI أثارت فضوله. وتحدث إلى TechCrunch، مشيراً إلى أنه بينما بدت بعض أجزاء البرهان مألوفة، برزت أخرى بشكل لافت:
“هناك جزئيات غريبة المظهر تشبه الأجانب”
هنا تكمن أهمية الخبرة البشرية. يمكن لـ Lean التحقق من صحة البرهان الرسمي منطقياً، لكن الباحثين لا يزالون بحاجة إلى فهم المنطق غير المألوف وتحديد ما إذا كان قد يؤدي إلى خوارزميات عملية.
لماذا هذا ليس P يساوي NP، وليس كسراً للتشفير
دحض فرضية الوقت الأسي لا يحسم مسألة P مقابل NP ولا يكشف عن نقاط ضعف في التشفير الحالي.
ومع ذلك، فإن حاملي العملات الرقمية لديهم أسباب للاهتمام. أفاد Cryptopolitan بتحذير الباحث في شبكة الإيثريوم جاستن دريك من أن الرياضيات المولَّدة بالذكاء الاصطناعي، بما في ذلك الإصدار المنفصل لـ 722 ورقة بحثية من قبل OpenAI، قد يهدر التوقيعات الرقمية على المدى الطويل.
في الوقت الراهن، يظل هذا تحذيراً، وليس اختراقاً مثبتاً.
في يوليو، حسّن Claude Mythos Preview التابع لشركة Anthropic هجوماً موجهاً نحو HAWK، وهو مرشح لتوقيع ما بعد الكمومي، بعد 60 ساعة من البحث. ولم تتأثر أي أنظمة مُعمَّلة.
سباق بحث في الذكاء الاصطناعي بلا خط نهاية في الأفق
يصف State of AI 2026 سباقاً متزايداً بين أنثروبيك وOpenAI وجوجل.
تُظهر القياسات الداخلية لشركة Anthropic أن Claude أدى 26% من أعمال البحث والتطوير للنماذج التي يتم تتبعها في أغسطس، مقارنة بأقل من 1% في فبراير. وفي الوقت نفسه، أفادت معهد أمن الذكاء الاصطناعي البريطاني بأن المدة اللازمة لإكمال مهام معينة في الأمن السيبراني باستخدام الذكاء الاصطناعي تتضاعف تقريباً كل ثمانية أشهر.
يساعد الذكاء الاصطناعي الباحثين على إجراء الاكتشافات بسرعة أكبر. لكن breakthrough رياضيًا لا يؤدي تلقائيًا إلى تحسين البرمجيات. حتى لو تم دحض الفرضية، فقد تستغرق الخوارزميات العملية سنوات لتطويرها. لا يزال أمام الباحثين البشر الكثير من العمل.
إذا كنت تقرأ هذا، فأنت متقدّم بالفعل. ابق هناك مع نشرتنا الإخبارية.
الأسئلة الشائعة
ما هي فرضية الزمن الأسي؟
إنها فرضية اقترحها راسل إمبالجازو وراماموهان باتوري في عام 1999، تفيد بأن بعض مشكلات قابلية الإرضاء المنطقي (Boolean satisfiability) تتطلب وقتًا ينمو بشكل أسي مع عدد المتغيرات، وقد استُشهد بها في مئات الأوراق البحثية المتعلقة بنظرية التعقيد الحسابي.
هل يعني دحض ETH أن التشفير قد تم كسره؟
لا. قال ويليامز إن شركة OpenAI فحصت ما إذا كانت نتائجها تضعف الأنظمة التشفيرية وكانت "واثقة إلى حد معقول" من عدم وجود ثغرات أمنية جديدة، بينما تشير دحض Anthropic الخاص بها إلى أنه مجرد نتيجة تقارب (asymptotic) ليس لها تأثير عملي.
كيف تم التحقق من البراهين؟
تقول كلتا الشركتين إن دحضهما للنتائج السابقة تم التحقق منه باستخدام Lean، وهي لغة برهنة رسمية تتحقق من كل خطوة منطقية، وقد نشرت OpenAI البرهان الخام الخاص بها على GitHub لمجموعة من الخبراء الخارجيين لفحصه.
إخلاء مسؤولية. المعلومات المقدمة ليست نصيحة تداول. Cryptopolitan.com لا تتحمل أي مسؤولية عن أي استثمارات تُجرى بناءً على المعلومات الواردة في هذه الصفحة. نوصي بشدة بإجراء بحث مستقل و/أو الاستعانة بمستشار مؤهل قبل اتخاذ أي قرارات استثمارية.
إبيام واياس
إبيام واياس يغطي أخبار العملات الرقمية منذ عام 2019. درس علوم الحاسوب في الجامعة المفتوحة الوطنية في نيجيريا. وقد ظهرت أعماله على منصات أخبار رقمية متنوعة، بما في ذلك Coinfomania و Crypto News Australia و AltcoinBuzz. وباعتماده على خلفيته في علوم الحاسوب، يركز الآن على أخبار العملات الرقمية والروبوتات وإطالة العمر.
