OpenAI نے Astra پر پردہ واپس کھینچ لیا ہے، ایک غیر ریلیز شدہ سسٹم جسے اسے "ہمارا اگلا بڑا ماڈل" کہا جاتا ہے، جب کہ اندرونی ورژن نے ریاضی اور نظریاتی کمپیوٹر سائنس میں دس اہم پیشرفت کی ہے۔ کمپنی نے اس اعلان کو ایک تحقیقی پوسٹ کے اندر جمع کیا جس میں ریاضی کے نتائج کو دستاویز کیا گیا، جس سے محققین کی طرف سے جوش و خروش اور جانچ پڑتال دونوں کو ہوا جو بریکنگ اے آئی نیوز کو قریب سے فالو کرتے ہیں۔

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

تصدیق شدہ ثبوت، صرف جوابات نہیں۔

Astra کے آؤٹ پٹ کو ریاضی میں اندازہ لگانے والے چیٹ بوٹ سے جو چیز الگ کرتی ہے وہ تصدیق ہے۔ OpenAI نے کہا کہ انسانی محققین نے اسی ماڈل کو مخطوطات کے طور پر دلائل تیار کرنے کے لیے استعمال کیا، اور Astra نے پھر ہر دلیل کو لین سرٹیفکیٹ کے طور پر باقاعدہ بنایا۔ Lean ایک اوپن سورس پروف اسسٹنٹ ہے جو مشین سے ریاضی کے دلائل کی جانچ کر سکتا ہے، یعنی دوسرے ریاضی دانوں کو نتائج کو ایمان کے مطابق لینے کی ضرورت نہیں ہے - ان کی سیکنڈوں میں سافٹ ویئر کے ذریعے آزادانہ طور پر تصدیق کی جا سکتی ہے۔

یہ فرق اہمیت رکھتا ہے۔ زبان کا ماڈل ایک قابل فہم نظر آنے والا ثبوت پیش کر سکتا ہے جس میں ایک لطیف، مہلک غلطی ہوتی ہے۔ ہر دلیل کو Lean میں ترجمہ کر کے، OpenAI نے مارکیٹنگ کے دعوے کو ایک قابل جانچ نمونے میں تبدیل کر دیا۔ BleepingComputer کے مطابق، جس نے تفصیلات کی اطلاع دی، مخصوص پیشرفت میں غیر صوفی گروپوں کے وجود کو ثابت کرنے کا ثبوت شامل ہے، گروپ تھیوری میں ایک بڑے کھلے سوال کو حل کرنا؛ کونیس کی سختی کے قیاس کی تردید؛ اعلی جہتی دائرے کی پیکنگ کے لیے نئی حدود؛ اور بہت سے مسائل کو حل کرنے کے نتائج جو اصل میں ماہر ریاضی دان پال ایرڈس کے ذریعہ پیش کیے گئے تھے۔

OpenAI نے نوٹ کیا کہ ان حلوں کو تلاش کرنے کے لیے درکار ٹوکنز کی کل تعداد پر موجودہ API کی شرحوں پر تقریباً $2,000 لاگت آئے گی - جدید ریاضیاتی دریافت کے کمپیوٹ فوٹ پرنٹ کے بارے میں ایک حیرت انگیز ڈیٹا پوائنٹ، اور ایک جو کہ فرنٹیئر لیول کی تحقیق کو اچھی طرح سے فنڈڈ اکیڈمک ٹیموں کی پہنچ میں رکھتا ہے نہ کہ خود لیبز کی بجائے۔

ریاضی دانوں کا رد عمل

دی ڈیکوڈر کے مطابق، تھامس بلوم، مانچسٹر یونیورسٹی کے ایک ریاضی دان جو Erdős-problem حوالہ سائٹ erdosproblems.com چلاتے ہیں، نے X پر نتائج کو "بڑی خبر" قرار دیا۔ اس نے ان کو مئی میں شائع ہونے والے یونٹ فاصلے کے قیاس کی ایک مثال سے زیادہ اہم قرار دیا۔ بلوم نے لکھا، "شاید یونٹ فاصلے کے ثبوت سے بڑا نہیں ہوتا، لیکن تعمیرات کے لحاظ سے، یہ بڑا ہے،" بلوم نے لکھا۔

بلوم نے اس فریمنگ کے خلاف بھی پیچھے ہٹ گئے کہ AI ریاضی دانوں کی جگہ لے رہا ہے، یہ دلیل دیتے ہوئے کہ یہ دعویٰ بہت کم معنی رکھتا ہے جب نظام ایک صدی سے زیادہ تھیوری پر مبنی ہے، اسے ریاضی دانوں نے بنایا تھا، اور ریاضی دانوں نے لکھی ہوئی ہر چیز پر تربیت دی تھی۔

