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