اوڈیلی پلانٹ ریڈی کی رپورٹ کے مطابق، OpenAI نے اپنی اگلی نسل کے AI ماڈل Astra کے تحقیقی نتائج جاری کیے ہیں، جس میں ریاضی اور تھیوریٹیکل کمپیوٹر سائنس کے شعبوں میں ترقی کا دعویٰ کیا گیا ہے، جس میں اعلیٰ ڈائیمنشنل جیومیٹری، کوڈنگ تھیوری، گروپ تھیوری، کوانتم کمپلیکسٹی، پوسٹ-کوانتم کرپٹوگرافی اور اکسترمال کامبینیٹورکس شامل ہیں۔ انہوں نے جاری کردہ 10 نتائج میں شامل ہیں: اعلیٰ ڈائیمنشنل سپیر چھانٹنے کا مسئلہ، بائنری اور سپیرل کوڈنگ مسائل، غیر سوفک گروپس کا مسئلہ، کونس رگڑ والی تصور، حسابی سرکٹ کمپلیکسٹی کا مسئلہ، کوانتم پیرلل ریپیٹشن کا مسئلہ، قریب ترین ویکٹر مسئلہ، ایرہارٹ حجم کا تصور، متعدد رنگوں والے رامزے نمبرز کا مسئلہ، اور اکسترمال گراف تھیوری کا تصور۔
بتناول، یہ نتائج اسٹرا ماڈل کے اندری ورژن کے ذریعے حاصل کیے گئے، جس کے لیے حل تلاش کرنے کے لیے تقریباً 2000 امریکی ڈالر (Sol API قیمت کے مطابق) کا حسابی اخراج ہوا۔ بعد میں، انسانی تحقیق کاروں نے ایک ہی ماڈل کی مدد سے اسے ایک تحقیقی مقالہ میں ترتیب دیا اور Lean فارملائزیشن سسٹم کے ذریعے تصدیق شدہ ثبوت کے سرٹیفکیٹ تیار کیے۔