نوم براؤن، ٹیسٹ ٹائم ریجننگ ٹیکنالوجی کے پیچھے ایک محقق جس پر Astra انحصار کرتا ہے، زیادہ ماپا گیا۔ "افسوس کی بات ہے، ملینیم پرائز کا کوئی مسئلہ نہیں (ابھی تک)"، اس نے X پر پوسٹ کیا، ان سات مشہور مسائل کا حوالہ دیتے ہوئے جن کے لیے Clay Mathematics Institute ہر ایک کو $1 million پیش کرتا ہے - 2000 میں انعامات کے اعلان کے بعد سے صرف ایک ہی حل ہوا ہے۔

ہر کوئی متاثر نہیں ہوا۔ اے آئی کے نقاد گیری مارکس نے سب اسٹیک پوسٹ میں ماڈل کو "حیرت انگیز - لیکن بہت زیادہ فروخت ہونے والا" قرار دیا، جب بھی کوئی فرنٹیئر لیب کسی سنگ میل کا دعویٰ کرتی ہے تو شکوک و شبہات کی ایک واقف لائن۔ حقیقی تکنیکی کامیابی اور پروموشنل فریمنگ کے درمیان تناؤ اس بات کی وضاحت کرنے کا امکان ہے کہ Astra کیسے موصول ہوتا ہے۔

طویل کاموں کے لیے ایک نیا ماڈل فیملی

معلومات نے آزادانہ طور پر اس بات کی تصدیق کی کہ Astra ایک نیا ماڈل فیملی ہے جسے طویل عرصے سے کام کے بوجھ کے لیے بنایا گیا ہے۔ OpenAI اسے ایک ایسے نظام کے طور پر بیان کرتا ہے جو ایک سے زیادہ AI ایجنٹوں کو ایک بڑے مسئلے کے مختلف حصوں پر تعاون کرنے دیتا ہے — ایک ڈیزائن کا مقصد ان کاموں پر ہے جن میں سیکنڈ کے بجائے گھنٹے یا دن لگتے ہیں، جیسے تھیوری کو ثابت کرنا یا بڑے کوڈ بیس کو ری فیکٹر کرنا۔

BleepingComputer نے اطلاع دی ہے کہ OpenAI نے یہ فیصلہ نہیں کیا ہے کہ آیا ماڈل GPT-5.7، GPT-6، یا کسی اور نام سے بھیجے گا۔ سی ای او سیم آلٹمین پہلے ہی واشنگٹن، ڈی سی میں آسٹرا کی نمائش کر چکے ہیں، دی کوڈر نے رپورٹ کیا، اس بات کا اشارہ ہے کہ کمپنی اس نظام کو پالیسی سازوں کے سامنے رکھنے کے لیے کافی بالغ نظر آتی ہے۔

ایک حکومتی جائزہ رکاوٹ

شاید سب سے زیادہ نتیجہ خیز تفصیل ریگولیٹری ہے۔ دی ڈیکوڈر کے مطابق، ایسٹرا پہلے ماڈلز میں شامل ہو گا جو امریکی حکومت کے ایک منصوبہ بند جائزہ کے عمل سے گزرے گا جس کے لیے عوامی ریلیز سے پہلے سرکاری منظوری کی ضرورت ہے۔ یہ لانچ کی ٹائم لائن میں سیاسی غیر یقینی صورتحال کی ایک پرت کو جوڑتا ہے جس کا پہلے فلیگ شپ ماڈلز کو کبھی سامنا نہیں کرنا پڑا تھا - اور اس بات کو داؤ پر لگاتا ہے کہ OpenAI کس طرح Astra کی صلاحیتوں کو نمایاں کرتا ہے۔

ڈیبیو بھی ایک زبردست اوپن ویٹ ریس کے درمیان آتا ہے۔ کچھ دن پہلے، تھنکنگ مشینز لیب نے اپنا انکلنگ سمال اوپن ویٹ ماڈل جاری کیا، اور چینی لیبز اوپن ویٹ فرنٹیئر سسٹم کو آگے بڑھا رہی ہیں۔ Astra OpenAI کی شرط کا اشارہ دیتا ہے کہ ملکیتی، بڑے پیمانے پر استدلال — جس کی تصدیق Lean جیسے ٹولز سے ہوتی ہے — سب سے بڑی کامیابیوں کا راستہ ہے۔

ابھی کے لیے، Astra غیر ریلیز ہے۔ لیکن اس کے ریاضیاتی آغاز نے پہلے ہی اس بات چیت کو دوبارہ ترتیب دیا ہے کہ فرنٹیئر اے آئی سسٹم خالص سائنس میں کیا حصہ ڈال سکتے ہیں، اور عوام کو ان کے ساتھ ہونے والے دعووں کی کتنی باریک بینی سے جانچ پڑتال کرنی چاہیے۔

AI سے آگے رہیں

Astra اور وسیع فرنٹیئر-ماڈل ریس جیسی پیشرفت کو جاری رکھنا چاہتے ہیں؟ [اے آئی کی تازہ ترین پیشرفت] (https://aibuzzwire.news) کے لیے ہمارے مرکز کو بُک مارک کریں۔

مزید AI خبریں پڑھیں →