OpenAI তাদের নতুন এবং অত্যন্ত শক্তিশালী এআই মডেল 'Astra' সম্পর্কে ঘোষণা করেছে। একটি অভ্যন্তরীণ গবেষণায় দেখা গেছে যে, এই মডেলটি গণিত এবং তাত্ত্বিক কম্পিউটার বিজ্ঞানের এমন ১০টি সমস্যা সমাধান করেছে যা গত এক দশক বা তার বেশি সময় ধরে অমীমাংসিত ছিল। উচ্চ-মাত্রিক জ্যামিতি থেকে শুরু করে কোডিং থিওরি এবং কোয়ান্টাম জটিলতা পর্যন্ত বিস্তৃত ক্ষেত্রে এই সাফল্য এসেছে।

Astra মডেলটি এমনভাবে ডিজাইন করা হয়েছে যাতে এআই এজেন্টরা একটি বড় সমস্যার বিভিন্ন অংশে একসাথে কাজ করতে পারে। এটি প্রতিটি যুক্তিকে 'Lean' সার্টিফিকেটে রূপান্তর করে, যা গাণিতিক যাচাইকরণ সিস্টেমের মাধ্যমে নির্ভুলতা নিশ্চিত করে। ধারণা করা হচ্ছে, Astra মডেলটি GPT-5.7 বা GPT-6 হিসেবে বাজারে আসতে পারে।