نجح نظامان متقدمان من أنظمة الذكاء الاصطناعي، يعملان بشكل مستقل، فيما عجز عنه أي رياضياتي بشري على مدى ثلاثة عقود: دحض فرضية الزمن الأسي (ETH).
أعلنت OpenAI أن نموذجها البحثي وجد دحضًا بلغة طبيعية لفرضية ETH في 16 أكتوبر، وصاغه رسميًا في اليوم التالي باستخدام Lean، أداة التحقق الآلي من البراهين. وتحمل الورقة البحثية المكونة من 67 صفحة توقيع "OpenAI" كمؤلف.
وقبل ساعات، نشرت Anthropic ورقتها الخاصة المكونة من 49 صفحة بعنوان "A 2^o(n) Time Algorithm for 3-SAT"، منسوبة إلى "Claude, Anthropic". وقد وجد نموذج بحثي داخلي من Claude الخوارزمية الأساسية في اليوم نفسه، 16 أكتوبر.
تنص فرضية ETH، التي اقترحها Russell Impagliazzo وRamamohan Paturi نحو عام 1999، على أنه لا توجد خوارزمية قادرة على حل مسألة القابلية للإرضاء البوليانية أسرع من الزمن الأسي. وهي أساس مئات نتائج الصعوبة المشروطة في نظرية الرسوم البيانية وقواعد البيانات والبيولوجيا الحاسوبية والهندسة الحاسوبية.
يدعي الفريقان الآن وجود خوارزمية حتمية تحسب التعيينات المرضية في زمن دون أسي، وبالحد الرئيس نفسه في الأس. وإن صحّ هذا الادعاء، فإن جدارًا حاملًا في نظرية التعقيد الحسابي يسقط.
آلية التحقق قوية على نحو غير معتاد. فالبرهان مُصاغ رسميًا في Lean، الذي يفحص كل خطوة آليًا. ويتوقع Stefan Szeider من جامعة TU Wien، الذي راجع المواد المنشورة، أن يصمد أمام التدقيق. والأكثر لفتاً للنظر: OpenAI كلفت لجنة مراجعة مستقلة تضم Impagliazzo وPaturi أنفسهما - فواضعا الفرضية يدققان دحضها. وتقول رسالتهما المفتوحة إن ذلك قد يغير جزءًا مهمًا من علوم الحاسوب.
الحدود لا تقل أهمية عن النتيجة. فمسألة P مقابل NP لم تُمس. والخوارزمية الجديدة ما تزال فوق متعددة الحدود، لذا لن ينتج عنها حلال SAT أسرع. ما تغير هو خريطة الممكن نظريًا، ومن - أو ما - يعيد رسمها.
بالنسبة لقادة الأعمال، الإشارة ليست في الرياضيات نفسها، بل في أن الذكاء الاصطناعي انتقل من صياغة النصوص والشيفرات إلى إنتاج أبحاث أصيلة موثقة آليًا. فالافتراض القائل بأن الآلات لا تستطيع إنتاج علم جديد تلقى للتو ضربة قوية، وحدود القدرات تتقدم الآن أسرع من معظم دورات التخطيط.
الشركات التي تتعامل مع الذكاء الاصطناعي كشريك بحثي لا كمساعد كتابة هي التي ستحدد إيقاع العقد المقبل.
فكروا رياضياً. صمموا بذكاء. قودوا باستراتيجية. ابنوا بمسؤولية. توسعوا عالمياً. اصنعوا قيمة أعمال حقيقية من خلال الذكاء الاصطناعي.
