ایک خصوصی ملاقات جہاں ریاضی دان مصنوعی ذہانت کو شکست دینے کی کوشش کرتے ہیں۔

مئی کے وسط میں ایک ہفتے کے آخر میں ریاضی کی دنیا کی ایک خفیہ میٹنگ ہوئی۔ دنیا کے 30 سرکردہ ریاضی دانوں نے خفیہ طور پر برکلے، کیلیفورنیا، امریکہ کا سفر کیا تاکہ ایک چیٹ بوٹ کے ساتھ تصادم میں شرکت کی جاسکے جو "استدلال" کے قابل ہے۔ چیٹ بوٹ کو خود ریاضی دانوں کے لکھے ہوئے مسائل حل کرنے کا کام سونپا گیا تھا، تاکہ اس کی مسئلہ حل کرنے کی صلاحیتوں کو جانچا جا سکے۔

پروفیسر کی سطح کے سوالات کے مسلسل دو دن کے بعد، ریاضی دان یہ جان کر حیران رہ گئے کہ یہ چیٹ بوٹ تاریخ میں اب تک حل کیے گئے کچھ مشکل ترین مسائل کو حل کر سکتا ہے۔

یونیورسٹی آف ورجینیا کے پروفیسر اور میٹنگ کے چیئر اور جج کین اونو نے سائنٹیفک امریکن کو بتایا، "میں نے ساتھیوں کو یہ کہتے ہوئے دیکھا کہ زبان کا یہ بڑا ماڈل ریاضیاتی ذہانت کی سطح پر پہنچ رہا ہے۔"

ہماری توجہ حاصل کرنے والا چیٹ بوٹ o4-mini سے تقویت یافتہ ہے، ایک بڑی زبان کا ماڈل (LLM) جو پیچیدہ استدلال کے لیے ڈیزائن کیا گیا ہے۔ یہ OpenAI کی پیداوار ہے اور اسے نفیس استدلال کرنے کی تربیت دی جاتی ہے۔ گوگل کے مساوی ماڈل جیمنی 2.5 فلیش میں بھی ایسی ہی صلاحیتیں ہیں۔

پچھلے ChatGPT LLMs کی طرح، o4-mini ٹیکسٹ سٹرنگ میں اگلے لفظ کی پیشین گوئی کرنا سیکھتا ہے۔ تاہم، o4-mini ایک ہلکا، زیادہ لچکدار ورژن ہے جسے گہرے ڈیٹا پر تربیت دی گئی ہے اور انسانوں کے ذریعے قریب سے ٹیون کیا گیا ہے — جس سے اسے ریاضی کے مسائل کا پتہ لگ سکتا ہے جن تک پچھلے ماڈلز نہیں پہنچ سکتے تھے۔

o4-mini کی صلاحیتوں کو جانچنے کے لیے، OpenAI نے Epoch AI سے کہا، جو کہ LLM ماڈلز کی جانچ میں مہارت رکھتا ہے، 300 پہلے غیر مطبوعہ ریاضی کے سوالات تخلیق کرنے کو کہا۔ جب کہ روایتی LLMs بہت سے پیچیدہ مسائل کو حل کر سکتے ہیں، جب مکمل طور پر نئے سوالات کے ساتھ چیلنج کیا جاتا ہے، تو ان میں سے اکثر نے 2% سے بھی کم درست پایا، جس سے یہ ظاہر ہوتا ہے کہ وہ صحیح معنوں میں استدلال کے قابل نہیں تھے۔

نئے تشخیصی منصوبے میں، Epoch AI نے نوجوان ریاضی دان ڈاکٹر ایلیٹ گلیزر کو اپنے لیڈر کے طور پر بھرتی کیا۔ نیا پروجیکٹ، جسے فرنٹیئر میتھ کہا جاتا ہے، ستمبر 2024 سے تعینات کیا جائے گا۔

