پیشرفت مدل منتشر نشده Anthropic در تحقیق درباره حدس ریمان

Anthropic اعلام کرد که یک مدل منتشر نشده در تحقیق درباره حدس ریمان پیشرفت‌هایی داشته است. نتایج این تحقیق توسط ریاضیدانان داخلی شرکت تأیید شده و با استفاده از دستیار اثبات متن باز Lean فرموله شده است. این مدل توسط یکی از کارکنانی که زمینه ریاضی کمتری دارد، آزمایش شده و پس از حدود یک و نیم روز همکاری مداوم، 650 ایده مورد آزمایش قرار گرفت و 60 زیر نماینده برای پردازش تقسیم کار شدند. تقسیم کار شامل 2 زیر نماینده بود که مسئول ارائه ایده‌های کلیدی ریاضی بودند، 13 زیر نماینده به ایده‌های کلیدی پیشنهادهایی اضافه کردند و 13 زیر نماینده مسئول تأیید صحت استدلال‌ها بودند. با افزایش این نوع نتایج، بحث‌ها در جامعه ریاضی درباره مشارکت هوش مصنوعی در اثبات‌ها نیز داغ‌تر شده است. OpenAI به تازگی 10 نتیجه مهم ریاضی از مدل‌های داخلی خود را منتشر کرده است و پروژه دیگری از Anthropic همچنین حدس قدیمی Jacobian را رد کرده است. حدس ریمان هنوز اثبات نشده است و جامعه برای آن جایزه‌ای به ارزش یک میلیون دلار تعیین کرده است.

این محتوا صرفاً برای اطلاع‌رسانی عمومی ارائه شده است و به‌منزله مشاوره مالی، سرمایه‌گذاری، حقوقی یا مالیاتی تلقی نمی‌شود. هرگونه رویداد، جایزه، کمپین آنلاین یا اطلاعات مرتبط که در اینجا ذکر شده است، نباید به‌عنوان توصیه، ترغیب یا دعوت به خرید، فروش، معامله یا هرگونه دادوستد دیگر دارایی‌های رمزارزی تلقی شود. دارایی‌های رمزارزی از نوسان بالایی برخوردار هستند و ممکن است منجر به زیان شوند. دسترسی به خدمات، محصولات و رویدادهای مرتبط با WEEX ممکن است بسته به منطقه جغرافیایی متفاوت باشد. اطمینان از اینکه استفاده شما از این خدمات با قوانین و مقررات محلی مطابقت دارد، بر عهده خود شماست.