Muse Spark متا پنج مسئله باز ریاضی رو حل کرد
هوش مصنوعیClaude Opus 5.5خلاصهٔ کامل‌تر
تیم تحقیقاتی متا می‌گه بعد از اینکه مدل‌هاش تو پنج المپیاد دبیرستانی ریاضی، فیزیک و شیمی به سطح مدال طلا رسیدن، خواستن ببینن هوش مصنوعی می‌تونه تو مسئله‌های باز پژوهشی هم کمک کنه یا نه. فرقش اینه که مسئله المپیادی جواب مشخص داره، ولی پژوهش واقعی کلید جواب نداره و باید ایده‌ها رو بارها امتحان کرد و گاهی از اول شروع کرد.
ریاضی‌دان‌ها از نسخه‌های 1.1 و 1.2 مدل Muse Spark تو حالت Thinking Mode استفاده کردن، اونم از همون رابط چت معمولی meta.ai و بدون هیچ ابزار پژوهشی اختصاصی. به گفته متا قوانین کار این بوده: یه تیم ریاضی‌دان پژوهش رو هدایت کرده، یه گروه دوم کار رو بررسی کرده، تو هر مقاله مشخص شده کدوم بخش‌ها رو انسان و کدوم‌ها رو هوش مصنوعی نوشته، و به کارهای قبلی هم ارجاع داده شده.
چندتا از نتیجه‌ها: تو احتمال، مقاله یه آستانه دقیق برای تعداد نقطه‌های تصادفی گاوسی پیدا کرده که میشه از همه‌شون یه بیضی‌گون (یعنی نسخه چندبعدی بیضی) رد کرد. زیر این آستانه چنین بیضی‌گونی با احتمال بالا وجود داره و بالاش تقریباً هیچ‌وقت. تو معادلات دیفرانسیل هم ثابت شده که تو یه مدل موج الهام‌گرفته از فیزیک لیزر، موج‌های متقارن با انرژی منفی حتماً تو زمان محدود فرو می‌ریزن. این سؤال از ۲۰۱۵ باز بوده.
تو نظریه گروه‌ها، یه حدس سال ۲۰۲۴ که می‌گفت هر گروه «semiabelian» حتماً «monomial» هم هست رد شده. مثال نقضش یه گروه با ۳۸۴ عضوه که Muse Spark برنامه جستجوش رو تو نرم‌افزار ریاضی GAP نوشته. تو جبر هم یه حدس درباره تشخیص evolution algebraهای «solvable» با یه مثال سه‌بعدی رد شده و یه قاعده جایگزین پیشنهاد شده. یه مقاله دیگه هم دو محاسبه از نظریه اعداد و نظریه ریسمان p-adic رو به هم وصل می‌کنه و نشون می‌ده هر دو یه کمیت رو توصیف می‌کنن.
متا خودش اعتراف می‌کنه که تیم‌های دیگه‌ای هم بیرون از متا، مستقل و با روش‌های دیگه، بعضی از همین مسئله‌ها رو حل کردن؛ مثلاً یه عامل هوش مصنوعی به اسم Nilradical هم یه مثال نقض دیگه برای همون حدس گروه‌ها پیدا کرده. به گفته متا هدفش تولید انبوه مقاله نبوده، بلکه می‌خواسته نشون بده همکاری نزدیک متخصص‌ها و هوش مصنوعی، با بررسی دقیق و شفافیت، می‌تونه پژوهش رو جلو ببره.
نکات کلیدی:
- شش مقاله منتشر شده که پنج‌تاش جواب مسئله‌های باز ریاضیه
- از Muse Spark نسخه 1.1 و 1.2 تو Thinking Mode روی meta.ai استفاده شده، بدون ابزار اختصاصی
- مثال نقض حدس semiabelian یه گروه ۳۸۴ عضویه که با برنامه GAP پیدا شد
- تو هر مقاله بخش‌های نوشته‌شده توسط هوش مصنوعی مشخص شده و یه تیم دوم کار رو بررسی کرده
- تیم‌های مستقل دیگه هم بعضی از همین مسئله‌ها رو هم‌زمان حل کردن
