اوپن اے آئی کا دعویٰ ہے کہ ایک نئے الگورتھم کے ساتھ ایکسپونینشل ٹائم ہائپوتھیس کو منسوخ کر دیا گیا ہے

ChainCatcher کی رپورٹ کے مطابق، OpenAI نے حال ہی میں اعلان کیا ہے کہ ان کا AI ماڈل کمپیوٹر سائنس میں اکیس سال سے زیادہ عرصہ سے استعمال ہونے والے "ایکسپونینشل ٹائم ہپوتھیسس" (ETH) کو حل کر لیا ہے، جو ایتھریم سے متعلق نہیں ہے۔ یہ فرضیہ ایسے خاص طور پر مشکل مسائل کی پیچیدگی پر توجہ مرکوز کرتا ہے، جیسے کہ بولین سیٹیس فائی ایبلٹی مسئلہ (SAT): دی گئی منطقی شرائط کے مجموعے کے لیے، کیا کوئی ایسا ترتیب دینا ممکن ہے جس سے تمام شرائط ایک ساتھ پوری ہو جائیں؟ جب مسئلے کا سائز بڑھتا ہے، تو موجودہ بہترین طریقہ تقریباً صرف ممکنہ جوابات کو ایک ایک کر کے ٹرائ کرنا ہوتا ہے، جس کا وقت کا خرچ سائز کے ساتھ اسٹاسٹک طور پر بڑھتا ہے۔ ایکسپونینشل ٹائم ہپوتھیسس مزید دعویٰ کرتی ہے کہ اس قسم کے مسائل کو بنیادی طور پر زیادہ تیز نہیں کیا جا سکتا، اور ان کے لیے حقیقی طور پر سب ایکسپونینشل ٹائم کے موثر الگورتھم موجود نہیں ہوتے۔ 1999ء میں پیش کئے جانے کے بعد سے، یہ فرضیہ تھیورٹیکل کمپیوٹر سائنس کا اہم ستون رہا ہے، جس پر بہت سارے پیپرز مبنی ہیں جو ثابت کرتے ہیں کہ کچھ مسائل مشکل ہیں یا کچھ الگورتھمز تقریباً بہترین ہیں۔ اگر ایکسپونینشل ٹائم ہپوتھیسس منسوخ ہو جائے، تو اس کا مطلب ہوگا کہ بہت سے اس طرح کے مسائل جنہیں تقریباً ناممکن سمجھا جاتا تھا، نظریاتی طور پر بہتر حل ممکن ہو سکتے ہیں۔ OpenAI دعویٰ کرتا ہے کہ ان کا ماڈل ایک ڈٹرمینسٹک الگورتھم تلاش کر لیا ہے جو سب ایکسپونینشل ٹائم میں k-SAT مسئلے کے حل کی تعداد درست طور پر شمار کر سکتا ہے، اور اسے Lean کے ذریعے فارمل ویریفکیشن بھی کر دیا گيا ہے۔ اگر یہ نتائج ماہرین کے جائزے سے گزر جائیں، تو وہ ایکسپونینشل ٹائم ہپوتھیسس کو براہ راست متزلزل کر دینگے۔