
Этот рынок ответит «Да», если Anthropic или официальный представитель Anthropic объявит, что Anthropic решила любую из отвечающих критериям задач «Приза тысячелетия» к 23:59 по восточному времени даты, указанной в заголовке. В противном случае этот рынок ответит «Нет».
Квалификационными проблемами являются гипотеза Римана, P против NP, проблема существования Янга-Миллса и проблема разницы в массах, гипотеза Ходжа и гипотеза Берча и Суиннертона-Дайера (https://www.claymath.org/millennium-problems/). Сообщения о существовании проблемы Навье-Стокса и проблеме гладкости не будут соответствовать критериям.
В соответствующем объявлении должно быть указано, что проблема решена; объявления о частичных результатах или прогрессе в направлении решения не учитываются. В объявлении должно быть представлено решение как работа Anthropic, ее исследователей или ее моделей, самостоятельно или совместно с сторонними исследователями. Объявление, в котором упоминаются или поздравляются только сторонние исследователи, включая исследователей, которые использовали модели, вычисления или исследования Anthropic, не будет соответствовать критериям. Никакого дальнейшего подтверждения от Института математики Клэя или любой другой организации не требуется.
Основным источником разрешения для этого рынка будет официальная информация от Anthropic и/или ее официальных представителей; однако можно также использовать консенсус достоверных отчетов.
«Anthropic объявляет о решении, которое будет присуждено Премии тысячелетия...?» — это рынок прогнозов на Melbo. Цена доли отражает вероятность исхода: по верному исходу каждая доля рассчитывается по $1, по неверному — по $0.