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