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