پروجیکٹ مشکل کی چار سطحوں پر نئے سوالات جمع کرتا ہے، انڈر گریجویٹ، گریجویٹ سے لے کر جدید تحقیق تک۔ اپریل 2025 تک، گلیزر نے پایا کہ o4-mini تقریباً 20% مسائل کو حل کر سکتا ہے۔ لہٰذا وہ سطح 4 کی طرف بڑھ گیا — اس سے ان مسائل کو حل کرنے کے لیے کہا گیا جن سے ترقی یافتہ ریاضی دان بھی جدوجہد کریں گے۔

شرکاء کو ایک رازداری کے معاہدے پر دستخط کرنے پر مجبور کیا گیا تھا اور وہ صرف خفیہ کردہ ایپ سگنل کے ذریعے بات چیت کر سکتے تھے، کیونکہ ای میل کا استعمال LLM کو مواد کو اسکین کرنے اور "سونف" کرنے کی اجازت دے سکتا ہے، اس طرح تشخیصی ڈیٹا کو غلط ثابت کر سکتا ہے۔

ہر وہ مسئلہ جسے o4-mini حل نہیں کر سکتا سائل کو 7,500 USD کا انعام دے گا۔

ابتدائی ٹیم نے سوالات کے ساتھ آنے میں سست، لیکن مستحکم پیشرفت کی۔ لیکن گلیزر نے 17-18 مئی کو ذاتی طور پر میٹنگ کر کے چیزوں کو تیز کرنے کا فیصلہ کیا۔ حصہ لینے والے 30 ریاضی دانوں کو چھ گروپوں میں تقسیم کیا گیا تھا، جو ایک دوسرے کے خلاف مقابلہ کر رہے تھے- مسائل کو حل کرنے کے لیے نہیں، بلکہ ایسے مسائل کو سامنے لانے کے لیے جنہیں AI حل نہیں کر سکتا تھا۔

17 مئی کی شام تک، کین اونو چیٹ بوٹ سے مایوس ہونا شروع ہو گیا تھا، جو ریاضی کی مہارت کی سطح کو توقع سے کہیں زیادہ دکھا رہا تھا، جس سے ٹیم کے لیے اسے "ٹریپ" کرنا مشکل ہو گیا تھا۔ "میں ایک مسئلہ لے کر آیا ہوں جسے فیلڈ کے ماہرین نمبر تھیوری میں ایک کھلے مسئلے کے طور پر تسلیم کریں گے - یہ مسئلہ پی ایچ ڈی کے لیے موزوں ہے،" انہوں نے کہا۔

نتیجے کے طور پر، جب اس نے o4-mini سے پوچھا، تو وہ چیٹ بوٹ کا تجزیہ، وجہ، اور صرف 10 منٹ میں درست حل کے ساتھ آتے دیکھ کر دنگ رہ گیا۔ خاص طور پر، پہلے دو منٹوں میں، اس نے تمام متعلقہ دستاویزات کو سیکھا اور پکڑ لیا۔ پھر، اس نے تجویز پیش کی کہ مسئلہ کا ایک آسان ورژن آزمایا جائے تاکہ اس سے رجوع کیا جائے۔

پانچ منٹ بعد، چیٹ بوٹ نے پراعتماد — حتیٰ کہ مغرور — لہجے میں بات کرتے ہوئے، درست جواب دیا۔ اونو کہتے ہیں، "یہ گستاخ ہونا شروع ہو گیا، اور اس نے مزید کہا: 'کوٹیشن کی ضرورت نہیں کیونکہ میں نے خفیہ نمبر کا پتہ لگا لیا تھا!'"

اے آئی کے ہاتھوں شکست کھا کر، 18 مئی کی صبح، اونو نے فوری طور پر سگنل کے ذریعے ٹیم کو انتباہی پیغام بھیجا۔ انہوں نے کہا کہ میں اس طرح کے ماڈل سے نمٹنے کے لیے مکمل طور پر تیار نہیں تھا۔ "میں نے کمپیوٹر ماڈل میں اس طرح کی استدلال کبھی نہیں دیکھی تھی۔ یہ ایسا سوچ رہا تھا جیسا کہ ایک حقیقی سائنسدان سوچے گا۔ اور یہ خوفناک تھا۔"

