OpenAI بهطور رسمی از مدل نسلجدید خود با نام Astra رونمایی کرد و اعلام نمود که نسخهی داخلی این مدل موفق به حل 10 مسئلهی باز در حوزههای ریاضیات و علوم کامپیوتر نظری شده است که همگی حداقل 10 سال بدون پیشرفت باقی مانده بودند. این دستاوردها شامل بهبود کران بالایی برای چگالی بستهبندی کرهها در ابعاد بالا (اولین بهبود در 48 سال)، ساخت یک گروه غیر-sofic (نقض یک حدس بنیادین در نظریهی گروهها)، و ارثباط قضیهای در مورد تکرار موازی کوانتومی است. هزینهی کل محاسبات برای یافتن این راهحلها تنها حدود 2,000 دلار برآورد شده است. OpenAI همچنین یک مقالهی 249 صفحهای همراه با اثباتهای رسمی منتشر کرده است.
منبع: 36Kr