شاید AI نے کمپیوٹر سائنس کی ایک سب سے بنیادی فرضیہ کو چیلنج کر دیا ہے۔ لیکن بڑی کہانی ETH نہیں ہے۔ 26 اکتوبر کو، OpenAI نے اعلان کیا کہ ایک اندر کا AI ماڈل نے ایک دعویٰ کردہ Exponential Time Hypothesis (ETH) کی رد عمل پیش کی ہے — ایک ایسی بنیادی تصور جو سینکڑوں کمپوٹیشنل hardness نتائج کی بنیاد ہے۔ دعوا: مخصوص چوڑائی والے Boolean فارمولا میں مطابقت پذیر تفویضوں کی درست شمارش کے لیے ایک تعینات، سب ایکسپونینشل ٹائم الگورتھم۔ اگر یہ درست ہو گیا، تو ETH گر جائے گا۔ اور کئی مضبوط تر تصورات بھی۔ لیکن P ≠ NP ابھی تک حل نہیں ہوا۔ اور نظریہ طور پر تیز ہونا ضروری طور پر عملی طور پر مفید نہیں ہوتا۔ اس ثبوت کو Lean میں فارمالائز کر دیا گیا ہے۔ Russell Impagliazzo، Ramamohan Paturi، اور MIT کے Ryan Williams کی طرف سے ایک مستقل جانچ کا اہتمام کیا جا رہا ہے۔ ان کی شمولیت کسی تائید کا مطلب نہیں۔ مستقل تصدیق ضروری ہے۔ میرا نقطہ نظر: ہم شاید ایک نہ بلکہ تین انقلابات کا مشاہدہ کر رہے ہیں۔ ریاضیاتی: طوائل عرصے سے موجود ایک کمپوٹیشنل کمپلکسٹی کا رکاوٹ شاید ختم ہو گیا ہے۔ سائنسی: AI شاید محققین کو مدد دینے سے آگے بڑھ کر حقیقی طور پر نئے علم پیدا کرنے لگا ہے۔ اداروں کا: سائنسی برادری کو ڈسکورورز کو تصدیق، سمجھنا، سراہنا، اور دوبارہ پیدا کرنے کے طریقے دوبارہ سوچنے ہوں گے۔ تیسرا شاید سب سے زیادہ اثر انگاز ثابت ہو۔ سینکڑوں سالوں تک، فرنٹیر لول کے درجات کے در discoveries پیدا کرنے کے لئے نایاب انسانی ماہرین اور سالوں کا تحقیق درکار تھا۔ جب AI انسانوں سے زیادہ تیزی سے قابلِ اعتبار ریاضیاتی در discoveries پیدا کر سکتا ہو تو کیا ہوگا؟ رکاوٹ اب در discoveries سے تصدیق، تشریح، اور سائنسی ججمنٹ پر منتقل ہو رہی ہے۔ اور آخرکار، AI شاید ان عملوں کو بھی ت прискار کر دے گا۔ حقیقی موڑ صرف AI کا ایک مشہور مسئلہ حل کرنا نہیں۔ بلکہ AI کا بار بار انسانی علم کے فرنٹیر کو وسعت دینا ہے۔ ہم ابھی تک بالکل وہاں نہیں پہنچے۔ لیکن اس ترقی کو سنگین توجہ درکار ہے۔ سوال اب صرف AI کتنے ذكاء والा بن سکتا ہے؟ نہीں۔ بلکہ ہمارے سائنسی ادارے AI کے در discoveries کو جانچنے کے لئے کافی تیز رفتار ترقی کر پائینگے؟ OpenAI اعلان: https://t.co/G0p0VEMjlC تحقیق کے مقالات اور Lean فارمالائزشن: https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI
