نتایج علمی ارزشمند با استفاده از نسخهی داخلی مدل آسترا به دست آمده است. هزینهی محاسباتی توکنهای مورد نیاز برای یافتن پاسخ این مسائل بر اساس نرخ رابط برنامهنویسی کاربردی (API) مدل Sol، در مجموع حدود دو هزار دلار برآورد میشود.
پس از کشف راهحلها با هوش مصنوعی، متخصصان انسانی به همراه همین مدل پیشنویس مقالات علمی را آماده کردند و در نهایت، مدل توانست صحت هر استدلال را در قالب گواهیهای نرمافزار اثبات قضیهی Lean تأیید و ثبت کند.
مسائل حلشده شامل موارد بسیار مهمی در جامعه ریاضی جهان است. از جملهی این دستاوردها میتوان به ارائه کرانهای بالای جدید برای چگالی بستهبندی کرهها در ابعاد بالا، بهبود نمایی کرانهای اندازهی کدهای باینری و کروی و اثبات وجود گروههای غیرسوفیک در نظریهی گروهها اشاره کرد.
آسترا توانست کرانهای پایین جدیدی برای محاسبهی دائم با استفاده از فرمولهای حسابی ارائه دهد و قضیهی تکرار موازی کوانتومی را برای بازیهای کوانتومی دو نفره اثبات کند.
بخش دیگری از این دستاوردها به حل سختافزاری مسئلهی نزدیکترین بردار در رمزنگاری پساکوانتومی، تعیین حداکثر حجم ممکن یک جسم محدب در فرضیهی حجم ارهارت و حل مسائل شمارهی ۱۴۶، ۱۸۰ و ۱۸۳ اردوش در زمینهی نظریه گرافها و اعداد رمزی چندرنگ اختصاص دارد. کد مطلب 2254952
