ChainThink মেসেজ, 1 আগস্ট, OpenAI প্রথমবারের মতো তাদের পরবর্তী প্রধান মডেল Astra ঘোষণা করে, যার অভ্যন্তরীণ সংস্করণ 10টি দীর্ঘদিন অমীমাংসিত গাণিতিক এবং থিওরেটিকাল কম্পিউটার সায়েন্স সমস্যায় নতুন ফলাফল অর্জন করেছে।
এই প্রশ্নগুলির মূল উপসংহারগুলির কমপক্ষে ১০ বছর ধরে কোনও প্রগতি হয়নি, অধিকাংশের ক্ষেত্রে স্থবিরতা আরও বেশি সময় ধরে চলেছে। এর মধ্যে, অ্যাস্ট্রা প্রথমবারের মতো একটি নন-সফিক গ্রুপ তৈরি করেছে, যা গ্রুপ তত্ত্বের একটি মৌলিক খোলা প্রশ্নের উত্তর দিয়েছে;
কনেসের কঠোরতা অনুমানকে একসাথে প্রত্যাখ্যান করুন এবং ৩টি এর্ডোশ সমস্যা সমাধান করুন। বাকি অবদানগুলি গোলক প্যাকিং, কোডিং তত্ত্ব, কোয়ান্টাম জটিলতা এবং পোস্ট-কোয়ান্টাম ক্রিপ্টোগ্রাফির সাথে সম্পর্কিত নতুন সীমাবদ্ধতা এবং কঠিনতা প্রমাণের সাথে সম্পর্কিত।
OpenAI বলেছে, এই 10টি ফলাফল খুঁজে পাওয়ার জন্য ব্যবহৃত Token-এর মূল্য Sol API মূল্যের ভিত্তিতে প্রায় 2000 ডলার।
সংশ্লিষ্ট গাণিতিক যুক্তি Astra দ্বারা তৈরি করা হয়েছে, মানুষ পরবর্তীতে এটিকে প্রবন্ধে সাজাতে সহায়তা করেছে, এবং মডেলটি প্রতিটি প্রমাণকে Lean সার্টিফিকেটে রূপান্তরিত করেছে, যা কম্পিউটারের দ্বারা অনুমানের সত্যতা পরীক্ষা করার জন্য ব্যবহৃত হয়।