آیا CMI حل یکی از مسائل جایزه هزاره را اعلام خواهد کرد؟

توضیحات

این بازار به «بله» منجر می‌شود اگر موسسه ریاضیات کلی (CMI) تا ساعت ۱۱:۵۹ شب به وقت شرقی آمریکا (ET) در تاریخ مشخص‌شده در عنوان، جایزه هزاره را برای هر یک از شش مسئله حل‌نشده باقی‌مانده از مسائل جایزه هزاره اعطا کند، یا به شکل دیگری رسماً اعلام کند که هر یک از این مسائل در وب‌سایت خود یا در یک اطلاعیه رسمی حل شده است. در غیر این صورت، این بازار به «خیر» منجر می‌شود. این بازار صرفاً بر اساس اعلامیه واجد شرایط CMI مبنی بر حل شدن یکی از شش مسئله حل‌نشده باقی‌مانده از مسائل جایزه هزاره تسویه می‌شود، صرف‌نظر از اینکه راه‌حل به شکل اثبات مثبت، مثال نقض، رد یا هر راه‌حل دیگری باشد که CMI آن را می‌پذیرد. اعطای جایزه هزاره به‌عنوان اعلامیه رسمی واجد شرایط است، اما الزامی نیست؛ بیانیه رسمی CMI مبنی بر حل شدن یک مسئله به‌تنهایی کافی است. اینکه راه‌حل به‌طور کامل یا بخشی توسط هوش مصنوعی تولید شده باشد، و اینکه هر دریافت‌کننده جایزه را بپذیرد یا رد کند، در نظر گرفته نخواهد شد. اثبات منتشرشده یا اثباتی که به‌صورت عمومی ارسال شده باشد، به‌تنهایی واجد شرایط نیست، صرف‌نظر از پذیرش آن توسط جامعه ریاضی. منبع اصلی تسویه، اطلاعات رسمی موسسه ریاضیات کلی (مثلاً https://www.claymath.org) خواهد بود؛ با این حال، اجماع گزارش‌های معتبر ممکن است برای تأیید وقوع اعلامیه یا اعطای واجد شرایط CMI استفاده شود.

نحوه حل