6 اکتوبر 2026 کو اوپن اے آئی نے اپنے آفیشل بلاگ پر ایک پوسٹ شائع کی جس کا عنوان تھا "ریاضی میں اے آئی کی پیشرفت کا اشتراک کرنا۔” اس نے ابتدائی طور پر 722 ریاضی کے مسودات کو 372 "نتائج والے خاندانوں” میں درجہ بندی کیا، جو اس کے بقول ابھی تک غیر جاری کردہ اندرونی AI ماڈل کے ذریعہ تیار کیے گئے تھے۔ نتائج کا ایک سلسلہ متعلقہ نتائج، متبادل ثبوت، اور منحصر مخطوطات کو گروپ کر سکتا ہے، تاکہ 719 مخطوطات 719 انفرادی اختراعات سے مماثل نہ ہوں۔ کیٹلاگ میں اب 719 مخطوطات کی فہرست ہے، جن میں سے تین دستخط کی غلطیوں (TechCrunch) کی وجہ سے اگلے دن واپس لے لیے گئے ہیں۔ یہ بڑا دعویٰ ہے۔ کچھ کام قابل تصدیق ہیں، کچھ کو پہلے ہی ختم کر دیا گیا ہے، اور زیادہ تر ابھی بھی انسانوں کے پڑھنے کے منتظر ہیں۔
تو کیا اس کا مطلب یہ ہے کہ AI نے اب انسانی ریاضی دانوں یا ریاضی میں مقابلہ کرنے والے AI نظاموں کو مات دے دی ہے؟ نہیں اور نہ ہی یہ نئی چیٹ جی پی ٹی خصوصیت ہے جسے آپ آج ایکٹیویٹ کر سکتے ہیں۔ اس کا کیا مطلب ہے، ہماری نظر میں، یہ ہے کہ AI لیبز اب ریاضی کی دنیا میں دیکھی جانے والی اس سے زیادہ تیزی سے ریاضیاتی تحقیق پیدا کر سکتی ہیں۔ (تمام ذرائع 10 اکتوبر 2026 کو بازیافت کیے گئے تھے۔ جب تک کہ دوسری صورت میں نوٹ نہ کیا گیا ہو، مخطوطہ کے دعوے OpenAI کے ہیں۔)
کیا ہو رہا ہے
OpenAI کے اعلان کے مطابق، کمپنی نے نام نہاد اندرونی سرحدی ماڈلز کے ذریعے لکھے گئے ریاضی کے مضامین کی ایک بڑی تعداد شائع کی ہے۔ ماڈل کو ابھی تک عوام کے لیے جاری نہیں کیا گیا ہے۔ موضوع وسیع ہے۔
- نمبر تھیوری، الجبرا، جیومیٹری، ٹوپولوجی
- امکان اور ریاضیاتی طبیعیات
- کوانٹم الگورتھم اور نظریاتی کمپیوٹر سائنس
OpenAI کا کہنا ہے کہ اس کے ماڈل نے سینکڑوں کھلے یا غیر حل شدہ ریاضی کے مسائل سے نمٹا ہے۔ کچھ نتائج بہت مشہور مسائل کو حل کرتے ہیں۔ ان میں ریمن مفروضہ شامل ہے، جو ہوج قیاس کا ایک خاص معاملہ ہے، اور 4-جہتی کاکیا قیاس ہے۔
وہاں "ٹچ” کے فقرے پر توجہ دیں۔ یہ "حل” سے کہیں زیادہ کمزور دلیل ہے۔ ایک لمحے میں اس پر مزید۔
چند دیگر تفصیلات سامنے آتی ہیں۔
- غیر مساوی اعتماد کی سطح: دی ورج کے مطابق، OpenAI نے نتائج کو تصدیق کے مختلف مراحل میں قرار دیا۔ ہر چیز کو مکمل طور پر تصدیق کے طور پر پیش نہیں کیا جاتا ہے۔
- دبلی پتلی میں، صرف کچھ ثبوتوں کو رسمی شکل دی جاتی ہے۔ کچھ ثبوت لین میں لکھے گئے ہیں، ایک ایسی زبان جو کمپیوٹرز کو مرحلہ وار رسمی ثبوتوں کی تصدیق کرنے کی اجازت دیتی ہے۔ TechCrunch نے رپورٹ کیا کہ 719 سرفہرست نتائج میں سے، تقریباً 300 (تقریباً 42%) کو لین کے طور پر باضابطہ بنایا گیا تھا، جس میں OpenAI نے ماڈل انفرنس (TechCrunch) کے صرف 10 خلاصے شیئر کیے تھے۔
- وافر کمپیوٹنگ طاقت: فارچیون کی رپورٹ کے مطابق، نتائج کے حساب کتاب کا اوسط وقت تقریباً تین گھنٹے تھا۔
- جاری کردہ کوڈ اور فائلیں: The Verge نے GitHub پر پوسٹ کردہ OpenAI مواد کا احاطہ کیا، جس سے مخطوطہ کسی کو بھی دستیاب ہو گیا۔
ہم یہاں کیسے پہنچے: ایک فوری ٹائم لائن
یہ کہیں سے نہیں نکلا۔ اکتوبر کی ریلیز کسی نہ کسی ستمبر کے بعد ہوتی ہے۔
- ستمبر 2026: اوپن میٹر کلیمز۔ اوپن اے آئی نے دعویٰ کیا کہ اس کے ماڈلز نے 100 سے زیادہ دیرینہ مسائل حل کیے ہیں، ایک خود اطلاع شدہ نمبر جس کی آزادانہ طور پر تصدیق نہیں کی گئی ہے۔
- 8 ستمبر 2026: نیویئر اسٹوکس کا دعویٰ۔ OpenAI نے اعلان کیا کہ اس نے Navier-Stokes کے مسئلے کا ایک ورژن حل کر لیا ہے (نرم بیرونی قوتوں کی موجودگی میں)، 166 صفحات پر مشتمل ایک مقالہ اور ایک دبلی شکل (وکی پیڈیا سے تنازعہ کا خلاصہ) شائع کیا ہے۔ یہ مساوات بیان کرتی ہے کہ پانی اور ہوا جیسے سیال کیسے حرکت کرتے ہیں، اور یہ مسئلہ Clay Millennium Prize کے مسائل میں سے ایک ہے۔ ریٹریکشن واچ کے مطابق، دعویٰ نے جلد بازی میں ریلیز ہونے اور پچھلی انسانی تحقیق کے کریڈٹ پر ردعمل کو جنم دیا، 8,000 سے زیادہ محققین نے خدشات کی حمایت کی۔ کلے میتھمیٹکس انسٹی ٹیوٹ نے کہا کہ تصدیق کا عمل "جان بوجھ کر جلدی نہیں” تھا اور اس مسئلے کو "فعال” اور غیر حل شدہ کے طور پر درج کیا گیا تھا، اور برطانوی ریاضی دانوں کی طرف سے لکھے گئے ایک حالیہ مقالے میں اشارہ کیا گیا تھا کہ تحریری ثبوت اور لین کوڈ کہاں سے الگ ہو جاتے ہیں (TechCrunch)۔
- اکتوبر سے پہلے: بیرونی جائزہ کار شامل ہیں۔ اس تنقید کے بعد، OpenAI نے کہا کہ اس نے انسٹی ٹیوٹ فار ایڈوانسڈ اسٹڈی کے زیر اہتمام ریاضی کے ایک آزاد ایڈوائزری گروپ کے ساتھ کام کیا۔
- 6 اکتوبر 2026: بڑا ڈراپ۔ 722 مخطوطات، 372 رزلٹ گروپس ایک ساتھ۔ The Print نے اسے "ریاضی دانوں کے لیے ایک طویل انتظار کی مائن فیلڈ” کی پیشکش کے طور پر بیان کیا۔
- 7 اکتوبر 2026: تین مخطوطات واپس لے لیے گئے۔ تینوں کاغذات واپس لے لیے گئے کیونکہ کوڈنگ کی غلطی نے ایک مخطوطہ میں استعمال ہونے والی تعمیر اور اس پر انحصار کرنے والے دو کاغذات کی دلیل کو توڑ دیا۔ ریٹریکشن واچ کے مطابق، OpenAI نے پروف ریڈنگ کی مرمت اور نظر ثانی شدہ بیانات کے ساتھ 14 دیگر مخطوطات پر بھی نظر ثانی کی۔ یہ کیٹلاگ میں 719 رہ جاتا ہے۔
یہ کس پر اثر انداز ہوتا ہے؟
آئیے پہلے سب سے بڑی الجھن کو دور کریں۔
کیا یہ ایک نئی ChatGPT خصوصیت ہے جسے میں استعمال کر سکتا ہوں؟ نہیں اس مخطوطہ کے پیچھے ماڈل اندرونی اور غیر مطبوعہ ہے۔ اگر آپ ویب، فون، یا پلس یا پرو پلانز کے ذریعے ChatGPT استعمال کرتے ہیں، تو کچھ بھی نہیں بدلا ہے۔ کوئی نیا بٹن نہیں ہے، کوئی نیا "ریاضی موڈ” نہیں ہے۔ آپ بلاگ پوسٹس پڑھ سکتے ہیں اور بغیر کسی اکاؤنٹ یا ایپ کے مفت فائلز براؤز کر سکتے ہیں۔
لوگ اس کو پسند کرتے ہیں۔ کرو اس وقت آپ پر کیا اثر پڑتا ہے:
- پیشہ ور ریاضی دانہمیں بہت ساری نئی ریلیزز چیک کرنے کی درخواستیں موصول ہو رہی ہیں۔
- گریجویٹ طلباء اور ابتدائی کیریئر کے محققینایک شخص جو اس بات کی فکر کرتا ہے کہ اس کے مطالعہ کے شعبے کا کیا ہوگا (مزید پڑھیں The Reaction)۔
- طلباء اور اساتذہکوئی بھی جو یہ جاننا چاہتا ہے کہ آیا AI اب قابل اعتماد طریقے سے "ریاضی کر سکتا ہے”۔ ایماندارانہ جواب: آپ متاثر کن لیڈز پیدا کر سکتے ہیں، لیکن وہ اس وقت تک ثبوت نہیں ہوتے جب تک کوئی ان کی تصدیق نہ کرے۔
- جو AI ریس کی پیروی کرتا ہے۔ OpenAI، Google اور Anthropic کے درمیان۔
"AI نے 372 مسائل کو حل کیا” کیوں کہنا آپ کے خیال سے کہیں زیادہ پیچیدہ ہے۔
کیا اوپن اے آئی نے واقعی ریمن کے مفروضے کو حل کیا ہے؟
نہیں OpenAI نے دعویٰ نہیں کیا کہ ایسا ہی تھا۔ کمپنی کا کہنا ہے کہ کچھ نتائج چھو ریمن مفروضہ اور دیگر مشہور مسائل۔ اس کا مطلب عام طور پر متعلقہ کاموں، خصوصی معاملات، یا ضمنی سوالات پر کام کرنا ہے۔ اس کے بارے میں سوچیں جیسے کسی مشہور عمارت میں ٹپکنے والے نل کو ٹھیک کرنا۔ یہ حقیقی کام ہے، لیکن ہم نے پوری عمارت کی تزئین و آرائش نہیں کی ہے۔
کچھ حل کیوں واپس لیے جا رہے ہیں؟
کیونکہ ریاضی ناقابل معافی ہے۔ کہیں بھی ایک غلط قدم پورے ثبوت کو ختم کر دیتا ہے۔ ایک علامت کی غلطی کی وجہ سے تین کاپیاں ضائع کر دی گئیں۔ کیونکہ ان میں سے دو پہلی کاپی پر مبنی تھے۔ اس طرح نظام عام طور پر کام کرتا ہے۔ لیکن یہ ظاہر کرتا ہے کہ "شائع شدہ” اور "درست” دو بالکل مختلف چیزیں ہیں۔
TechCrunch کی رپورٹ نے بھی اسی طرح کی بات کی ہے۔ رپورٹ کے مطابق، حل ابھی تک فیلڈ کے معیار پر پورا نہیں اترتے۔
"دبلی پتلی کے طور پر رسمی شکل دینا” کیوں ضروری ہے؟
دبلی پتلی ایک ہجے چیکر کی طرح ہے جو منطق کے بارے میں بہت سخت ہے۔ آپ اپنے ثبوت کو کوڈ جیسی زبان میں لین میں لکھتے ہیں، اور کمپیوٹر ہر قدم کی جانچ کرتا ہے۔ اگر لین اسے قبول کرتا ہے تو، رسمی دعوے رسمی احاطے سے آتے ہیں۔ تاہم، یہ روزمرہ کے معنی میں ‘تصدیق شدہ’ جیسا نہیں ہے۔
تو سب کچھ لین کیوں نہیں لکھا جاتا؟ ثبوت کو دبلی پتلی میں تبدیل کرنا ایک سست اور مشکل کام ہے۔ زیادہ تر جدید ریاضی میں ابھی تک Lean کے لیے ضروری اجزاء موجود نہیں ہیں۔ TechCrunch کے مطابق، صرف 42% سرفہرست نتائج سرکاری ہیں۔
چپکے چپکے کیچز بھی ہیں۔ لن نے بیان کی تصدیق کی۔ دبلی پتلی میں ان پٹ کے طور پر. اگر بیان انگریزی میں لکھے گئے بیان سے پوری طرح میل نہیں کھاتا ہے، تو کمپیوٹر سرخی سے زیادہ تنگ چیز کو قبول کر سکتا ہے۔ یہ فرق ایک بڑی وجہ ہے کہ ریاضی دان اب بھی اس سب پر انسانی نظر چاہتے ہیں۔ یہ کوئی مفروضہ نہیں ہے۔ ٹیک کرنچ، ایک برطانوی اخبار نے وضاحت کی، نیویئر اسٹوکس کے کام میں بالکل اس قسم کا تضاد پایا۔ دبلی پتلی میں ایک سبز نشان اچھی خبر ہے۔ صحیح سوالات پوچھنے کے لیے یہ صرف ایک چیک مارک ہے اور آپ کو اس بارے میں کچھ نہیں بتاتا کہ آیا نتائج نئے ہیں یا اہم۔
تو اصل میں کیا تصدیق ہوئی ہے؟
OpenAI اور آزاد میڈیا کی رپورٹوں کی بنیاد پر، صورتحال یہ ہے:
| دعوی | صورت حال | ذریعہ |
|---|---|---|
| اوپن اے آئی نے 372 سیریز کے 722 مسودات شائع کیے ہیں۔ | تصدیق: پہلے 722 لوگ، 3 واپسی کے بعد 719 لوگ | AI، TechCrunch کھولیں۔ |
| ایک نامعلوم اندرونی ماڈل کے ذریعہ تیار کردہ۔ | OpenAI کے اپنے دعوے؛ ماڈل سامنے نہیں آیا | AI کھولیں۔ |
| تمام نتائج درست ہیں۔ | تصدیق نہیں ہوئی۔ OpenAI خود ان کو توثیق کے مختلف مراحل میں ہونے کے طور پر ظاہر کرتا ہے۔ | کنارہ |
| تمام نتائج دبلی پتلی میں مرتب اور تصدیق شدہ ہیں۔ | نہیں 719 سرفہرست نتائج میں سے، تقریباً 300 (تقریباً 42%) کو دبلی پتلی کے طور پر رسمی شکل دی گئی۔ | ٹیک کرنچ |
| تمام نتائج کا ہم مرتبہ جائزہ لیا گیا ہے۔ | نہیں یہ خود شائع شدہ تحقیق ہے۔ | ٹیک کرنچ |
| کچھ نتائج واپس لے لیے گئے ہیں۔ | مثال: دستخط کی غلطیوں کی وجہ سے 7 اکتوبر کو 3 کو درست کیا گیا، اضافی 14 کو درست کیا گیا۔ | تھرو بیک گھڑی |
| Navier-Stokes حل. | سرکاری طور پر نہیں۔ اوپن اے آئی لین فارملائزیشن کے ذریعے حل کی وکالت کرتا ہے۔ مٹی نے مسئلہ کو ‘فعال’ کے طور پر نشان زد کیا ہے اور تصدیق جاری ہے۔ | ویکیپیڈیا |
یہ کس طرح جمع ہوتا ہے۔
کیا اس کا مطلب یہ ہے کہ OpenAI کی AI ریاضی میں Google یا Anthropic کی AI سے زیادہ ہوشیار ہے؟ ہم یہ نہیں کہہ سکتے اور ابھی تک کوئی اور نہیں کہہ سکتا۔
اس کی وجہ یہ ہے: OpenAI نے اپنی پسند کے کھلے تحقیقی مسائل پر اپنے ماڈلز کا تجربہ کیا۔ ہم نے جس کوریج کا جائزہ لیا ان میں سے کسی نے بھی تازہ ترین کلاڈ یا جیمنی ماڈلز کے لیے مشترکہ، شائع شدہ بینچ مارکس یا آزاد براہ راست موازنہ کی اطلاع نہیں دی۔ ماڈل بھی نجی ہے، اس لیے کوئی اور اس کی جانچ نہیں کر سکتا۔
یہ ایسے ہی ہے جیسے کسی رنر نے اعلان کیا کہ انہوں نے ایک ایسے کورس پر بہت اچھا وقت گزارا جو انہوں نے ٹریک پر کسی اور کے ساتھ نہیں بنایا تھا۔ وقت اچھا ہو سکتا ہے! لیکن دوسرے رنر کے بغیر کوئی بھی اسے فتح نہیں کہہ سکتا۔
| اکتوبر 2026 کو اوپن اے آئی کی ریلیز | Google DeepMind Math AI (جیسے الفا پروف ٹائپ سسٹم) | انتھروپک سے کلاڈ ماڈل | روایتی پیر ریویو ریاضی | |
|---|---|---|---|---|
| میز پر کیا ہے؟ | 722 مخطوطات، 372 نتائج کے گروپ (خود رپورٹ) | اپنی رسمی اور غیر رسمی ریاضی کا مطالعہ کریں۔ | یونیورسل AI ماڈل | آزاد ماہرین کے ذریعہ تصدیق شدہ کاغذات |
| ایک سے ایک بینچ مارکس بمقابلہ دوسرے بینچ مارکس | کچھ بھی پوسٹ نہیں کیا۔ | اس ریلیز کے لیے کوئی مماثلتیں نہیں ہیں۔ | اس ریلیز کے لیے کوئی مماثلتیں نہیں ہیں۔ | قابل اطلاق نہیں۔ |
| آزاد تصدیق | حصہ: تقریباً 42% سرفہرست نتائج باضابطہ طور پر دبلے، بیرونی جائزہ لینے والے، 3 واپس لے لیے گئے | موجودہ ماخذ میں کوئی موازنہ نہیں ہے۔ | موجودہ ماخذ میں کوئی موازنہ نہیں ہے۔ | قبولیت سے پہلے ضروری ہے۔ |
| کیا آپ اسے استعمال کر سکتے ہیں؟ | نہیں، ماڈل جاری نہیں کیا گیا ہے. | یہاں کوئی موازنہ نہیں۔ | کلاڈ عوامی طور پر دستیاب ہے۔ | قابل اطلاق نہیں۔ |
اوپر دیئے گئے تحقیقی ذرائع پر مبنی موازنہ، 10 اکتوبر 2026 کو بازیافت ہوا۔ "کوئی نہیں” کا مطلب ہے کہ اس ذریعہ میں کوئی تصدیق شدہ موازنہ ظاہر نہیں ہوتا ہے۔
نیچے کی سطر: کچھ کہتے ہیں کہ OpenAI اب ریاضی کے تخمینے میں Claude یا Gemini سے "آگے” ہے۔
ردعمل
ریاضی دان تقسیم ہیں، لیکن تقسیم زیادہ تر عمل کے بارے میں ہے بجائے اس کے کہ آیا ریاضی دلچسپ ہے۔ وکالت کرنے والے حقیقی نتائج دیکھتے ہیں۔ ناقدین کا استدلال ہے کہ سینکڑوں غیر جائزہ شدہ مسودات کو ایک ساتھ پھینک دینے سے تصدیق کے اخراجات بلا معاوضہ انسانی ماہرین پر منتقل ہو جاتے ہیں۔ ریکارڈ کے لیے، زیادہ تر تبصرے ان دو پوزیشنوں کے درمیان کہیں آتے ہیں۔
- انتباہ کے ذریعے جذبہ: "میرے خیال میں یہ ریاضی کے لیے بہت اچھا ہے،” ٹورنٹو یونیورسٹی کے ڈین لِٹ نے فارچیون کو بتایا، فنڈز کو ختم ہونے سے روکنے کے لیے انسانی ریاضی کی مہارت کے لیے تعاون کا مطالبہ کیا۔
- "ریاضی 1.0” ختم ہو گیا ہے: UCLA کے ٹیرنس تاؤ نے دلیل دی، جیسا کہ TechCrunch اور Fortune نے نقل کیا ہے، کہ ” وسیع میدان میں کوئی دلچسپی نہ رکھنے والے AI پرامپٹرز خود مختاری سے مسائل کو حل کر رہے ہیں۔”
- معائنہ کا بوجھ: ہارورڈ کی میلنی ووڈ نے کہا کہ ایک بار جب کوئی ماڈل کسی مسئلے کو حل کر لیتا ہے، "لانچ کے وقت، انسان اسے نہیں سمجھ پائیں گے؛ اب کام شروع ہوتا ہے” (TechCrunch)۔
- رہائی کا حکم: کارنیل کے الیکس ٹاؤن سینڈ نے ریٹریکشن واچ کو بتایا کہ اوپن اے آئی کو "پہلے دبلی پتلی توثیق شدہ مخطوطہ شائع کرنا چاہیے تھا۔” MIT کے اینڈریو سدرلینڈ نے فوری واپسی کو "ذمہ دارانہ کام” قرار دیا، لیکن کہا کہ بہت سے ریاضی دان "اوپن اے آئی کے اب تک کے برتاؤ سے مطمئن نہیں ہیں۔”
- سخت ناقدین: NYU کے Tristan Buckmaster نے نیویارک ٹائمز کو بتایا کہ Fortune کے مطابق OpenAI نے ممکنہ طور پر "بطور مستعدی” کا مظاہرہ نہیں کیا۔ ایسوسی ایشن فار ہیومن میتھمیٹکس نامی ایک گروپ نے لانچ کو "طاقت کا مظاہرہ، سائنس کا مظاہرہ” قرار دیا۔
ہم نے AI کی روک تھام کی ذمہ دار اشاعتوں کے لیے سفارشات بھی شائع کی ہیں، IAS کی میزبانی والے مشاورتی گروپ OpenAI کے ساتھ مل کر کام کرنا۔ TechCrunch کی رپورٹ ہے کہ یہ ریلیز کئی ورژنز سے کم ہے، بشمول پہلا ورژن۔ اس کا مطلب ہے کہ عوامی مسائل پر ملکیتی ماڈلز کی جانچ روکنا۔
ہم جو پڑھتے ہیں وہ یہ ہے کہ ردعمل کا مطلب ہے۔ OpenAI تصدیق کا مشکل حصہ باقی سب پر چھوڑ دیتا ہے۔
ہماری رائے
یہ ایک حقیقی اور متاثر کن تحقیقی پیشکش ہے۔ لیکن یہاں کوئی سکور بورڈ نہیں ہے اور یہاں کچھ بھی دستیاب نہیں ہے۔
یہاں آپ کو کس کی پرواہ کرنی چاہئے اور کیوں۔
- روزانہ چیٹ جی پی ٹی صارفین: آج آپ کے لیے کچھ نہیں بدلا۔ اس ماڈل کی توقع کرتے ہوئے اپنے پلان کو اپ گریڈ نہ کریں۔ چیٹ جی پی ٹی میں نہیں۔
- طلباء: اپنے AI ریاضی کے آؤٹ پٹ کو ایک ہوشیار ہم جماعت کے نوٹوں کی طرح برتاؤ کریں۔ آئیڈیاز حاصل کرنے کے لیے یہ بہت اچھا ہے، لیکن ہمیشہ اقدامات کو دو بار چیک کریں۔ اوپن اے آئی کے سرفہرست اندرونی ماڈل نے بھی صرف چند دنوں میں نتائج پیش کیے۔
- AI ریس کی پیروی کرنے والوں کے لیے: اس کی درجہ بندی بطور "امید افزا، غیر ثابت شدہ”۔ مشترکہ بینچ مارکس کے بغیر، ایسی کوئی چیز نہیں ہے جس پر ہم OpenAI، Google، یا Anthropic کے بارے میں بھروسہ کر سکتے ہیں۔
- ریاضی دان اور معلمین: یہ وہ گروپ ہے جو سب سے زیادہ توجہ کا مستحق ہے۔ ماڈل بنانے کے کاموں کا سیلاب ایک حقیقت ہے اور ان کو ایڈجسٹ کرنے کے لیے توثیق کا کوئی عمل موجود نہیں ہے۔
میں اوپن اے آئی کو بیرونی جائزہ کاروں کو لانے، کچھ کام کو باقاعدہ بنانے، اور Navier-Stokes تنازعہ کے بعد ناقص کاغذ کو فوری طور پر واپس لینے کا کریڈٹ دوں گا۔ لیکن "تصدیق کے مختلف مراحل” پر 722 نسخوں کو جاری کرنا یقین سے زیادہ رفتار فراہم کرتا ہے۔ ریاضی میں، یقین کلید ہے.
آگے کیا کرنا ہے۔
اپنے لئے فیصلہ کرنا چاہتے ہیں؟ پہلے OpenAI کا اعلان پڑھیں، اس کے بعد فوراً The Verge کی کوریج۔ کسی کمپنی کے دعووں کو آزاد رپورٹنگ کے آگے رکھنا ہیڈ لائنز اور تصدیق شدہ مواد کے درمیان فرق بتانے کا تیز ترین طریقہ ہے۔
ہوم ورک یا کام کی ریاضی کے لیے ادا شدہ AI پلان پر غور کرنا؟ چیٹ جی پی ٹی پلس، کلاڈ پرو، اور گوگل کے جیمنی پلان تمام اختیارات ہیں۔ کس چیز کی بنیاد پر اپنا انتخاب کریں۔ عوامی یہ ان ماڈلز کا معاملہ نہیں ہے جو آج جاری نہیں ہوئے ہیں۔
ختم
OpenAI نے 6 اکتوبر 2026 کو ایک ٹن ماڈل بنانے کا ریاضی جاری کیا، جو واقعی حیرت انگیز ہے۔ تاہم، یہ Lean میں صرف جزوی طور پر رسمی ہے، اس کی واپسی کے بعد پہلے ہی اسے 719 تک کم کر دیا گیا ہے، اور مخلوط اعتبار کے ساتھ اس کا ہم مرتبہ جائزہ نہیں لیا گیا ہے۔ آپ ChatGPT پر کچھ بھی استعمال نہیں کر سکتے۔
ہماری دیانتدارانہ رائے: یہاں سب سے بڑا سبق یہ ہے کہ AI اب ریاضی کو انسانوں سے زیادہ تیزی سے تیار کر سکتا ہے۔ یہ وہ مسئلہ ہے جسے اگلے پورے فیلڈ کو حل کرنا پڑے گا (امید ہے کہ نیویئر اسٹوکس پیمانے کے سر درد کے بغیر!)