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

AI‑সৃষ্ট গাণিতিক প্রমাণগুলোকে মানব গবেষকরা Lean সার্টিফিকেটে আনুষ্ঠানিক করে ম্যানুস্ক্রিপ্টে রূপান্তর করেছে এবং প্রতিটি সমাধানের জন্য মডেলের চিন্তাধারার বর্ণনা প্রকাশের পরিকল্পনা করেছে। যদিও Astra মডেলের প্রযুক্তিগত বিশদ প্রকাশ করা হয়নি, OpenAI উল্লেখ করেছে যে এই সমস্যাগুলোর সমাধানে প্রয়োজনীয় টোকেনের খরচ GPT‑5.6 Sol API হারে প্রায় $২,০০০ হবে, যা এই স্তরের জটিলতার জন্য তুলনামূলকভাবে কম গণনাশক্তি প্রয়োজনীয়তা নির্দেশ করে।