ওডেইলি প্ল্যানেট ডেইলি সংবাদ: ওপেনএআই তার পরবর্তী প্রজন্মের এআই মডেল আস্ট্রা দ্বারা গণিত এবং থিওরেটিকাল কম্পিউটার সায়েন্সের ক্ষেত্রে এগিয়ে যাওয়ার গবেষণা প্রকাশ করেছে, যা উচ্চমাত্রিক জ্যামিতি, কোডিং থিওরি, গ্রুপ থিওরি, কোয়ান্টাম কমপ্লেক্সিটি, পোস্ট-কোয়ান্টাম ক্রিপ্টোগ্রাফি এবং এক্সট্রিমাল কমবিনেটরিক্সের মতো ক্ষেত্রগুলিকে অন্তর্ভুক্ত করে। এটি প্রকাশিত 10টি ফলাফলের মধ্যে রয়েছে: উচ্চমাত্রিক গোলক প্যাকিং সমস্যা, বাইনারি এবং স্ফেরিক্যাল কোডিং সমস্যা, নন-সোফিক গ্রুপ সমস্যা, কনেস রিজিডিটি অনুমান, আরিথমেটিক সার্কিট কমপ্লেক্সিটি সমস্যা, কোয়ান্টাম প্যারালাল রিপিটেশন সমস্যা, নিকটতম ভেক্টর সমস্যা, এহরহার্ট ভলিউম অনুমান, মাল্টি-কালার Ramsey সংখ্যা সমস্যা, এক্সট্রিমাল গ্রাফ থিওরি অনুমান।
এই ফলাফলগুলি Astra মডেলের অভ্যন্তরীণ সংস্করণ দ্বারা প্রতিপাদন করা হয়েছে, যা সমাধান খোঁজার জন্য প্রায় 2000 ডলার (Sol API মূল্য অনুযায়ী) গণনা খরচ করেছে। তারপর, মানব গবেষকদের একই মডেলের সহায়তায় একটি গবেষণাপত্রে সংগঠিত করা হয়েছে এবং Lean ফর্মালাইজেশন সিস্টেমের মাধ্যমে যাচাইযোগ্য প্রমাণ সার্টিফিকেট তৈরি করা হয়েছে।