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