اوپن اے آئی (OpenAI) نے 6 اکتوبر 2026 کو اے آئی سے حاصل ریاضی کے نئے نتائج اور ان کی جانچ سے متعلق مواد شائع کیا ہے۔ یہاں اہم سوال یہ ہے: کوئی جواب قائل کرنے والا لگے تو کیا اسے درست ثبوت بھی مان لیا جائے؟ اصل اعلان: اوپن اے آئی
اس خبر کو سمجھنے کے لیے تین باتیں الگ دیکھیں: لکھا ہوا تحقیقی مسودہ، کمپیوٹر کے قابلِ جانچ ثبوت، اور ایسا استدلال جسے ریاضی دان سمجھ اور پرکھ سکیں۔
تحقیقی مسودوں کی تعداد کیا بتاتی ہے؟
اوپن اے آئی کے گٹ ہب (GitHub) ذخیرے میں 722 مسودے، 372 تحقیقی سلسلوں میں منظم ہیں۔ ایک سلسلے میں مرکزی نتیجے کے ساتھ معاون دلیل، اس سے نکلنے والا نتیجہ یا متبادل ثبوت بھی ہو سکتا ہے۔ اس لیے مسودوں کی تعداد کو الگ حل شدہ مسائل کی تعداد کہنا درست نہیں۔ تحقیق کا ذخیرہ اور وضاحت
مسودوں کی موضوع وار فہرست سے اصل مقالہ کھولا جا سکتا ہے۔ کسی نتیجے پر خبر بناتے وقت پہلے اس کا دعویٰ، شرائط اور جانچ کی حالت پڑھنا ضروری ہے۔
جواب اور ثبوت میں کیا فرق ہے؟
ایک آسان مثال لیں: دو جفت اعداد، جیسے 4 اور 6، جمع کرنے سے 10 ملتا ہے۔ یہ ایک مثال ہے۔ ہر دو جفت اعداد کا مجموعہ جفت ہونے کی دلیل یہ ہے کہ دونوں کو دو کے ضرب کے طور پر لکھ سکتے ہیں؛ جمع کرنے کے بعد بھی دو مشترک رہتا ہے۔
چند مثالیں درست نکلنا اور عمومی دعوے کی دلیل دینا الگ کام ہیں۔ یہی فرق مشکل تحقیق میں بھی اہم ہے۔ یہ ہماری سمجھانے کی مثال ہے، جاری کردہ تحقیق کا نتیجہ نہیں۔
لین میں ثبوت کی جانچ کیسے ہوتی ہے؟
لین (Lean) ایک پروگرامنگ زبان اور ریاضی کے ثبوت جانچنے کا نظام ہے۔ اس میں تعریفیں، مفروضے اور دلیل باقاعدہ صورت میں لکھے جاتے ہیں تاکہ کمپیوٹر منطقی مراحل جانچ سکے۔ لین کی تعارفی دستاویزات
اس ریلیز میں کچھ نتائج کے لیے لین کا مواد موجود ہے۔ مگر ریپوزٹری واضح کرتا ہے کہ نتائج جانچ کے مختلف مراحل میں ہیں؛ ہر نتیجہ لین میں نہیں لکھا گیا، اور بعض غیر رسمی نتائج میں غلطی ہو سکتی ہے۔ جانچ کی حدود
کسی دعوے کا باقاعدہ ثبوت جانچنا، اس کا نیا یا اہم ہونا طے کرنے سے مختلف سوال ہے۔ اصل بیان میں کون سی شرائط ہیں، اور اس کا تعلق پہلے کام سے کیا ہے، یہ بھی پڑھنا ہوتا ہے۔
تین گھنٹے والی بات کا مطلب کیا ہے؟
اوپن اے آئی نے منتخب نتائج کے لیے استدلال کے 10 خلاصے بھی دیے ہیں۔ اس کے مطابق اوسط نتیجے پر استعمال ہونے والی کمپیوٹنگ تقریباً چیٹ جی پی ٹی پرو (ChatGPT Pro) کی تین گھنٹے کی سوچ کے برابر تھی۔ یہ کمپیوٹنگ کا تقابلی اندازہ ہے؛ ہر مسئلے کے تین گھنٹے میں حل ہونے کا وعدہ نہیں۔ شفافیت سے متعلق تفصیل
تحقیق بنانے والا ماڈل ابھی اندرونی اور غیر جاری شدہ ہے۔ اعلان میں عام دستیابی کی تاریخ نہیں دی گئی۔ اس خبر سے اپنے چیٹ جی پی ٹی اکاؤنٹ میں وہی صلاحیت دستیاب ہونے کا نتیجہ اخذ نہیں کیا جا سکتا۔
انسانی سمجھ اور آزاد جانچ کیوں ضروری ہیں؟
اوپن اے آئی کہتا ہے کہ اس نے نتائج جاری کرنے کے طریقے پر ایک آزاد ریاضی و اے آئی مشاورتی گروپ سے مشاورت کی۔ اسے ہر ثبوت کی آزاد تصدیق سمجھنا درست نہیں۔ گروپ کی 29 ستمبر کی سفارشات انسانی سمجھ، سابقہ تحقیق کے حوالوں اور ذمہ داری پر زور دیتی ہیں۔ وہ ناقابلِ رسائی، ملکیتی ماڈلوں پر جدید ریاضی کی آزمائش کی حمایت بھی نہیں کرتیں۔
ایک ریاضی دان کے لیے صرف نتیجہ دیکھنا کافی نہیں: دلیل سمجھانا، سوالوں کا جواب دینا اور اس کی صحت کی ذمہ داری لینا بھی تحقیق کا حصہ ہے۔
طالب علم اور استاد اس خبر سے کیا سیکھ سکتے ہیں؟
کسی اے آئی جواب کو پڑھتے وقت تین سوال ساتھ رکھیں:
- دعویٰ کیا ہے؟ اسے اپنے الفاظ میں ایک جملے میں لکھیں۔
- کن شرائط پر درست ہے؟ دیکھیں دلیل میں کوئی شرط چھوٹ تو نہیں گئی۔
- جانچ کا راستہ کیا ہے؟ مثال خود حل کریں، اصل حوالہ پڑھیں، اور مشکل ثبوت اہلِ علم سے سمجھیں۔
ریاضی کی کلاس میں اوپر والی جفت اعداد کی مثال سے آغاز کیا جا سکتا ہے: پہلے بچے مثالیں دیں، پھر بتائیں کہ عمومی دلیل کیوں چاہیے۔
پچھلا پس منظر جاننے کے لیے ہماری اوپن اے آئی کی ریاضی میں دس پیش رفت کی اردو وضاحت پڑھیں۔ کلاس کی تیاری کے لیے گائیڈز کے حصے میں اساتذہ، اسکول اور مدارس کی موجودہ اردو گائیڈ بھی موجود ہے۔
ادارتی وضاحت: یہ مضمون شائع شدہ بنیادی ماخذ کی وضاحت ہے۔ اردو اے آئی نے ان مسودوں کے ثبوت خود جانچنے کا دعویٰ نہیں کیا۔ ماخذ اور تعداد 6 اکتوبر 2026 کو دیکھے گئے؛ تحقیق کا ذخیرہ بعد میں بدل سکتا ہے۔ سرورق اے آئی سے بنایا گیا تصوراتی خاکہ ہے، اصل ثبوت کی تصویر نہیں۔
