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