تُدّعي OpenAI أنها دحضت فرضية الزمن الأسي بخوارزمية جديدة

رسالة من ChainCatcher: أعلنت OpenAI مؤخرًا أن نموذج الذكاء الاصطناعي الخاص بها قد كسر فرضية وقت الأسي، وهي فرضية تُستخدم في علوم الحاسوب منذ أكثر من عقدين، والاختصار الإنجليزي لها ETH، وليس إيثريوم. تركز هذه الفرضية على مدى صعوبة المشكلات الصعبة للغاية، وتستخدم مسألة الرضا البولياني SAT كمثال: بالنظر إلى مجموعة من الشروط المنطقية، هل هناك تعيين يحقق جميع الشروط في آنٍ واحد؟ مع زيادة حجم المشكلة، فإن أفضل الطرق المعروفة تقتصر تقريبًا على تجربة الإجابات المحتملة واحدة تلو الأخرى، مع زيادة التكلفة الزمنية بشكل أسي مع الحجم. وتكمل فرضية وقت الأسي بالتأكيد أن هذه المشكلات لا يمكن تسريعها بشكل جوهري، ولا توجد خوارزميات فعالة حقيقية تعمل في وقت أقل من الأسي. منذ طرحها عام 1999، كانت هذه الفرضية حجر أساس مهم في علوم الحاسوب النظرية، حيث استندت إليها أوراق بحثية كثيرة لإثبات صعوبة بعض المشكلات أو أن بعض الخوارزميات قريبة من الأمثل. إذا تم دحض فرضية وقت الأسي، فهذا يعني أن العديد من المشكلات التي يُعتقد أنها شبه مستحيلة التسارع قد توجد لها حلول أفضل نظريًا. تدّعي OpenAI أن نموذجها وجد خوارزمية حتمية تستطيع حساب عدد حلول مسألة k-SAT بدقة في وقت أقل من الأسي، وتم التحقق منها رسميًا باستخدام Lean. إذا نجح هذا الناتج في اجتياز مراجعة الخبراء، فسيهزّ فرضية وقت الأسي مباشرة.