دو جدید ترین اے آئی نظاماں نے، الگ الگ کم کردیاں، اوہ کر دکھایا جہڑا تن دہائیاں چ کوئی انسانی ریاضی دان نہ کر سکیا: ایکسپونینشل ٹائم ہائپوتھیسس (ETH) دی تردید۔
OpenAI نے اعلان کیتا کہ اس دے ریسرچ ماڈل نے 16 اکتوبر نوں ETH دی قدرتی بولی چ تردید لبھی تے اگلے دن اوہدے نوں مشینی ثبوت چیکر Lean چ رسمی روپ دتا گیا۔ 67 صفحیاں دے مخطوطے چ لکھاری وجوں "OpenAI" لکھیا اے۔
کجھ گھنٹے پہلاں، Anthropic نے اپنا 49 صفحیاں دا مقالہ "A 2^o(n) Time Algorithm for 3-SAT" چھاپیا، جہڑا "Claude, Anthropic" دے ناں نال جڑیا اے۔ اک اندرونی Claude ریسرچ ماڈل نے اوہدے دن، 16 اکتوبر نوں، بنیادی الگورتھم لبھیا۔
Russell Impagliazzo تے Ramamohan Paturi ولوں تقریباً 1999 چ پیش کیتی گئی ETH آخدی اے کہ کوئی وی الگورتھم بولین سیٹسفائبلیٹی مسئلے نوں ایکسپونینشل ویلے توں تیز حل نئیں کر سکدا۔ ایہہ گراف تھیوری، ڈیٹابیس، کمپیوٹیشنل بائیولوجی تے کمپیوٹیشنل جیومیٹری چ سینکڑے مشروط سختی دے نتیجیاں دی نیہہ اے۔
دونے ٹیماں ہن دعویٰ کردیاں نیں کہ اک حتمی الگورتھم ذیلی ایکسپونینشل ویلے چ تسکین بخش تفویضاں گندا اے، تے ایکسپوننٹ دا مکھ انگ دوہاں چ اکو جہیا اے۔ جے دعویٰ ٹک گیا، کمپلیکسیٹی تھیوری دی اک بھاری چکیان والی کندھ ڈِگ پووے گی۔
تصدیق دا نظام غیر معمولی طور تے مضبوط اے۔ ثبوت Lean چ رسمی اے، جہڑا ہر قدم دی مشینی جانچ کردا اے۔ جاری مواد دا جائزہ لین والے TU Wien دے Stefan Szeider نوں امید اے کہ ایہہ جانچ چ ٹِک جاوے گا۔ سبھ توں حیران کرن والی گل: OpenAI نے جہڑی آزاد جائزہ کمیٹی بنائی اے اوہدے چ خود Impagliazzo تے Paturi شامل نیں - مفروضے بنان والے اوہدی تردید دی خود جانچ کر رہے نیں۔ اوہناں دے کھلے خط چ لکھیا اے کہ ایہہ کمپیوٹر سائنس دا اک اہم حصہ بدل سکدا اے۔
حداں وی نتیجے ورگیاں اہم نیں۔ P بنام NP نوں کجھ نئیں ہویا۔ نواں الگورتھم ہلے وی سپر پولینومیل اے، اس کرکے ایہدے نال کوئی تیز SAT سالور نئیں بن دا۔ جہڑا بدلیا اوہ نظریاتی امکان دا نقشہ اے، تے ایہہ کہ اوہنوں کون - یا کیہ - مڑ بنا رہیا اے۔
کاروباری آگوآں لئی اشارہ ریاضی چ نئیں۔ اشارہ ایہہ اے کہ اے آئی لکھائی تے کوڈ لکھن توں اگے ودھ کے اصلی، مشینی تصدیق شدہ تحقیق کرن لگی اے۔ "مشیناں نویں سائنس نئیں کر سکدیاں" والی مفروضے نوں ہنی زور دا وار لگیا اے، تے صلاحیت دی سرحد ہن زیادہ تر منصوبہ بندی دے چکراں نالوں تیز اے۔
جہڑیاں کمپنیاں اے آئی نوں ٹائپسٹ نئیں، تحقیقی ساتھی سمجھاں گیاں، اوہی اگلی دہائی دی رفتار ٹھہرون گیاں۔
ریاضی دے نال سوچو۔ عقل نال انجینئرنگ کرو۔ حکمت عملی نال اگوائی کرو۔ ذمے داری نال بناؤ۔ دنیا بھر وچ ودھاؤ۔ مصنوعی ذہانت نال اصل کاروباری قدر پیدا کرو۔
