ژوبین
🧠 جهشی جدید در ریاضیات با کمک مدل Muse Spark؛ پنج مسئله باز، پنج پاسخ جدید
دوروز پیش شرکت Meta از انتشار مجموعه‌ای شامل 6 مقاله پژوهشی خبر داد که در تهیه آن‌ها مدل هوش مصنوعی Muse Spark در حالت Thinking مستقیما با ریاضی‌دانان همکاری کرده است.
بر اساس گزارش Meta، این همکاری به نتایج جدیدی برای 5 مسئله ریاضیاتی باز منجر شده؛ مسائلی در حوزه‌هایی مانند:
🔹 احتمال و ریاضیات ابعاد بالا
🔹 معادلات دیفرانسیل و فروپاشی موجی
🔹 نظریه گروه‌ها
🔹 بهینه‌سازی
🔹 نظریه اعداد و هندسه p-adic
🔹 جبرهای غیرشرکتی
از میان این نتایج، یکی به مسئله‌ای درباره فروپاشی در زمان متناهی برای نوعی معادله شرودینگر غیرخطی مربوط است؛ مسئله‌ای که از سال ۲۰۱۵ باز مانده بود.
در مورد دیگری، مدل در پیدا کردن یک مثال نقض برای یک حدس در نظریه گروه‌ها نقش داشت. در یک پژوهش دیگر نیز یک مثال نقض سه‌بعدی برای یک حدس در جبرهای تکاملی پیدا شد.
ریاضی‌دانان مسئله‌ها را انتخاب و مسیر پژوهش را هدایت کردند و نتایج و اثبات‌های تولیدشده توسط مدل نیز بررسی و اصلاح شدند. حتی برخی از نتایج، به‌صورت مستقل توسط پژوهشگران دیگر نیز به دست آمده بودند.
با این حال، اهمیت ماجرا در چیز دیگری‌ست: Muse Spark ظاهرا توانسته از نقش حل‌کننده تمرین فراتر برود و در پژوهش ریاضی واقعی، در تولید ایده، اثبات، یافتن مثال نقض و فرمول‌بندی نتایج مشارکت کند.
📅 تاریخ انتشار رسمی: ۲ اکتبر ۲۰۲۶
🔗 لینک خبر Meta:
https://research.meta.ai/blog/solving-open-research-problems-together
#AIResearch
#Mathematics
@mathloopinfinite
1 · 51 ·