🤖 ‏ دستاورد بزرگ OpenAI در حل مسائل کلاسیک ریاضی

🚀 ‏ تیم تحقیقاتی OpenAI به‌تازگی نتایج خیره‌کننده‌ای را توسط مدل داخلی خود با نام Astra منتشر کرده است. این مدل توانسته است ده مسئله ریاضی را که دهه‌ها حل‌نشده باقی مانده بودند، با موفقیت حل کند و استدلال‌های خود را به‌صورت رسمی در محیط Lean (یک دستیار اثبات قضایا) فرمالیزه کند.

🔬 ‏ این مدل موفق به ثبت دستاوردهای شاخصی در حوزه‌های پیچیده ریاضی شده است که شامل موارد زیر است

🔹 ‏ گروه‌های غیر-سوفیک: ساخت اولین نمونه صریح از این گروه‌ها که پرسش دیرینه تقریب‌های جایگشت متناهی را حل می‌کند.
🔹 ‏ ابطال حدس صلبیت Connes: ساخت بی‌نهایت گروه غیرایزومورف با ویژگی (T) و جبر فون نویمان یکسان.
🔹 ‏ بسته‌بندی کره: بهبود کران کلی چگالی بسته‌بندی در ابعاد بالا پس از سال ۱۹۷۸.
🔹 ‏ تکرار موازی کوانتومی: اثبات تکرار موازی نمایی برای تمام بازی‌های کوانتومی دوطرفه درهم‌تنیده.

🔗 ‏ openai.com

📊 Data➕Science 🇮🇷 - هوش مصنوعی و علم داده به فارسی
📩 ارتباط با ما

#Astra_model #Lean_prover