اوپن اے آئی کا کہنا ہے کہ ایک AI ماڈل نے ایکسپونینشل ٹائم ہائپوتھیسس (ETH) کو منسوخ کر دیا ہے، جس نے 27 سال تک تحقیق کرنے والوں کے ذریعہ استعمال کی جانے والی ایک فرضیہ کو چیلنج کیا۔ ماڈل نے 3-SAT منطقی مسئلے کے لیے ایک تیز تر الگورتھم تیار کیا۔ اوپن اے آئی کا سسٹم 16 اکتوبر کو قدرتی زبان میں ثبوت پیدا کر گیا۔ ٹیم نے اگلے دن اس ثبوت کو لین میں ترجمہ کیا، جس سے سافٹ ویئر نے ہر منطقی مرحلہ کی جانچ کی۔
شائع کیا گیا الگورتھم n متغیروں پر مشتمل ایک ان پٹ کے لیے تقریباً 2^(n/√log n) مرحلے لیتا ہے۔ یہ رن ٹائم ETH کے ذریعہ پیش گوئی کی گئی ایکسپونینشل نچلی حد کو کم کرتا ہے لیکن عملی заастہ کے لیے اب بھی بہت سست ہے۔ OpenAI نے چेतاؤ دیا ہے کہ عملی تیزی حاصل کرنے کے لیے مزید بڑی تحقیق کی ضرورت ہے۔ UC San Diego کے Russell Impagliazzo اور Ramamohan Paturi، اور MIT کے Ryan Williams اس جائزے کی قیادت کریں گے۔ OpenAI نے نیویر-اسٹوکس کے ایک پہلے تنازع کے بعد اس دریافت کے لیے سائنسی سفارش نہیں کی ہے۔
اِمپاگلیازو اور پاٹوری نے 1999 میں ETH متعارف کرایا۔ یہ فرضیہ 3-SAT سے متعلق ہے، جو یہ پوچھتی ہے کہ کیا متغیرات کو سچ یا جھوٹ کی قیمتیں دی جا سکتی ہیں جبکہ ہر منسلک شرط کو پورا کیا جائے۔ ایک پیشکش شدہ حل کو تصدیق کرنا آسان ہے، لیکن ہر اضافی متغیر سے تلاش کے لیے ممکنہ ترکیبات کی تعداد دگنی ہو جاتی ہے۔ ETH دعویٰ کرتا ہے کہ بدترین صورت میں کوئی الگورتھم اس تھریمیک نمو سے بچ نہیں سکتا۔ OpenAI کے مطابق، گراف تھیوری، کمپوٹیشنل بائیولوجی اور ڈیٹا بیسز میں حسابی مشکلات کو ثابت کرنے کے لیے سینکڑوں پیپرز نے اس فرضیہ کا استعمال کیا ہے۔ اکرونم ETH کا Ethereum کے ٹکر سے کوئی تعلق نہیں ہے۔
نتیجہ یہ ثابت نہیں کرتا کہ P برابر ہے NP کے۔ P بمقابلہ NP کا سوال یہ پوچھتا ہے کہ کیا وہ تمام مسائل جن کے حل جلدی سے چیک کیے جا سکتے ہیں، انہیں جلدی سے حل بھی کیا جا سکتا ہے؟ ETH نے P ≠ NP سے زیادہ مضبوط دعویٰ کیا ہے، اس لیے ETH کو مسترد کرنا اس وسیع سوال کو فیصلہ نہیں کرتا۔ اوپن اے آئی کے صدر اور ماسہلِ بنانے والے گریگ بروکمن نے اعلان کے کئی گھنٹوں بعد اس فرق پر زور دیا۔ یہ الگورتھم بٹ کوائن یا ایتھریم کے تحفظ کے لیے استعمال ہونے والی کرپٹوگرافی کو ب без تھا۔ بٹ کوائن سائنچر میں الپٹک کریو کرپٹوگرافی استعمال ہوتی ہے، اور یہ الگورتھم اس نظام کے بنیادی ریاضیاتی مسئلے کو حل نہیں کرتا۔
ٹیکساس یونیورسٹی آف آسٹن کے کمپیوٹر سائنس کے پروفیسر سکاٹ آرونسن نے کہا کہ طلبہ نے اسے دعویٰ کردہ رد کی خبر دی۔ پہلے ریاضی کے اہم کاموں نے بھی حسابی حدود کے بارے میں فرضیات کو منسوخ کر دیا تھا۔ اناٹولی کاراٹسوبا نے 1960 میں تقریباً ایک ہفتے میں اینڈرے کولموگوروف کے ضرب کے خیال کو رد کر دیا۔ وولکر اسٹراسن نے 1969 میں معیاری میٹرکس ضرب کی بہترین صلاحیت کو ثابت کرنے کی کوشش کی لیکن اس نے ایک تیز تر طریقہ دریافت کر لیا۔ اب مشینیں ثبوت پیدا کرتی ہیں جنہیں انسان بعد میں سمجھنے کی کوشش کرتے ہیں۔ اسی رلیز میں ہارمونک اینالسس اور ذرات کے فزکس سے متعلق مزید ثبوت بھی دعویٰ کئے گئے۔
کرپٹوگرافر میتھیو گرین نے چیتن کیا ہے کہ AI والٹس کے تحفظ کے لیے استعمال ہونے والے ریاضی کو کمزور کر سکتا ہے۔ بینجمن کوئن، جو BeInCrypto کے مارکیٹ انٹیلی جنس ایکسپرٹ کونسل کا رکن ہیں، نے دلائل دیے کہ فنانس سے دور کے شعبوں میں ہونے والی ترقیات بالآخر مارکیٹس کو بدل سکتی ہیں۔ AI کی ترقیات ڈیجیٹل اثاثوں پر منحصر کمپوٹیشنل مشکل کے فرضیات کو بڑھتے ہوئے ٹیسٹ کر رہی ہیں۔