به گزارش خبرآنلاین و به نقل از زومیت، مسائل مطرحشده شامل حوزههای متنوعی از قبیل هندسههای ابعاد بالا، نظریه کدگذاری، پیچیدگی مدارهای محاسباتی، نظریه گروهها، جبرهای عملگری، پیچیدگی کوانتومی، رمزنگاری شبکهمحور و ترکیبیات مفرط است.
تحقیقات ارزشمندی با استفاده از نسخه داخلی مدل هوش مصنوعی آسترا به دست آمده است. هزینه محاسبات مربوط به توکنهای مورد نیاز برای حل این مسائل، با توجه به نرخ برنامهنویسی کاربردی مدل Sol، حدود دو هزار دلار تخمین زده شده است.
پس از اینکه هوش مصنوعی موفق به یافتن راهحلها شد، تیمی از متخصصان انسانی همراه با مدل، پیشنویس مقالات علمی را تدوین کردند و در پایان، مدل توانست اعتبار هر استدلال را ثبت و تأیید کند.
مسائل حلشده شامل موضوعات کلیدی در جامعه ریاضی جهانی است. از این دستاوردها میتوان به ارایه کرانهای بالای جدید برای چگالی بستهبندی کرهها در ابعاد بالا، بهبود کرانهای اندازه کدهای باینری و کروی و اثبات وجود گروههای غیرسوفیک اشاره کرد.
مدل آسترا همچنین توانسته کرانهای پایین جدیدی برای محاسبات دائمی با استفاده از فرمولهای حسابی ارائه کند و قضیه تکرار موازی کوانتومی را در بازیهای دو نفره اثبات کند.
دیگر موفقیتها شامل حل مسائل سختافزاری در رمزنگاری پساکوانتومی، تعیین حداکثر حجم ممکن برای یک جسم محدب در فرضیه حجم ارهارت و حل مسائل عددی در نظریه گرافها و اعداد رمزی چندرنگ است.
