علوم الكمبيوتر نادراً ما يعدي عليها شهر زي ده. واحد من معتقداتها الأساسية اتهدم، واللي بيفحصوا الحطام فيهم نفس الباحثين اللي بنوه.
في 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، والخوارزمية الجديدة لسه شغالة في زمن فوق متعدد الحدود، فمفيش حلال عملي هيبقى أسرع بكرة الصبح. اللي اتغير هو الخريطة النظرية، وهوية اللي بيرسموها تاني، ناس كانوا أو أنظمة.
للتنفيذيين، الدرس بعيد عن فئات التعقيد. السوفتوير اللي كان لسه بيلخص مستندات بقى بيولد رياضيات أصلية متوثقة آلياً. حدود اللي الذكاء الاصطناعي يقدر يساهم بيه في البحث الجاد بتتحرك أسرع من اللي معظم دورات التخطيط متصوراه.
المؤسسات اللي هتتعلم تشتغل جنب الأنظمة دي، مش بس تفوضلها الكتابة، هي اللي هتحدد إيقاع العقد الجاي.
فكروا رياضياً. صمموا بذكاء. قودوا باستراتيجية. ابنوا بمسؤولية. توسعوا عالمياً. اعملوا قيمة بيزنس حقيقية بالذكاء الاصطناعي.
