ওপেনএআইয়ের নতুন মডেল অ্যাস্ট্রা ১০টি দীর্ঘস্থায়ী গাণিতিক সমস্যা সমাধান করেছে

Beating মনিটরিং-এর অনুসন্ধান অনুযায়ী, OpenAI প্রথমবারের মতো তাদের পরবর্তী প্রধান মডেল Astra-এর অফিসিয়াল ঘোষণা করেছে। অভ্যন্তরীণ সংস্করণটি 10টি দীর্ঘদিন অমীমাংসিত গাণিতিক এবং থিওরেটিকাল কম্পিউটার সায়েন্স সমস্যায় নতুন ফলাফল অর্জন করেছে। এই সমস্যাগুলির মূল উপসংহারগুলির কমপক্ষে 10 বছর ধরে কোনও প্রগতি হয়নি, এবং অধিকাংশের ক্ষেত্রে স্থবিরতা আরও বেশি। এগুলির মধ্যে কিছুকে সরাসরি সমাধান বা প্রত্যাখ্যান করা হয়েছে। Astra প্রথমবারের মতো non-sofic group-এর গঠন করেছে, যা গ্রুপ থিওরির একটি কেন্দ্রীয় খোলা প্রশ্নের উত্তর দিয়েছে; এটি Connes rigidity conjecture-কেও প্রত্যাখ্যান করেছে এবং 3টি Erdős সমস্যা সমাধান করেছে। অন্যান্য অর্জনগুলির মধ্যে রয়েছে: sphere packing, coding theory, quantum complexity, এবং post-quantum cryptography-এর সাথে সম্পর্কিত সমস্যাগুলির জন্য নতুন upper/lower bounds এবং hardness proofs। OpenAI-এর মতে, Astra-এর 10টি ফলাফল খুঁজে বারার জন্য ব্যবহৃত Token-এর পরিমাণ Sol API-এর মূল্যের ভিত্তিতে 2000 USD-এর সমপরিমাণ। Astra-এর দ্বারা উৎপন্ন এই 10টি গাণিতিক যুক্তি। মানুষগুলিরপরবর্তীতেকাগজগুলিকেসংগঠিতকরতেসহায়তাকরেছিল,এবংমডেলটিপ্রতিটিপ্রমাণকেLeanসনদেপরিণতকরেছিল,যাকম্পিউটারকেপদক্ষেপেপদক্ষেপেযুক্তিরযথার্থতাচেককরতেসক্ষমকরেছিল।OpenAIএখনপত্র,প্রমাণসনদএবংমডেলেরযুক্তিপ্রক্রিয়াগুলিকেপ্রকাশকরেছে।