Объявит ли CMI решённой одну из задач премии тысячелетия?

Описание

Этот рынок будет разрешён как «Да», если Математический институт Клэя (CMI) присудит премию тысячелетия за решение любой из шести оставшихся нерешённых задач тысячелетия или иным образом официально объявит на своём сайте или в официальном сообщении какую-либо из этих задач решённой до 23:59 ET даты, указанной в названии. В противном случае рынок будет разрешён как «Нет». Этот рынок будет разрешаться исключительно на основании квалифицирующего заявления CMI о том, что одна из шести оставшихся нерешённых задач тысячелетия решена, независимо от того, принимает ли решение форму положительного доказательства, контрпримера, опровержения или любого другого решения, признанного CMI. Присуждение премии тысячелетия является квалифицирующим официальным заявлением, но не обязательно; официального заявления CMI о том, что задача решена, достаточно само по себе. Не учитывается, было ли решение получено полностью или частично с помощью искусственного интеллекта и принимает ли получатель премию или отказывается от неё. Опубликованное или публично размещённое доказательство само по себе не является квалифицирующим, independently от его признания математическим сообществом. Основным источником разрешения будет официальная информация Математического института Клэя (например, https://www.claymath.org); however, для подтверждения того, что квалифицирующее заявление или присуждение CMI имело место, может использоваться консенсус достоверных публикаций в СМИ.

Как разрешается