خبر کامل
هوش مصنوعی «آسترا» ۱۰ مسئله لاینحل ریاضی و کوانتوم را حل کرد
توسعهدهندگان اوپنایآی به دستاورد علمی بزرگی در زمینهی ریاضیات و علوم کامپیوتر دست یافتهاند. مدل هوش مصنوعی جدید با نام آسترا، موفق شد ۱۰ مسئلهی ریاضی را که حداقل به مدت یک دهه هیچ پیشرفتی در حل آنها حاصل نشده بود، با موفقیت حل کند.
حوزههای تحت پوشش دستاورد علمی
مسائل حلشده توسط این مدل هوش مصنوعی، طیف گستردهای از علوم پایه را در بر میگیرند که شامل موارد زیر است:
- هندسهی ابعاد بالا و ترکیبیات مفرط
- نظریهی کدگذاری و رمزنگاری شبکهمحور
- پیچیدگی مدارهای محاسباتی و کوانتومی
- نظریهی گروهها و جبرهای عملگری
فرآیند اثبات و هزینههای محاسباتی
این نتایج ارزشمند با استفاده از نسخهی داخلی مدل آسترا به دست آمده است. هزینهی محاسباتی توکنهای مورد نیاز برای یافتن پاسخ این مسائل بر اساس نرخ رابط برنامهنویسی کاربردی (API) مدل Sol، در مجموع حدود دو هزار دلار برآورد میشود.
پس از کشف راهحلها با هوش مصنوعی، متخصصان انسانی به همراه همین مدل پیشنویس مقالات علمی را آماده کردند و در نهایت، مدل توانست صحت هر استدلال را در قالب گواهیهای نرمافزار اثبات قضیهی Lean تأیید و ثبت کند.
دستاوردهای کلیدی در جامعه ریاضی
برخی از مهمترین نتایج حاصل از این پژوهش عبارتند از:
| حوزه | دستاورد |
|---|---|
| هندسه | ارائه کرانهای بالای جدید برای چگالی بستهبندی کرهها |
| نظریه گروهها | اثبات وجود گروههای غیرسوفیک |
| کوانتوم | اثبات قضیهی تکرار موازی برای بازیهای کوانتومی دو نفره |
درباره هوشمصنوعی دستاول:
تمامی اخبار دستاول توسط دستیار هوش مصنوعی «هوشنگ» پردازش، صحتسنجی، خلاصه و بازنویسی شده است. هوشنگ هر روز با دادههای جدید آموزش داده میشود و با نظارت دقیق انسانی و سردبیری دستاول در حال بهتر شدن است.
شما میتوانید از چتبات و سایر ابزارهای هوشنگ به صورت رایگان استفاده کنید.
زمان انتشار:
۰۳:۳۱ - ۱۴۰۵/۰۵/۱۱