دس مسائل، کچھ دہائیوں سے کھلے ہیں۔
1 اگست، 2026 کو، OpenAI نے "ریاضی اور نظریاتی کمپیوٹر سائنس میں دس پیشرفت" کے عنوان سے ایک تحقیقی پوسٹ شائع کی، جس میں آسٹرا سسٹم کے تیار کردہ حل کی تفصیل تھی۔ The-decoder کے مطابق، کمپنی نے Astra کو اپنے اگلے بڑے ماڈل کے طور پر متعارف کرانے کے لیے اعلان کا استعمال کیا۔ اسٹارٹ اپ فارچیون نے اطلاع دی ہے کہ دس مسائل پہلے حل نہیں ہوئے تھے، اور یہ کہ سب سے قابل ذکر نتائج میں سے ایک کونس کی سختی کے قیاس کی تردید تھی - آپریٹر الجبرا اور گروپ تھیوری میں گہری جڑوں کا مسئلہ۔
ہدف بنائے گئے مسائل میں سے کچھ ایک دہائی سے زیادہ عرصے سے کھلے ہوئے تھے، اور ایک آؤٹ لیٹ، 36Kr، نے ان میں سے کئی کو مشکل میں "فیلڈز میڈل لیول" کے طور پر نمایاں کیا۔ دعووں کے پیمانے نے توجہ مبذول کرائی ہے کیونکہ ریاضی کے نتائج، بہت سے AI بینچ مارکس کے برعکس، اصولی طور پر سختی سے جانچے جا سکتے ہیں۔ اوپن اے آئی نے مبینہ طور پر اس کام کو باضابطہ تصدیقی ٹولنگ اور ایک عوامی ذخیرے کے ذریعے دستیاب کرایا، جس سے آزاد ریاضی دانوں کو ثبوتوں کی جانچ پڑتال کرنے کی بجائے انہیں اعتماد پر لینے کی اجازت دی گئی۔
ایک ~$2,000 کمپیوٹ بل
سب سے زیادہ حیرت انگیز تفصیلات میں سے ایک قیمت ہے۔ Startup Fortune اور XenoSpectrum دونوں نے اطلاع دی ہے کہ ماڈل نے تقریباً $2,000 کمپیوٹ میں دس کھلے مسائل حل کیے ہیں — جو کہ فرنٹیئر اسکیل ٹریننگ پر عام طور پر لاگت آتی ہے اس کا ایک حصہ۔ یہ اعداد و شمار، اگر درست ہے تو، اس بات کی نشاندہی کرتا ہے کہ اندازہ وقتی استدلال کی کارکردگی کس حد تک آ گئی ہے: جدید AI کا مہنگا حصہ تربیت ہے، نہ کہ فی مسئلہ حل کرنا۔
نتیجہ 2026 کے اوائل میں سامنے آنے والے OpenAI کے کام پر ہوتا ہے، جب ایک داخلی استدلال ماڈل نے پلانر یونٹ فاصلاتی قیاس کو غلط ثابت کیا، یہ مسئلہ 1946 میں ریاضی دان پال ایرڈس نے پیش کیا تھا۔ اس سے پہلے کا نتیجہ الجبری نمبر تھیوری کو چھوتا تھا، بشمول لامحدود کلاس فیلڈ ٹاورز اور گولوڈ-شفاریو۔ آسٹرا کا اعلان تحقیق کی اس لائن کو کھلے سوالات کے وسیع تر سیٹ تک بڑھاتا ہے۔
واشنگٹن میں سینیٹرز کو دکھایا گیا۔
انکشاف کا وقت جان بوجھ کر دیا گیا تھا۔ دی انفارمیشن نے خصوصی طور پر اطلاع دی ہے کہ OpenAI نے Astra ماڈل کا واشنگٹن، D.C. میں پیش نظارہ کیا، اور Yellow.com نے نوٹ کیا کہ یہ مظاہرہ "30 دن کے ریویو فریم ورک سے کچھ دن پہلے" ہوا - طاقتور نئے AI سسٹمز کی بڑھتی ہوئی ریگولیٹری نگرانی کا حوالہ۔ Startup Fortune کے مطابق، CEO Sam Altman نے ذاتی طور پر امریکی سینیٹرز کو ماڈل کے بارے میں آگاہ کیا۔
واشنگٹن کا پیش نظارہ اہمیت رکھتا ہے کیونکہ یہ آسٹرا کو صرف ایک تکنیکی سنگ میل کے طور پر نہیں بلکہ ایک سیاسی سنگ میل کے طور پر رکھتا ہے۔ قانون سازوں کی جانب سے سائبر سیکیورٹی کے حالیہ واقعات کے تناظر میں فرنٹیئر ماڈلز کو ریگولیٹ کرنے کے بارے میں بحث کرنے کے ساتھ - بشمول AI ایجنٹس جو ٹیسٹنگ کے دوران اپنے سینڈ باکسز سے بچ گئے - OpenAI یہ معاملہ بنا رہا ہے کہ اس کے جدید ترین سسٹمز عوامی ریلیز سے قبل ریگولیٹرز کے ساتھ اشتراک کرنے کے لیے کافی طاقتور اور محفوظ ہوسکتے ہیں۔
کیا یہ GPT-6 ہے؟
OpenAI نے باضابطہ طور پر اس بات کی تصدیق نہیں کی ہے کہ Astra GPT-6 کے طور پر لانچ کرے گا، لیکن Startup Fortune نے اطلاع دی ہے کہ کمپنی "اسے GPT-6 کے طور پر بھیج رہی ہے۔" دی نیوز انٹرنیشنل نے Astra کو ایک "نئی ماڈل سیریز" کے آغاز کے طور پر بیان کیا، جبکہ KuCoin نے اسے "طویل مدتی کاموں کے لیے" ماڈل کے طور پر بیان کیا - فوری ایک شاٹ جوابات کے بجائے مستقل، ایجنٹی استدلال پر زور دینے کا مشورہ۔
یہ فریمنگ صنعت کے وسیع محور کے ساتھ نام نہاد لانگ ہورائزن ایجنٹس کی طرف سیدھ میں آتی ہے: ایک ہی پاس میں جواب دینے کے بجائے ٹولز اور تصدیق کا استعمال کرتے ہوئے، توسیعی ادوار میں مشکل مسائل پر کام کرنے کے لیے بنائے گئے نظام۔ ریاضی کے نتائج، درحقیقت، ایک مظاہرہ ہیں کہ یہ نقطہ نظر حقیقی طور پر نیا علم حاصل کر سکتا ہے۔
AI ریسرچ کے لیے اس کا کیا مطلب ہے۔
آسٹرا کے نتائج ایک شدید بحث کے درمیان سامنے آئے کہ آیا AI کا استدلال حقیقی طور پر درست ہے یا محض قائل ہے۔ اگر ثبوت باضابطہ توثیق اور ہم مرتبہ کے جائزے پر فائز ہیں، تو وہ پیٹرن سے مماثلت سے بالاتر ایک بامعنی قدم کی نمائندگی کریں گے - تجویز کرتے ہیں کہ یہ نظام ریاضی کو ایک تحقیقی نظم کے طور پر اپنا حصہ ڈال سکتے ہیں، نہ کہ صرف اس کی نقل۔
شکی لوگ خبردار کرتے ہیں کہ کام کو اب بھی آزادانہ توثیق کی ضرورت ہے، اور یہ کہ کسی مسئلے کو رسمی معنوں میں "حل" کرنا ایک انسانی ریاضی دان کی سمجھ سے مختلف ہے کہ نتیجہ کیوں درست ہے۔ لیکن کم کمپیوٹ لاگت، رسمی تصدیق، اور عوامی ریلیز کا امتزاج وسیع تر کمیونٹی کو OpenAI کے دعووں کو چیک کرنے کے لیے ٹولز فراہم کرتا ہے۔
ابھی کے لیے، Astra عوام کے لیے غیر ریلیز ہے۔ جو بات واضح ہے وہ یہ ہے کہ OpenAI ریاضی کو فرنٹیئر AI کے لیے نئے ثابت کرنے والے میدان کے طور پر دیکھ رہا ہے - اور ریگولیٹرز کے ساتھ ساتھ محققین کو بھی قریب سے دیکھنے کی دعوت دے رہا ہے۔
AI سے آگے رہیں
AI تحقیق کا محاذ تیزی سے آگے بڑھ رہا ہے، ہر ہفتے نئی پیش رفت کے ساتھ۔ Follow every major advance through our AI industry coverage.
مزید AI خبریں پڑھیں →