اوپن اے آئی نے ایک 67 صفحات کا مقالہ جاری کیا ہے جس میں دعویٰ کیا گیا ہے کہ کمپنی کا AI ایکسپونینشل ٹائم ہائپوتھیسیس (ETH) کو منسوخ کر چکا ہے۔ یہ فرضیہ 1999 کا ہے اور ایتھریم، ایتھریم کی قیمت یا ماندگار وٹالک بٹیرن سے کوئی تعلق نہیں رکھتا۔ اس دعوے نے ایکس پر ریاضیدانوں اور کرپٹو کرنسی صارفین کے درمیان بحث شروع کر دی۔ ایکس صارف تاکومی نے مزاحیہ طور پر کہا، "الگورتھم ٹریڈرز نے $ETH کو بھاری نقصان پہنچا دیا۔" اینڈرو جنگ نے لکھا، "اس بات کے بعد وٹالک بہت خاموش رہا ہے۔"
کمپیوٹر سائنسدان رسل امپاگلیازو، راماموہن پاتوری اور فرانسس زین نے ETH پیش کیا۔ یہ فرضیہ یہ ہے کہ منطقی مسئلہ 3-SAT کو حل کرنے کے لیے ہر ممکنہ ترکیب کا جائزہ لینے سے کہیں زیادہ تیز طریقہ نہیں ہو سکتا۔ 3-SAT مسئلہ میں تین آپشنز پر مشتمل قواعد کو پورا کرنے کے لیے سچ یا جھوٹ کے تفویضات تلاش کرنے کی ضرورت ہوتی ہے۔ OpenAI کا کہنا ہے کہ گراف تھیوری، کمپیوٹیشنل بائیولوجی، ڈیٹا بیس اور جیومیٹری میں حسابی حدود کا تعین کرنے کے لیے سینکڑوں پیپرز ETH پر منحصر ہیں۔ OpenAI کا استدلال ہے کہ ETH کو منسوخ کرنا حسابی ترقی کے ممکنہ فائدے کے بارے میں نئے سوالات اٹھاتا ہے اور تحقیق کو بہتر الگورتھمز کی طرف مائل کر سکتا ہے۔
اس مضمون کی تاریخ 17 اکتوبر اور اس کا جائزہ 25 اکتوبر کو کیا گیا۔ اس مضمون میں ایک ڈیٹرمنسٹک الگورتھم پیش کیا گیا ہے، جو کسی بھی تصادفی عنصر کا استعمال نہیں کرتا، اور سب ایکسپونینشل وقت میں تمام قابل قبول تفویضات کی گنتی کرتا ہے۔ سب ایکسپونینشل وقت کا مطلب ہے کہ درکار کام تبدیلیوں کی تعداد کے کسی بھی اسٹیپنونشل فنکشن سے سستی سے بڑھتا ہے۔ قابل قبول تفویضات کی گنتی، یہ طے کرنے سے مشکل ہے کہ کیا کوئی قابل قبول تفویض موجود ہے، اس لیے گنتی کا الگورتھم فیصلہ کرنے والے مسئلے کو بھی حل کرتا ہے۔ OpenAI کا کہنا ہے کہ AI نے 16 اکتوبر کو دعوائی انکار دریافت کیا۔ OpenAI کا کہنا ہے کہ نتیجہ 17 اکتوبر کو Lean، جو ایک سافٹ ویئر ہے جو منطقی ہر قدم کو مکینیکل طور پر چیک کرتا ہے، کے ذریعے فارملائز کیا گیا۔ مضمون اور فارملائزیشن GitHub پر دستیاب ہیں۔ OpenAI نے اس ماہ کے شروع میں GitHub پر 722 ریاضی کے مسودات شائع کیے تھے، لیکن صرف 162 میں ایک کمپیوٹر چیک شدہ پرنسپل نتیجہ شامل تھا۔
ایم آئی ٹی کے رائین وِلیمز کے ساتھ امپیگلیازو اور پیٹوری اس دعوے کی مستقل جانچ کر رہے ہیں۔ تین محققین نے ایک کھلے خط میں چेतاؤ کیا کہ شرکت کو تصدیق کے طور پر نہیں سمجھنا چاہئے۔ محققین نے کہا کہ اتنے اہم نتائج کے لیے سخت مستقل جانچ اور ایک وضاحت درکار ہے جسے دوسرے محققین دوبارہ بناسکیں، چیلنج کر سکیں اور ترقی دے سکیں۔ اوپن اے آئی کا کہنا ہے کہ شرکاء غیر معاوضہ ہیں اور انہوں نے کوئی غیر فاش کرنے والی معاہدہ نہیں کیا۔ اوپن اے آئی نے تمام اصل ڈیٹا جاری کرنے اور نتائج پر ایک کانفرنس کا خرچ برداشت کرنے پر رضامندی ظاہر کی ہے۔
اوپن اے آئی نے ہوشداری دی ہے کہ مفید الگورتھمز کی شناخت اور نظریاتی ترقی کو عملی فائدے میں تبدیل کرنے کے لیے مزید بڑی تحقیق کی ضرورت ہوگی۔ یہ پیپر یہ ثابت نہیں کرتا کہ تمام NP مسائل کے لیے سب ایکسپونینشل وقت کے حل ممکن ہیں۔ P میں وہ مسائل شamil ہیں جنہیں کمپیوٹر کارآمد طریقے سے حل کر سکتے ہیں، جبکہ NP میں وہ مسائل شamil ہیں جن کے پیش کردہ حل کارآمد طریقے سے چیک کیے جا سکتے ہیں۔ P بمقابلہ NP، جو یہ پوچھتا ہے کہ کیا کارآمد تصدیق ہمیشہ کارآمد حل کا مطلب ہوتی ہے، اب تک حل نہیں ہوئی۔
انثریپک نے بعد میں کلاؤڈ کو منسوب ایک مقالہ جاری کیا، جس کا عنوان "A 2^o(n) Time Algorithm for 3-SAT" ہے اور تاریخ 26 اکتوبر ہے۔ ساتھ میں دیے گئے ریپوزٹری میں کہا گیا ہے کہ کلاؤڈ کا ایک اندر کا تحقیقی ورژن اس الگورتھم کو دریافت کیا، جو ETH کو بھی حل کرتا ہے۔ ریپوزٹری نے احتیاط کی ہے کہ یہ نتیجہ اسپٹوٹک رفتار سے متعلق ہے اور عملی فارمولا حل کرنے کا کوئی دعویٰ نہیں کرتا۔ کلاؤڈ نے ستمبر میں لین کا استعمال کرتے ہوئے فارمٹ کا آخری نظریہ فارملائز کیا۔ ریاضیدان تیرینس ٹاؤ نے ستمبر میں انتباہ دیا کہ حتیٰ کہ اس مسئلے پر تحقیق کے بارے میں افواہوں سے بھی اصل منصوبہ مکمل طور پر ترقی نہ ہونے تک وسیع AI مدد شدہ کوششیں شروع ہو سکتی ہیں۔
اوپن اے آئی نے حال ہی میں سمنز فاؤنڈیشن کو 5 ملین امریکی ڈالر کا اہداء کیا ہے۔ یہ اہداء تحقیق کاروں کو AI کے ذریعہ پیدا کردہ نتائج کا جائزہ لینے اور ان کو مزید بڑھانے میں مدد کرنے والے ورکشاپس، کانفرنسز اور خصوصی پروگرامز کی حمایت کرے گا۔