اگرچہ ریاضی دان آخرکار 10 سوالات تلاش کرنے میں کامیاب ہو گئے جنہوں نے o4-mini کو سٹمپڈ کر دیا، لیکن پھر بھی وہ صرف ایک سال میں AI کی ترقی کی رفتار سے اپنے صدمے کو چھپا نہیں سکے۔

اونو o4-mini کے ساتھ کام کرنے کے تجربے کا موازنہ ایک انتہائی باصلاحیت ساتھی کے ساتھ کام کرنے سے کرتا ہے۔ اور یانگ ہوئی ہی، لندن انسٹی ٹیوٹ آف میتھمیٹیکل سائنسز کے ایک ریاضی دان اور ریاضی میں AI کو لاگو کرنے کے علمبردار، تبصرہ کرتے ہیں: "یہ وہی ہے جو ایک بہت ہی باصلاحیت پی ایچ ڈی طالب علم کر سکتا ہے - اور اس سے بھی زیادہ۔"

اور یہ واضح رہے کہ AI یہ کام انسانوں کے مقابلے میں بہت تیزی سے کرتا ہے۔ اگرچہ اسے حل کرنے میں انسانوں کو ہفتوں یا مہینے لگتے ہیں، o4-mini میں صرف چند منٹ لگتے ہیں۔

o4-mini کے ارد گرد جوش و خروش اس کے خدشات کے بغیر نہیں ہے۔ Ono اور He دونوں خبردار کرتے ہیں کہ o4-mini کی صلاحیتیں لوگوں کو حد سے زیادہ پر اعتماد بنا سکتی ہیں۔ وہ کہتے ہیں، "ہمارے پاس ثبوت کے ذریعے ثبوت، تضاد کے ذریعے ثبوت، اور اب ثبوت… زبردست،" وہ کہتے ہیں۔ "اگر آپ کافی اعتماد کے ساتھ کچھ کہتے ہیں، تو لوگوں کو ڈرایا جائے گا۔ میرے خیال میں o4-mini نے اس قسم کے ثبوت میں مہارت حاصل کر لی ہے: یہ سب کچھ بڑے اعتماد کے ساتھ کہتا ہے۔"

میٹنگ ختم ہوتے ہی ریاضی دان ریاضی کے مستقبل کے بارے میں سوچنے لگے۔ انہوں نے "پانچویں سطح" کے امکان پر تبادلہ خیال کیا - ایسے سوالات جنہیں دنیا کے بہترین ریاضی دان بھی حل نہیں کر سکتے۔ اگر AI اس حد تک پہنچ جاتا ہے تو، ریاضی دانوں کا کردار ڈرامائی طور پر تبدیل ہو جائے گا: شاید وہ سوال کرنے والے بن جائیں گے، نئے ریاضیاتی سچائیوں کو دریافت کرنے کے لیے AI استدلال کے ساتھ بات چیت کریں گے اور رہنمائی کریں گے — جس طرح ایک پروفیسر ایک گریجویٹ طالب علم کے ساتھ کام کرتا ہے۔

اونو نے کہا، "میں اپنے ساتھیوں کو ایک طویل عرصے سے کہہ رہا ہوں کہ یہ سوچنا بہت بڑی غلطی ہو گی کہ جنرل AI کبھی نہیں ہو گا، کہ یہ صرف ایک کمپیوٹر ہے۔" "میں گھبرانا نہیں چاہتا، لیکن کچھ طریقوں سے یہ بڑے زبان کے ماڈلز پہلے ہی دنیا کے بہترین پی ایچ ڈی طلباء کو پیچھے چھوڑنا شروع کر رہے ہیں۔"

(ویتنام+)

ماخذ: https://www.vietnamplus.vn/cuoc-gap-go-dac-biet-noi-cac-nha-toan-hoc-tim-cach-danh-bai-tri-tue-nhan-tao-post1043183.vnp