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