ChainThink کی خبر، 1 اگست، OpenAI نے اپنا اگلا مرکزی ماڈل Astra کو پہلی بار باقاعدہ طور پر شائع کیا، جس کا اندر کا ورژن 10 لمبے عرصے سے حل نہ ہونے والے ریاضی اور تھیوریٹیکل کمپیوٹر سائنس کے مسائل پر نئے نتائج حاصل کر چکا ہے۔
ان مسائل کے مرکزی نتائج کم از کم 10 سال تک کوئی پیشرفت نہیں ہوئی، اور زیادہ تر کے لیے اس میں زیادہ عرصہ تک رکاوٹ رہی۔ اس میں، اسٹرا نے پہلی بار غیر سوفک گروپ کا تعمیر کیا، جس نے گروپ تھیوری کے ایک مرکزی کھلے سوال کا جواب دیا؛
کنیس کی سختی کی تصور کو رد کریں اور 3 ایرڈوس کے مسائل کو حل کریں۔ باقی کامس میں گولوں کی تراکیب، کوڈنگ تھیوری، کوانٹم پیچیدگی اور پوسٹ-کوانٹم کرپٹوگرافی سے متعلق نئے حدود اور مشکل ثبوت شامل ہیں۔
اوپنای آئی کا کہنا ہے کہ ماڈل کو یہ 10 نتائج تلاش کرنے میں لگنے والے ٹوکن کی قیمت سول اے پی آئی کے مطابق تقریباً 2000 امریکی ڈالر ہے۔
متعلقہ ریاضیاتی استدلالات Astra نے تیار کیے، اور انسانوں نے بعد میں انہیں تحقیقی مقالے کی شکل دینے میں مدد کی، جبکہ ماڈل نے ہر ثبوت کو Lean سرٹیفیکیٹ میں تبدیل کر دیا تاکہ کمپیوٹر آہستہ آہستہ استدلال کی درستگی کی تصدیق کر سکے۔