اوپن اے آئی نے 722 ریاضی کے مخطوطات کو شائع کیا جو ایک غیر جاری شدہ داخلی سرحدی ماڈل کے ذریعہ تیار کیا گیا تھا، جس نے مکمل مجموعہ کو Apache-2.0 لائسنس کے تحت عوامی GitHub ذخیرہ میں رکھا تھا۔ ریلیز، جس کا اعلان 6 اکتوبر 2026 کو "ریاضی میں AI کی پیشرفت کا اشتراک" کے عنوان سے ایک تحقیقی پوسٹ میں کیا گیا تھا، AI سے تیار کردہ ریاضی کے نتائج کے اب تک کے سب سے بڑے سنگل ڈمپز میں سے ایک ہے، اور یہ رسمی دبلی پتلی جانچ پڑتال، مختصر استدلال کے خلاصے، اور اس بارے میں غیر معمولی تفصیل کے ساتھ آتا ہے کہ ہر نتیجہ کا کتنا حساب لیا گیا۔
یہ حرکت پہلے سے ہی کنارے پر ایک کھیت میں اترتی ہے۔ نیویارک ٹائمز نے رپورٹ کیا کہ اس ریلیز نے ایک ریاضیاتی کمیونٹی کو مزید بھڑکا دیا جس نے سنجیدہ تحقیقی نتائج پیدا کرنے میں مہینوں AI سسٹمز کے ساتھ جدوجہد کی ہے، جب کہ سائنٹیفک امریکن نے OpenAI کو "پہلے سے ہی صدمے میں گھرے ہوئے فیلڈ پر مزید سینکڑوں ریاضی کے نتائج" کے طور پر بیان کیا۔ تازہ ترین AI ریسرچ ڈیولپمنٹس سے باخبر رہنے والے قارئین کے لیے، ریلیز ایک ٹیسٹ کیس ہے کہ کس طرح فرنٹیئر لیبز کریڈٹ کے تنازعات کو بھڑکائے بغیر مشین سے تیار کردہ سائنس کو شیئر کرتی ہیں۔
ذخیرے کے اندر کیا ہے۔
مجموعہ GitHub پر openai/math repository میں رہتا ہے۔ اس کے README کے مطابق، مواد ریاضی کے مخطوطات اور معاون ثبوت نمونے ہیں جو ایک اندرونی OpenAI ماڈل کے ذریعہ تیار کیے گئے ہیں، جو کھلی تحقیق کے مسائل پر ماڈل کی ترقی کے جائزوں کے حصے کے طور پر جمع کیے گئے ہیں۔ موجودہ کیٹلاگ میں 372 خاندانوں میں ترتیب دیے گئے 722 مخطوطات شامل ہیں، جہاں ایک خاندانی گروہ متعلقہ کاغذات پر مشتمل ہے جس میں پرنسپل نتیجہ، ساتھی دلائل، نتائج، یا متبادل ثبوت شامل ہو سکتے ہیں، جن میں سے ہر ایک کو ریاضی کے نظم کے مطابق درجہ بندی کیا گیا ہے۔
ایک پری پرنٹ ڈائرکٹری میں PDFs، سورس فائلیں، اور فی مخطوطہ حوالہ اور تعمیراتی ہدایات ہوتی ہیں۔ ایک دبلی پتلی لائبریری ان کے متعلقہ کاغذات اور تصدیقی ترتیب کے ساتھ رسمی ثبوتوں کو کیٹلاگ کرتی ہے۔ ہر مخطوطہ کو رسمی شکل نہیں دی گئی ہے: بہت سے نتائج لین میں رسمی شکل کے ساتھ ہوتے ہیں، پروگرامنگ لینگویج کمپیوٹرز کو لائن بہ لائن ثبوت چیک کرنے دیتی ہے، لیکن README خبردار کرتا ہے کہ کچھ غیر رسمی نتائج میں مسائل ہوسکتے ہیں۔ OpenAI کا کہنا ہے کہ وہ اس طرح کے مسائل کو جلد حل کر دے گا، اور یہ مجموعہ کی عوامی ریلیز کی تاریخ کو محفوظ رکھنے، تصحیحات اور ترمیمات کو نئے ورژن کے طور پر ریکارڈ کرنے کا عہد کرتا ہے جبکہ پرانے ورژنوں کو قابل رسائی رکھتا ہے۔ ہر مخطوطہ ڈائرکٹری میں حوالہ کے لیے ایک BibTeX بلاک بھی ہوتا ہے۔
نتائج کیسے نکلے؟
نتائج کی اکثریت غیر جاری شدہ داخلی OpenAI ماڈل کا استعمال کرتے ہوئے ایک واحد، مقررہ طریقہ کار سے آئی ہے۔ تشخیص کے دوران، ماڈل کو تقریباً 4,000 مسائل درپیش تھے۔ OpenAI رپورٹ کرتا ہے کہ اوسط شائع شدہ نتائج نے تقریباً تین گھنٹے کے ChatGPT پرو تھنک کمپیوٹ کے مساوی استعمال کیے، یہ شفافیت کی سطح ہے جو صنعت میں اب بھی نایاب ہے۔ کمپنی کا کہنا ہے کہ اس نے ان تشخیصات کو اس کے موجودہ ریاضیاتی معیارات پر کارکردگی کے سیر ہونے کے بعد بڑھایا، اور یہ کہ کچھ نتائج اس کے اپنے ماڈلز کے ذریعہ تیار کردہ پہلے کے نتائج پر بنتے ہیں۔ ایک مناسب سطح کی اہمیت کی ضرورت اور خاندانوں اور مخطوطات میں خام پیداوار کو جمع کرنے سے شائع شدہ کیٹلاگ تیار ہوا۔
اس طریقہ کار سے دو نامی مستثنیات الگ ہو گئے: ریمن زیٹا فنکشن کے لیے ایک صفر سے پاک خطہ قائم کرنے کا کام، جس میں تحریری طور پر Re(s) > 11/12 خطہ کو شامل کیا گیا ہے جس میں پڑھنے کی اہلیت کے لیے انسانی ترمیم کی گئی ہے، اور CM abelian کی اقسام کے لیے Hodge Conjecture کا ثبوت ہے۔ دونوں ہی مرکزی دھارے کے سنجیدہ ریاضی ہیں، اور دونوں کو اب کمیونٹی کی جانچ پڑتال کا سامنا کرنا پڑے گا۔
ماڈل کے استدلال کے دس مختصر خلاصے بھی شائع کیے گئے ہیں۔ وہ نتائج کا احاطہ کرتے ہیں جن میں پائی کی غیر معقولیت کا اظہار، ہم آہنگی اور عام مہلر کے قیاس آرائیاں، آزاد گروپ کے عوامل کی آئیسومورفزم، ریاضی کی ترقی کے لیے کواسپولینومیل باؤنڈز، خصوصیت دو میں کپلانسکی کا براہ راست محدودیت کا قیاس، میزارڈ-پیرسی فارمولہ کے لیے میگزینٹ میگنیٹنیٹ میں پتلا ہوا ہائیزن برگ فیرو میگنیٹ، اور سہ جہتی رشتہ داری والا Vlasov-Maxwell نظام۔
ایک مشاورتی گروپ نے ریلیز کو شکل دینے میں مدد کی۔
اوپن اے آئی کا کہنا ہے کہ اس نے انسٹی ٹیوٹ فار ایڈوانسڈ اسٹڈی میں ریاضی اور مصنوعی ذہانت سے متعلق آزاد مشاورتی گروپ سے مشورہ کیا جبکہ نتائج بانٹنے کے لیے بہترین طریقہ کار تیار کیا۔ اس گروپ نے 29 ستمبر 2026 کو ریاضی کی کمیونٹی سے 600 سے زیادہ جوابات موصول ہونے کے بعد اپنی ذمہ دارانہ رہائی کی سفارشات شائع کیں۔ سفارشات دو ٹوک ہیں: "ہم اس پریکٹس کی توثیق نہیں کرتے ہیں، اور ہم ان سے کہتے ہیں کہ وہ ملکیتی ماڈلز پر ریاضی کے جدید مسائل کی جانچ بند کر دیں۔" گروپ لیبز پر زور دیتا ہے کہ وہ علمی ذخیروں میں نتائج جمع کریں جن پر کوئی AI لیب کنٹرول نہیں کرتا ہے، مستقل قابل شناخت شناخت کاروں کو تفویض کرنے، ماڈل کے نام، استعمال شدہ اشارے، اور استدلال کے خلاصے کی زنجیروں کو ظاہر کرنے کے لیے، اور نتائج کی ریلیز کو مارکیٹنگ گاڑیوں کے طور پر سمجھنے سے گریز کریں۔
اوپن اے آئی کی ریلیز واضح طور پر اس فریم ورک کی تعمیل کرنے کی بجائے اس سے انکار کرنے کی کوشش ہے۔ کیا کمیونٹی اسے قبول کرتی ہے یہ دوسرا سوال ہے۔ مشاورتی گروپ کے سروے میں خاص طور پر اس منظر نامے کے بارے میں پوچھا گیا جس میں ایک لیب تفصیلات فراہم کیے بغیر بہت سے نتائج کی موجودگی کا اعلان کرتی ہے، اور جو سفارشات سامنے آئی ہیں وہ تصدیق سے آگے نکلنے والے اعلانات کے بارے میں گہری تشویش کی عکاسی کرتی ہیں۔
تصدیق کا بوجھ ریاضی دانوں پر منتقل ہوتا ہے۔
عملی چیلنج اب کام کرنے والے ریاضی دانوں کا ہے۔ دبلی پتلی کے رسمی ثبوتوں کو میکانکی طور پر چیک کیا جا سکتا ہے، اور ان کی موجودگی غلطی کے خطرے کو کافی حد تک کم کرتی ہے۔ لیکن بغیر رسمی مخطوطات، جنہیں README خود ممکنہ طور پر ناقص قرار دیتا ہے، روایتی ہم مرتبہ جائزہ کی ضرورت ہوتی ہے، اور 722 مخطوطات اس سے کہیں زیادہ ہیں جسے کمیونٹی تیزی سے جذب کر سکتی ہے۔ ترجیح اور کریڈٹ کا سوال بھی ہے: ریاضی دان جنہوں نے ان مسائل سے متصل سال گزارے وہ یہ جاننا چاہیں گے کہ ماڈل سے کیا پوچھا گیا تھا، اسے کیا دیا گیا تھا، اور کیا کوئی انسانی نتیجہ شامل کیا گیا تھا۔ اوپن اے آئی کی اشارے کے خلاصے اور شماریاتی اعدادوشمار کی اشاعت ان سوالات میں سے کچھ کا پیشگی جواب دینے کے لیے ڈیزائن کیا گیا ہے۔
ریلیز ایک ٹیمپلیٹ کا تعین بھی کرتی ہے جس کی پیروی کرنے کے لیے حریف کو دبایا جا سکتا ہے۔ اینتھروپک، گوگل ڈیپ مائنڈ، اور تحقیقی سطح کے ریاضی کے قابل فرنٹیئر ماڈلز کے ساتھ دیگر لیبز کو اب ایک ڈی فیکٹو معمول کا سامنا کرنا پڑتا ہے، جو کہ ایڈوائزری گروپ کے ذریعہ بیان کیا گیا ہے، کہ ملکیتی ماڈلز پر چھپے نتائج کو یا تو پوری طرح سے جاری کیا جانا چاہیے یا بالکل چھیڑا نہیں جانا چاہیے۔
ابھی کے لیے، ذخیرہ رواں ہے، رسمی بنانے کی کوشش جاری ہے، اور عوام میں تصحیح کی جا رہی ہے۔ چاہے یہ AI سے تیار کردہ ریاضی کے لیے معیاری پلے بک بن جائے، یا لیبز اور تحقیقی برادریوں کے درمیان بڑھتے ہوئے تنازعہ میں ایک اور فلیش پوائنٹ، اس بات پر انحصار کرے گا کہ اگلے چند ہفتوں کی جانچ کیسے گزرتی ہے۔
AI وکر سے آگے رہیں
AI سے تیار کردہ سائنس پریس ریلیز سے ہم مرتبہ کے جائزے کی طرف بڑھ رہی ہے۔ aibuzzwire.news پر بریکنگ AI نیوز کی پیروی کریں ہر بڑی ریسرچ ریلیز، ماڈل لانچ، اور پالیسی شفٹ کی کوریج کے لیے۔
مزید AI خبریں پڑھیں →
