اوپن اے آئی کا اسٹرا صرف 10 طویل عرصے سے حل نہ ہونے والے ریاضی کے مسائل حل کر چکا ہے۔ نیا متعدد ایجنٹ ماڈل ایک سیٹ مشکل کھلے ریاضی کے مسائل کو حل کر گیا جو دہائیوں تک ثابت نہ ہو سکے تھے — اور پھر ان ثبوت کو لین میں فارملائز کیا۔ سام الٹمن نے اس ہفتے واشنگٹن میں اسٹرا کا اعلان کیا۔ یہ پہلا ماڈل بنے گا جو جاری ہونے سے پہلے نئے حکومتی منظوری عمل سے گزرے گا۔ سب سے زیادہ حیرت انگیز بات: تمام 10 مسائل حل کرنے میں سول کی قیمت کے مطابق 2,000 ڈالر سے کم کے ٹوکن استعمال ہوئے۔ اوپن اے آئی نے دیگر مشکل مسائل بھی آزمائے ہیں، جن میں کچھ اب بھی حل نہیں ہو سکے — لیکن اس کی ترقی کا ممکنہ رخ بہت بڑا ہے۔ کya یہ AI کی مدد سے ریاضی کی دریافت کے لیے ایک نئی دور کا آغاز ہو سکتا ہے؟